| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-03-05 | Remove --apply-to-const preprocessing pass (#3919) | Andres Noetzli | |
| Fixes #3914. The pass was only applicable to inputs with UFs that were exclusively applied to single integer values. This limitation seems to make the preprocessing pass not very useful in practice and it is subsumed by our Ackermannization pass, which can remove UFs from more complex inputs. Thus, this commit removes the preprocessing pass. | |||
| 2019-04-24 | Do not use __ prefix for header guards. (#2974) | Mathias Preiner | |
| Fixes 2887. | |||
| 2019-03-26 | Update copyright headers. | Aina Niemetz | |
| 2018-08-16 | Refactor apply2const (#2316) | Haniel Barbosa | |
 |
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