Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-03-06 | Make statistics output consistent. (#1647) | Mathias Preiner | |
* Fixes --hide-zero-stats (and really skips the 0 values) * Removes the additional newline after each statistic * Introduces theory::getStatsPrefix(TheoryId) to generate consistent prefixes for statistics based on the theory id (e.g., THEORY_BV -> "theory::bv"). | |||
2017-08-14 | Move function definitions from kind.h to kind.cpp (#217) | Andres Noetzli | |