| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-12-03 | Check constructor is used in APPLY_CONSTRUCTOR (#7737) | Andrew Reynolds |
| 2021-12-03 | Proper error for using constructor in multiple datatypes (#7738) | Andrew Reynolds |
| 2021-12-02 | Remove void as possible option type (#7731) | Gereon Kremer |
| 2021-11-25 | api: Refactor mkTerm for kinds with arity = 0. (#7699) | Aina Niemetz |
| 2021-11-24 | api: Fix creation of nary term kinds via Op. (#7688) | Aina Niemetz |
| 2021-11-19 | Allow negative denominator for CLN Rationals constructed from string. (#7667) | Mathias Preiner |
| 2021-11-18 | api: Fix kind documentation for BAG_MAKE. (#7663) | Aina Niemetz |
| 2021-11-17 | make default and modes strings instead of enum values (#7656) | Gereon Kremer |
| 2021-11-15 | api: Rename BOUND_VAR_LIST to VARIABLE_LIST. (#7632) | Aina Niemetz |
| 2021-11-10 | api: Add Solver::mkRegexpAll(). (#7614) | Aina Niemetz |
| 2021-11-10 | Reorganize test/unit/api directory. (#7612) | Aina Niemetz |
 |
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