| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-08-26 | Fix a subtle issues with squashing the docs-ci history (#7075) | Gereon Kremer |
| 2021-06-30 | Use authored date instead of commit date. (#6815) | Gereon Kremer |
| 2021-06-09 | Make squasing more robust (#6713) | Gereon Kremer |
| 2021-06-02 | Do manual squash cleanup for docs (#6646) | Gereon Kremer |
| 2021-05-26 | Reduce size of sphinx-gh output (#6601) | Gereon Kremer |
| 2021-05-12 | Move docs upload to a different workflow (#6512) | Gereon Kremer |
| 2021-05-03 | Add CI jobs to build docs (#6413) | Gereon Kremer |
 |
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