projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Adding listeners to Options.
[cvc5.git] / test / unit / theory / theory_arith_white.h
2016-01-28 Tim KingAdding listeners to Options. blob | commitdiff | raw
2016-01-06 Tim KingAdd SmtGlobals Class blob | commitdiff | raw | diff to current
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking blob | commitdiff | raw | diff to current
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... blob | commitdiff | raw | diff to current
2014-07-01 Morgan DetersUpdate copyrights. blob | commitdiff | raw | diff to current
2014-06-26 Morgan DetersMerge tag 'smtcomp2014-resubmission' blob | commitdiff | raw | diff to current
2014-06-22 Morgan DetersMerge tag 'smtcomp2014-application' blob | commitdiff | raw | diff to current
2014-06-19 Kshitij Bansaldisable unate lemmas when using incremental mode blob | commitdiff | raw | diff to current
2014-06-18 Kshitij Bansaldisable unate lemmas when using incremental mode blob | commitdiff | raw | diff to current
2014-04-01 Tim KingMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-26 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-19 Tim KingMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-27 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-22 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-01-22 Morgan DetersDelay QuantifiersEngine and UF strong solver initializa... blob | commitdiff | raw | diff to current
2013-09-30 Liana Hadareanmerged golden blob | commitdiff | raw | diff to current
2013-08-26 Kshitij BansalMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-06-25 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-06-19 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-06-04 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-05-29 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-05-21 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-05-21 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-05-20 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-05-09 Kshitij BansalMerge branch 'master' of ssh://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-05-09 Tim KingChanging the integer normal form to increase matching. blob | commitdiff | raw | diff to current
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails blob | commitdiff | raw | diff to current
2013-04-02 Morgan Detersupdate copyrights blob | commitdiff | raw | diff to current
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... blob | commitdiff | raw | diff to current
2012-07-16 Morgan DetersSupport for having two SmtEngines with the same ExprMan... blob | commitdiff | raw | diff to current
2012-06-11 Morgan DetersMerge from quantifiers2-trunkmerge branch. blob | commitdiff | raw | diff to current
2012-05-22 Tim KingThis commit merges in the branch arithmetic/cprop. blob | commitdiff | raw | diff to current
2012-05-03 Dejan JovanovićSome cleanup starting off from trying to understand... blob | commitdiff | raw | diff to current
2012-04-17 Tim KingMerges branches/arithmetic/atom-database r2979 through... blob | commitdiff | raw | diff to current
2012-03-08 Dejan JovanovićRemoving QUICK_CHECK, and other unused ones, from the... blob | commitdiff | raw | diff to current
2011-10-17 Dejan JovanovićSharing work blob | commitdiff | raw | diff to current
2011-09-29 Morgan DetersSome base infrastructure for user push/pop; a few bugfi... blob | commitdiff | raw | diff to current
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: blob | commitdiff | raw | diff to current
2011-04-18 Tim KingThis commit merges the branch arithmetic/propagation... blob | commitdiff | raw | diff to current
2011-04-16 Morgan Detersunit test fixes for new NodeManager constructor (relate... blob | commitdiff | raw | diff to current
2011-04-04 Tim KingReverts previous commit r1636. blob | commitdiff | raw | diff to current
2011-04-02 Tim KingDelayed the addition of unate propagation lemmas until... blob | commitdiff | raw | diff to current
2011-03-25 Morgan DetersThis is a merge from the "theoryfixes+cdattrhash" branc... blob | commitdiff | raw | diff to current
2011-01-05 Dejan JovanovićCommit for the theory engine and rewriter changes.... blob | commitdiff | raw | diff to current
2010-11-15 Tim KingThis commit merges the arith-prop-opt branch into the... blob | commitdiff | raw | diff to current
2010-11-09 Dejan JovanovićLemmas on demand work, push-pop, some cleanup. blob | commitdiff | raw | diff to current
2010-10-03 Morgan Detersfile header documentation regenerated with contributors... blob | commitdiff | raw | diff to current
2010-09-13 Tim King* New normal form for arithmetic is in place. blob | commitdiff | raw | diff to current
2010-07-07 Clark BarrettAdded shared term manager. Basic mechanism for identif... blob | commitdiff | raw | diff to current
2010-07-02 Morgan Detersre-generated comment headers of source files blob | commitdiff | raw | diff to current
2010-06-30 Morgan Deters* theory "tree" rewriting implemented and works blob | commitdiff | raw | diff to current
2010-06-29 Tim KingMerging the unate-propagator branch into the trunk... blob | commitdiff | raw | diff to current