| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-07-30 | Allow changing certain options while solving (#6945) | Gereon Kremer |
| 2021-07-14 | Clean up option usage in command executor (#6844) | Gereon Kremer |
| 2021-06-09 | Require statistics for regression (#6714) | Gereon Kremer |
| 2021-06-08 | Fix statistics option handler (#6703) | Gereon Kremer |
| 2021-04-13 | Fix sexpr bug with AST output language. (#6329) | Abdalrhman Mohamed |
| 2021-03-18 | Eliminate more uses of SExpr. (#6149) | Abdalrhman Mohamed |
| 2020-09-01 | Removes old proof code (#4964) | Haniel Barbosa |
| 2019-10-08 | Disallow --proof and --incremental (#3332) | Andres Noetzli |
| 2018-10-20 | Disable dumping test for non-dumping builds (#2662) | Andres Noetzli |
| 2018-10-18 | Add OptionException handling during initialization (#2466) | Andres Noetzli |
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback