| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-06-23 | FP: Remove sections guarded with undefined macro SYMFPUPROPISBOOL. (#6786) | Aina Niemetz |
| 2021-05-26 | More precise includes of `Node` constants (#6617) | Andres Noetzli |
| 2021-05-04 | FP: Move removal of generic to_fp operations to rewriter. (#6480) | Aina Niemetz |
| 2021-05-04 | FP: Move type check from expandDefinitions. (#6479) | Aina Niemetz |
| 2021-04-30 | Add parameter name for argument `isPreRewrite` for FP rewrites. (#6469) | Aina Niemetz |
| 2021-04-20 | Split FP expand definitions to own module (#6392) | 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