Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-03-16 | cmake: Generate cvc4_export.h and set visibility to hidden. (#6139) | Mathias Preiner | |
The build system (cmake) will automatically generate an export header cvc4_export.h, which makes sure that the correct export features are defined depending on the compiler and target platform. The macro CVC4_EXPORT replaces CVC4_PUBLIC and its usage is reduced by 2/3. Co-authored-by: Gereon Kremer <nafur42@gmail.com> | |||
2021-03-11 | First refactoring of statistics classes (#6105) | Gereon Kremer | |
This PR does a first round of refactoring on the statistics, in particular the Stat class and derived classes. It significantly shrinks the class hierarchy, modernizes some code (e.g. use std::chrono instead of clock_gettime), removes unused features (e.g. nesting of statistics) and does some general cleanup and consolidation. Subsequent PRs are planned to change the ownership model (right now every module owns the Stat object) which makes the whole register / unregister mechanism obsolete. |