| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-10-08 | Cmake: Fix ctest call for example/translator. (#2600) | Aina Niemetz | |
| example/translator expects an input file to translate but none was provided in the ctest call. This caused the ctest call to hang and wait for input on stdin in some configurations (in particular in the nightlies). | |||
 |
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