projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add priorities to getNextDecision. Properly handle case for finite types + unbounded...
[cvc5.git] / src / theory / ite_utilities.cpp
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git blob | commitdiff | raw
2016-10-09 Tim KingAdding initializers for structs internal to ite_utilities. blob | commitdiff | raw
2016-04-20 PaulMengupdate from the master blob | commitdiff | raw | diff to current
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2016-04-04 Tim KingUpdating the copyright headers and scripts. blob | commitdiff | raw | diff to current
2016-03-24 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2016-03-24 Tim KingFixing a garbage collection issue in simplifyWithCare... blob | commitdiff | raw | diff to current
2016-03-24 Tim KingDeleting allocated NodeVecs in ITESimplifier. blob | commitdiff | raw | diff to current
2016-01-09 Tim KingRemoving StatisticsRegistry's static functions current... blob | commitdiff | raw | diff to current
2015-06-13 Clark BarrettFixed bug in iteSimp 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-04-28 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-04-28 Kshitij BansalMerge pull request #25 from kbansal/sets blob | commitdiff | raw | diff to current
2014-04-28 Kshitij BansalMerge remote-tracking branch 'upstream/master' into... blob | commitdiff | raw | diff to current
2014-04-17 Kshitij Bansalsimplify mkSkolem naming system: don't use $$ 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-21 Kshitij BansalMerge pull request #22 from kbansal/sets-model 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-03-10 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-03-08 Tim KingMerge remote-tracking branch 'CVC4root/master' blob | commitdiff | raw | diff to current
2014-03-08 Morgan DetersRemove --ite-remove-quant; support pulling ground ITEs... blob | commitdiff | raw | diff to current
2013-12-05 Morgan DetersUpdate copyrights, add missing file-level documentation... blob | commitdiff | raw | diff to current
2013-11-26 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2013-11-25 Tim KingMerge remote-tracking branch 'CVC4root/master' blob | commitdiff | raw | diff to current
2013-11-25 Tim KingSubstantial Changes: blob | commitdiff | raw | diff to current