projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #73 from kbansal/parser-dont-tokenize
[cvc5.git]
/
src
/
theory
/
bv
/
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-03-14
Tianyi Liang
Bug fix for BV
tree
|
commitdiff
2015-02-06
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2015-01-22
ajreynol
Narrow sygus search space based on NNF and rewriting...
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-19
Kshitij Bansal
Merge pull request #70 from kbansal/sets-for-merge...
tree
|
commitdiff
2014-11-18
Liana Hadarean
clear model cache in BVQuickCheck clearSolver() (fixes...
tree
|
commitdiff
2014-11-17
lianah
added command line option for extractArith bv rewrite
tree
|
commitdiff
2014-11-17
Morgan Deters
New, uniform checkTime statistic for all theories ...
tree
|
commitdiff
2014-11-17
Liana Hadarean
Resource-limiting work.
tree
|
commitdiff
2014-11-13
Morgan Deters
Merge pull request #65 from mdeters/bv-ineq-cachefix
tree
|
commitdiff
2014-11-13
Morgan Deters
BV inequality graph TNode fix.
tree
|
commitdiff
2014-11-13
Morgan Deters
Fix BV inequality solver caching.
tree
|
commitdiff
2014-11-10
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-08
Morgan Deters
Merge pull request #62 from mdeters/bv-cleanup
tree
|
commitdiff
2014-11-08
Morgan Deters
Remove some unused variables.
tree
|
commitdiff
2014-11-07
Morgan Deters
Fix memory issues in bitvector theory, which is now...
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
Added new, much faster, care graph computation for...
tree
|
commitdiff
2014-10-23
lianah
Fixed inefficiency in bit-vector rewrite rule.
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-14
lianah
fix for memory leak in BVQuickCheck
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
Morgan Deters
Merge branch '1.4.x'.
tree
|
commitdiff
2014-09-30
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-09-27
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-09-27
Morgan Deters
Fix infinite loop in --bitblast-aig/--bv-aig-simp options.
tree
|
commitdiff
2014-09-26
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-09-26
Morgan Deters
Fix bv options doc.
tree
|
commitdiff
2014-09-26
Morgan Deters
Fix AIG bitblaster for unsat cores.
tree
|
commitdiff
2014-09-17
Kshitij Bansal
Merge branch '1.4.x' while ignoring commit 8d5eb49.
tree
|
commitdiff
2014-09-17
Kshitij Bansal
Merge branch '1.4.x'
tree
|
commitdiff
2014-09-03
Kshitij Bansal
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2014-09-03
Kshitij Bansal
check() optimization
tree
|
commitdiff
2014-08-28
lianah
fixing bug580 caused by bad bv inequality explanation
tree
|
commitdiff
2014-08-28
lianah
fixing bug580 caused by bad bv inequality explanation
tree
|
commitdiff
2014-08-22
Morgan Deters
Unsat core infrastruture and API (SMT-LIB compliance...
tree
|
commitdiff
2014-08-22
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-08-22
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-08-19
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-08-19
lianah
Making getEqualityStatus more powerful for bit-vector...
tree
|
commitdiff
2014-08-05
lianah
fixed bug575 for bv models
tree
|
commitdiff
2014-08-05
lianah
fixed bug575 for bv models
tree
|
commitdiff
2014-07-11
Kshitij Bansal
Merge pull request #48 from kbansal/segfaultfix
tree
|
commitdiff
2014-07-10
Kshitij Bansal
Merge remote-tracking branch 'origin/master' into segfa...
tree
|
commitdiff
2014-07-04
Kshitij Bansal
initialize variables
tree
|
commitdiff
2014-07-01
Morgan Deters
Update copyrights.
tree
|
commitdiff
2014-06-30
Kshitij Bansal
Merge pull request #47 from kbansal/sets
tree
|
commitdiff
2014-06-26
Morgan Deters
Merge tag 'smtcomp2014-resubmission'
tree
|
commitdiff
2014-06-25
Andrew Reynolds
Merge pull request #34 from mdeters/datatypes-kinds
tree
|
commitdiff
2014-06-25
Andrew Reynolds
Merge pull request #37 from mdeters/quants-kinds
tree
|
commitdiff
2014-06-25
Andrew Reynolds
Merge pull request #38 from mdeters/uf-kinds
tree
|
commitdiff
2014-06-22
Morgan Deters
Merge tag 'smtcomp2014-application'
tree
|
commitdiff
2014-06-22
lianah
Merge pull request #39 from mdeters/bv-warnings
tree
|
commitdiff
2014-06-22
lianah
Merge pull request #35 from mdeters/bv-kinds
tree
|
commitdiff
2014-06-22
Morgan Deters
Fix compiler warnings in BV-related code (unused vars...
tree
|
commitdiff
2014-06-21
lianah
fixed build failure
tree
|
commitdiff
2014-06-21
Morgan Deters
Bit-vector kinds documentation
tree
|
commitdiff
2014-06-19
lianah
fixed merge conflict
tree
|
commitdiff
2014-06-19
lianah
added model generation to eager bit-blasting and turned...
tree
|
commitdiff
2014-06-19
Morgan Deters
Fix compile errors with some versions of GCC.
tree
|
commitdiff
2014-06-19
Morgan Deters
Minor fixes, spelling etc.
tree
|
commitdiff
2014-06-17
Morgan Deters
Fix compile errors with some versions of GCC.
tree
|
commitdiff
2014-06-16
Morgan Deters
Minor fixes, spelling etc.
tree
|
commitdiff
2014-06-16
lianah
core solver fix
tree
|
commitdiff
2014-06-16
lianah
fixed bv bug due to applying equisatisfiable transforma...
tree
|
commitdiff
2014-06-15
lianah
fixed fuzzer assertion failures for bv
tree
|
commitdiff
2014-06-15
lianah
added rewriting to bv-pow2 pass
tree
|
commitdiff
2014-06-15
lianah
Evil bitvector preprocessing pass for simplifying power...
tree
|
commitdiff
2014-06-15
lianah
bv static learning and rewrites for power of 2 terms
tree
|
commitdiff
2014-06-14
lianah
more bv rewrites
tree
|
commitdiff
2014-06-14
lianah
fix to inequality rewrite
tree
|
commitdiff
2014-06-14
lianah
fixed merge
tree
|
commitdiff
2014-06-14
lianah
added bv inequality rewrite
tree
|
commitdiff
2014-06-14
Liana Hadarean
added bv inequality lemmas
tree
|
commitdiff
2014-06-14
Liana Hadarean
added bv inequality lemmas
tree
|
commitdiff
2014-06-12
lianah
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2014-06-12
lianah
fixing bv inequality solver explanation bug
tree
|
commitdiff
2014-06-12
lianah
added bvcomp case to bv to bool lifting
tree
|
commitdiff
2014-06-12
lianah
added optionException for trying to use abc in an non...
tree
|
commitdiff
2014-06-11
lianah
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2014-06-11
lianah
switched bv equality order
tree
|
commitdiff
2014-06-11
Kshitij Bansal
Merge pull request #31 from kbansal/sets
tree
|
commitdiff
2014-06-11
lianah
fixed unit tests failures
tree
|
commitdiff
2014-06-11
lianah
fixing bv ackermanization cache bug
tree
|
commitdiff
next