Age | Commit message (Collapse) | Author | |
---|---|---|---|
2010-10-10 | additional model gen and SMT-LIBv2 compliance work: (get-assignment) now ↵ | Morgan Deters | |
supported; work on Result type (biggest noticeable change is that CVC4 now outputs lowercase "sat" and "unsat"), Options class moved to src/smt, to allow for future work on runtime configuration via (set-option) command | |||
2010-07-07 | chris and i committed the same fix; reverting the (now duplicated) fix | Morgan Deters | |
2010-07-07 | Disabling failing tests | Christopher L. Conway | |
2010-07-07 | add exit status to regression that was failing | Morgan Deters | |
2010-07-07 | Adding tests for precedence of arithmetic in CVC inputs | Christopher L. Conway | |