Age | Commit message (Collapse) | Author | |
---|---|---|---|
2013-11-11 | Change exit status to be more consistent with other command-line tools: 0 ↵ | Morgan Deters | |
success, nonzero error | |||
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-09-14 | * added test/regress/regress0/arith for easy arithmetic regress tests. | Tim King | |