Age | Commit message (Expand) | Author |
---|---|---|
2010-10-10 | additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp... | Morgan Deters |
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 |