Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-03-05 | Enable -Wsuggest-override by default. (#1643) | Mathias Preiner | |
Adds missing override keywords. | |||
2017-11-15 | Adding garbage collection for Proof objects. (#1294) | Tim King | |
2017-10-25 | Switching EqProof to use shared_ptr everywhere. (#1217) | Tim King | |
This clarifies the memory ownership of EqProofs. | |||
2017-07-20 | Moving from the gnu extensions for hash maps to the c++11 hash maps | Tim King | |
* Replacing __gnu_cxx::hash_map with std::unordered_map. * Replacing __gnu_cxx::hash_set with std::unordered_set. * Replacing __gnu_cxx::hash with std::hash. * Adding missing includes. | |||
2017-07-07 | Update copyright headers. | Mathias Preiner | |
2016-09-16 | Let arith_proof print its own terms | Guy | |
2016-07-24 | Use letification for the aliasing declarations as well (consequently, print ↵ | Guy | |
the global let map before the aliasing part) | |||
2016-06-08 | Support for printing a global let map in LFSC proofs. | Guy | |
Added a flag to enable/disbale this feature (enabled by default). Also, added some infrastructure for proving rewrite rules. | |||
2016-06-01 | Merge from proof branch | Guy | |
2016-06-01 | Revert "Merging proof branch" | Guy | |
This reverts commit 89ba584531115b7f6d47088d7614368ea05ab9d8. | |||
2016-06-01 | Merging proof branch | Guy | |
2016-04-03 | Updating the copyright headers and scripts. | Tim King | |
2016-03-23 | squash-merge from proof branch | Guy | |