tree dab87502586070aba48d84286b27efbd74533749
parent 43904888cd102e976d197e33124e730e4d004839
author Sameer Agarwal <sameeragarwal@google.com> 1346535704 -0700
committer Sameer Agarwal <sameeragarwal@google.com> 1346535704 -0700

Fix to Roszman1's certified solution.
Extend nist.cc to test more nonlinear and linear solvers.

(Thanks to Markus Moll for finding the Roszman1 bug)

Change-Id: I92b4bab0771de85f7fe711fb0853f155991f4aaf