projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
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 Meng
Merge branch 'origin' of https://github.com/CVC4/CVC4.git
blob
|
commitdiff
|
raw
2016-10-09
Tim King
Adding initializers for structs internal to ite_utilities.
blob
|
commitdiff
|
raw
2016-04-20
PaulMeng
update from the master
blob
|
commitdiff
|
raw
|
diff to current
2016-04-09
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2016-04-04
Tim King
Updating the copyright headers and scripts.
blob
|
commitdiff
|
raw
|
diff to current
2016-03-24
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2016-03-24
Tim King
Fixing a garbage collection issue in simplifyWithCare...
blob
|
commitdiff
|
raw
|
diff to current
2016-03-24
Tim King
Deleting allocated NodeVecs in ITESimplifier.
blob
|
commitdiff
|
raw
|
diff to current
2016-01-09
Tim King
Removing StatisticsRegistry's static functions current...
blob
|
commitdiff
|
raw
|
diff to current
2015-06-13
Clark Barrett
Fixed bug in iteSimp
blob
|
commitdiff
|
raw
|
diff to current
2014-07-10
Kshitij Bansal
Merge remote-tracking branch 'origin/master' into segfa...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-01
Morgan Deters
Update copyrights.
blob
|
commitdiff
|
raw
|
diff to current
2014-04-28
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-04-28
Kshitij Bansal
Merge pull request #25 from kbansal/sets
blob
|
commitdiff
|
raw
|
diff to current
2014-04-28
Kshitij Bansal
Merge remote-tracking branch 'upstream/master' into...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-17
Kshitij Bansal
simplify mkSkolem naming system: don't use $$
blob
|
commitdiff
|
raw
|
diff to current
2014-04-01
Tim King
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-26
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-21
Kshitij Bansal
Merge pull request #22 from kbansal/sets-model
blob
|
commitdiff
|
raw
|
diff to current
2014-03-11
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-11
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-10
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-03-08
Tim King
Merge remote-tracking branch 'CVC4root/master'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-08
Morgan Deters
Remove --ite-remove-quant; support pulling ground ITEs...
blob
|
commitdiff
|
raw
|
diff to current
2013-12-05
Morgan Deters
Update copyrights, add missing file-level documentation...
blob
|
commitdiff
|
raw
|
diff to current
2013-11-26
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-11-25
Tim King
Merge remote-tracking branch 'CVC4root/master'
blob
|
commitdiff
|
raw
|
diff to current
2013-11-25
Tim King
Substantial Changes:
blob
|
commitdiff
|
raw
|
diff to current