| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-05-12 | Do not enable unconstrained simplification if arithmetic is present (#4489) | Andrew Reynolds |
| 2020-04-22 | Allow eager bitblasting with solve bv as int in QF_NIA (#4373) | Andrew Reynolds |
| 2020-04-20 | Make option names related to CEGQI consistent (#4316) | Andrew Reynolds |
| 2020-04-16 | SyGuS instantiation quantifiers module (#3910) | Mathias Preiner |
| 2020-04-14 | Always assign function values in higher order (#4279) | Andrew Reynolds |
| 2020-04-14 | Disable preregistration of instantiations for cegqi in incremental (#4251) | Andrew Reynolds |
| 2020-04-14 | Disable macros when higher-order (#4266) | Andrew Reynolds |
| 2020-04-08 | Split ProcessAssertions module from SmtEngine (#4210) | Andrew Reynolds |
| 2020-04-08 | Perform theory widening eagerly (#4044) | Andres Noetzli |
| 2020-04-06 | Remove links field in all toml files (#4201) | Andrew Reynolds |
| 2020-03-26 | Move set defaults function to its own file (#4154) | Andrew Reynolds |
 |
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