2018-03-07 |
Mathias Preiner | Make statistics output consistent. (#1647) |
tree | commitdiff |
2018-03-05 |
Mathias Preiner | Enable -Wsuggest-override by default. (#1643) |
tree | commitdiff |
2018-02-06 |
Tim King | Resolving warnings from -Winconsistent-missing-override... |
tree | commitdiff |
2018-01-10 |
Tim King | Removing throw specifiers for TypeRules. (#1501) |
tree | commitdiff |
2018-01-10 |
Tim King | Removing throw specifiers from type enumerators. (... |
tree | commitdiff |
2018-01-09 |
Tim King | Removing more miscellaneous throw specifiers. (#1488) |
tree | commitdiff |
2017-12-08 |
Andrew Reynolds | Make collect model info return a Bool (#1421) |
tree | commitdiff |
2017-11-15 |
Tim King | Adding garbage collection for Proof objects. (#1294) |
tree | commitdiff |
2017-10-25 |
Tim King | Switching EqProof to use shared_ptr everywhere. (... |
tree | commitdiff |
2017-10-11 |
Tim King | Cleaning up ProofArray class. (#1208) |
tree | commitdiff |
2017-07-21 |
Tim King | Merge branch 'master' into cleanup-regexp |
tree | commitdiff |
2017-07-21 |
Tim King | Moving from the gnu extensions for hash maps to the... |
tree | commitdiff |
2017-07-13 |
Aina Niemetz | Merge pull request #188 from aniemetz/cx11 |
tree | commitdiff |
2017-07-12 |
ajreynol | Make type rules more strict for operators whose type... |
tree | commitdiff |
2017-07-07 |
Mathias Preiner | Update copyright headers. |
tree | commitdiff |
2017-06-30 |
ajreynol | Minor change to trigger selection, fixes related to... |
tree | commitdiff |
2017-06-21 |
Andrew Reynolds | Merge pull request #175 from CVC4/fix_uninit |
tree | commitdiff |
2017-06-16 |
Clark Barrett | Merge pull request #170 from CVC4/fix_2_6_parser3 |
tree | commitdiff |
2017-06-16 |
Clark Barrett | Fix for bug 639. |
tree | commitdiff |
2017-04-28 |
Clark Barrett | Partial fix for bug 717. |
tree | commitdiff |
2017-04-22 |
Clark Barrett | Merge pull request #151 from 4tXJ7f/fix_debug |
tree | commitdiff |
2017-04-21 |
Clark Barrett | Fix for bug 681 (now gives reasonable error message... |
tree | commitdiff |
2017-04-19 |
Clark Barrett | Merge pull request #147 from makaimann/coverage_fix |
tree | commitdiff |
2017-04-18 |
Clark Barrett | Fix for bug 639. |
tree | commitdiff |
2017-04-04 |
ajreynol | Simplify Theory::collectModelInfo interface to not... |
tree | commitdiff |
2017-03-27 |
Clark Barrett | Merge pull request #137 from 4tXJ7f/throw_quals |
tree | commitdiff |
2017-03-27 |
Andres Notzli | Remove throw qualifiers in type enumerators |
tree | commitdiff |
2017-03-18 |
Clark Barrett | Fix to help with bug 717 |
tree | commitdiff |
2017-03-02 |
ajreynol | Eliminate Boolean term conversion. Generalizes removeIT... |
tree | commitdiff |
2017-01-18 |
Andres Noetzli | Fix non-idempotent rewrite in Array rewriter |
tree | commitdiff |
2016-11-03 |
ajreynol | Add priorities to getNextDecision. Properly handle... |
tree | commitdiff |
2016-10-11 |
Paul Meng | Merge branch 'origin' of https://github.com/CVC4/CVC4.git |
tree | commitdiff |
2016-09-17 |
guykatzz | In a ROW guard proof, if the transitivity proof does... |
tree | commitdiff |
2016-09-17 |
guykatzz | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2016-09-16 |
Guy | Handling a corner case where a ROW's guard is a constan... |
tree | commitdiff |
2016-08-24 |
PaulMeng | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
2016-07-06 |
Guy | A few proof bugs fixed |
tree | commitdiff |
2016-07-05 |
PaulMeng | Merge branch 'master' of https://github.com/CVC4/CVC4.git |
tree | commitdiff |
2016-06-06 |
guykatzz | Merge pull request #85 from CVC4/master_for_proof_merge |
tree | commitdiff |
2016-06-02 |
Guy | Merge from proof branch |
tree | commitdiff |
2016-06-02 |
Guy | Revert "Merging proof branch" |
tree | commitdiff |
2016-06-02 |
Guy | Merging proof branch |
tree | commitdiff |
2016-04-20 |
PaulMeng | update from the master |
tree | commitdiff |
2016-04-15 |
Guy | Rolling back the rewrite code |
tree | commitdiff |
2016-04-14 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2016-04-14 |
Guy | Remove some no-longer-required rewrites of array lemmas |
tree | commitdiff |
2016-04-09 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2016-04-04 |
Tim King | Updating the copyright headers and scripts. |
tree | commitdiff |
2016-04-03 |
Guy | Removed the theory-specific merge reason types. Instead... |
tree | commitdiff |
2016-03-24 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2016-03-24 |
Guy | Refactored the equality engine in order to remove theor... |
tree | commitdiff |
2016-03-23 |
guykatzz | Merge pull request #82 from CVC4/master_for_merge |
tree | commitdiff |
2016-03-23 |
Guy | squash-merge from proof branch |
tree | commitdiff |
2016-03-07 |
ajreynol | Minor change to F-Length inference in strings. No inter... |
tree | commitdiff |
2016-02-04 |
Clark Barrett | Fixed two more memory leaks in array_info.cpp |
tree | commitdiff |
2016-02-02 |
Tim King | Moving dump.*, command.*, model.*, and ite_removal... |
tree | commitdiff |
2016-02-01 |
Tim King | Fixing a memory leak in array info. |
tree | commitdiff |
2016-01-28 |
Tim King | Adding listeners to Options. |
tree | commitdiff |
2016-01-27 |
Liana Hadarean | Merged bit-vector and uf proof branch. |
tree | commitdiff |
2016-01-15 |
ajreynol | Type enumerators take optional argument indicating... |
tree | commitdiff |
2016-01-09 |
Tim King | Removing StatisticsRegistry's static functions current... |
tree | commitdiff |
2016-01-06 |
Tim King | Add SmtGlobals Class |
tree | commitdiff |
2016-01-01 |
Clark Barrett | Added propagation rule for array ext lemmas to aid... |
tree | commitdiff |
2015-12-27 |
Clark Barrett | Merged my changes from experimental branch (new array... |
tree | commitdiff |
2015-12-23 |
Clark Barrett | Enabled array propagation during lemma propagation... |
tree | commitdiff |
2015-12-15 |
Tim King | Refactoring Options Handler & Library Cycle Breaking |
tree | commitdiff |
2015-09-10 |
ajreynol | Models for codatatypes. Fixes bug 662. |
tree | commitdiff |
2015-05-28 |
Liana Hadarean | added options for controlling resource step-count for... |
tree | commitdiff |
2015-04-17 |
Kshitij Bansal | Merge pull request #72 from kbansal/decision-requirephase |
tree | commitdiff |
2015-04-02 |
Kshitij Bansal | Merge pull request #71 from kbansal/const-are-triggers |
tree | commitdiff |
2015-03-25 |
Kshitij Bansal | change const are triggers from false to true in equalit... |
tree | commitdiff |
2015-01-07 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-12-27 |
Dejan Jovanovic | Adding an option to the equality engine constructor... |
tree | commitdiff |
2014-11-27 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-11-17 |
Morgan Deters | New, uniform checkTime statistic for all theories ... |
tree | commitdiff |
2014-11-10 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-11-05 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-30 |
Clark Barrett | Be more lazy about generating array lemmas |
tree | commitdiff |
2014-10-30 |
Clark Barrett | Added new, much faster, care graph computation for... |
tree | commitdiff |
2014-10-21 |
Clark Barrett | Fixed bug 590, added regression test |
tree | commitdiff |
2014-10-17 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-16 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-11 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/1.4.x' |
tree | commitdiff |
2014-10-09 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-07 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-02 |
Clark Barrett | Added internal support for constant arrays. |
tree | commitdiff |
2014-10-02 |
Morgan Deters | Merge branch '1.4.x'. |
tree | commitdiff |
2014-10-02 |
Clark Barrett | Added option for developer use only |
tree | commitdiff |
2014-10-02 |
Clark Barrett | More model-based combination for arrays |
tree | commitdiff |
2014-10-02 |
Clark Barrett | Better getEqualityStatus for arrays, smarter combinatio... |
tree | commitdiff |
2014-07-13 |
Morgan Deters | Fix a bug in Boolean terms and arrays. Thanks to Jean... |
tree | commitdiff |
2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
tree | commitdiff |
next |