Age | Commit message (Expand) | Author |
---|---|---|
2021-04-09 | Rename CVC4_ macros to CVC5_. (#6327) | Aina Niemetz |
2021-03-05 | Reimplement time limit mechanism for windows (#6049) | Gereon Kremer |
2021-03-04 | Add proper define for libpoly usage (#6050) | Gereon Kremer |
2020-08-04 | Add documentation and build instructions for recompilation (LGPL). (#4844) | Mathias Preiner |
2020-07-17 | Support for using 'libedit' over 'readline' #4571 (#4579) | Andrew V. Jones |
2018-10-20 | Remove antlr_undefines.h. (#2664) | Mathias Preiner |
2018-10-19 | Remove autotools build system. (#2639) | Mathias Preiner |