Age | Commit message (Expand) | Author |
---|---|---|
2021-03-16 | cmake: Generate cvc4_export.h and set visibility to hidden. (#6139) | Mathias Preiner |
2021-03-09 | Update copyright headers to 2021. (#6081) | Aina Niemetz |
2020-12-04 | Change generated options to be thread_local. (#5583) | Everett Maus |
2020-09-22 | Update copyright header script to support CMake and Python files (#5067) | Mathias Preiner |
2020-07-08 | Add getName() method to options. (#4704) | Mathias Preiner |
2020-03-05 | Enable -Wshadow and fix warnings. (#3909) | Mathias Preiner |
2019-12-17 | Generate code for options with modes. (#3561) | Mathias Preiner |
2018-09-22 | cmake: Working build infrastructure. | Mathias Preiner |
2018-07-27 | Require argument description for non-{bool,void} options. (#2228) | Mathias Preiner |
2018-07-26 | Avoid explicit dependency on Python 3 (#2195) | ayveejay |
2018-03-21 | Refactor mkoptions (#1631) | Mathias Preiner |