| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-07-30 | When linking Editline, use 'pkg-config' to correctly find the link-time depen... | Andrew V. Jones |
| 2020-07-21 | GH Actions: Cancel builds on push, remove redundant mac OS build. (#4779) | Aina Niemetz |
| 2020-07-17 | Support for using 'libedit' over 'readline' #4571 (#4579) | Andrew V. Jones |
| 2020-07-17 | Integration of libpoly (#4679) | Gereon Kremer |
| 2020-07-06 | [GitHub] Add link to fuzzing guidelines in issues (#4695) | Andres Noetzli |
| 2020-07-02 | Remove SWIG bindings (#4683) | Andres Noetzli |
| 2020-06-10 | Fix getKind for Python bindings (#4496) | makaimann |
| 2020-04-09 | CI: Add a step to list dependencies. (#4255) | Mathias Preiner |
| 2020-03-31 | Fix install for ANTLR contrib script and CI dependency caching. (#4196) | Mathias Preiner |
| 2020-03-31 | Switch to GitHub actions for CI (#4190) | Mathias Preiner |
| 2020-03-10 | Update bug report template | Mathias Preiner |
| 2020-02-11 | Update issue templates | Mathias Preiner |
| 2019-03-14 | Disable DCO signing for organization members. | Mathias Preiner |
 |
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