| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-09-24 | cmake: Fix dependencies for code generation. (#2524) | Mathias Preiner | |
| 2018-09-24 | cmake: Fix theory order #2. (#2522) | Mathias Preiner | |
| 2018-09-24 | cmake: Fix theory order. (#2518) | Mathias Preiner | |
| 2018-09-22 | cmake: Only build libcvc4 and libcvc4parser as libraries. | Mathias Preiner | |
| The sources of all previous libraries are now added to libcvc4 and built as libcvc4. This removes circular dependencies between libcvc4 and libexpr. Further, we now only have one parser library and don't build additional libraries for each language. | |||
| 2018-09-22 | cmake: Working build infrastructure. | Mathias Preiner | |
| TODO: cvc4autoconfig.h | |||
| 2018-09-22 | cmake: .cpp generation done, .h generation not yet complete | Aina Niemetz | |
| 2018-09-22 | cmake: Added initial build infrastructure. | 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