projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Some defensive programming at destruction time, and fix a latent dangling pointer...
[cvc5.git]
/
src
/
theory
/
2014-10-10
Kshitij Bansal
Fix issue with shared but non-preregistered term setup...
tree
|
commitdiff
2014-10-06
Kshitij Bansal
fix for bug586
tree
|
commitdiff
2014-09-27
Morgan Deters
Fix infinite loop in --bitblast-aig/--bv-aig-simp options.
tree
|
commitdiff
2014-09-26
Morgan Deters
Fix bv options doc.
tree
|
commitdiff
2014-08-28
lianah
fixing bug580 caused by bad bv inequality explanation
tree
|
commitdiff
2014-08-05
lianah
fixed bug575 for bv models
tree
|
commitdiff
2014-08-04
Morgan Deters
Some fixes to symmetry breaker (resolves bug 576).
tree
|
commitdiff
2014-07-13
Morgan Deters
Fix a bug in Boolean terms and arrays. Thanks to Jean...
tree
|
commitdiff
2014-07-11
Morgan Deters
Spelling.
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-03
Kshitij Bansal
change lemma generation behavior
tree
|
commitdiff
2014-07-01
Morgan Deters
Update copyrights.
tree
|
commitdiff
2014-07-01
Morgan Deters
Merge pull request #44 from mdeters/prio-queue-updates
tree
|
commitdiff
2014-07-01
Morgan Deters
Merge pull request #45 from mdeters/turn-off-strings-exp
tree
|
commitdiff
2014-06-30
Kshitij Bansal
Merge pull request #47 from kbansal/sets
tree
|
commitdiff
2014-06-30
Kshitij Bansal
Use FS as the set-logic string for theory of sets
tree
|
commitdiff
2014-06-29
Kshitij Bansal
sets: "insert" operator
tree
|
commitdiff
2014-06-28
Morgan Deters
Fix bug in datatypes options specification
tree
|
commitdiff
2014-06-27
Clark Barrett
Fix for bug543
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-25
Kshitij Bansal
fix sets eager lemmas
tree
|
commitdiff
2014-06-25
Kshitij Bansal
mv default care graph function inside the theory implem...
tree
|
commitdiff
2014-06-25
Kshitij Bansal
Merge pull request #43 from mdeters/threadstack
tree
|
commitdiff
2014-06-25
Tim King
Fixing the previous bugfix.
tree
|
commitdiff
2014-06-25
Tim King
Merge branch 'master' of github.com:CVC3/CVC4
tree
|
commitdiff
2014-06-25
Tim King
Fixing the previous bugfix.
tree
|
commitdiff
2014-06-24
Tim King
Alternative lazier heuristic for assertion rewriting.
tree
|
commitdiff
2014-06-24
Tim King
Alternative lazier heuristic for assertion rewriting.
tree
|
commitdiff
2014-06-24
Tim King
Fixing a soundness bug in arithmetic and a roubustness...
tree
|
commitdiff
2014-06-24
Tim King
Fixing a soundness bug in arithmetic and a roubustness...
tree
|
commitdiff
2014-06-24
Tianyi Liang
Merge pull request #41 from mdeters/tianyi-merge
tree
|
commitdiff
2014-06-24
Morgan Deters
Squashed commit of the following:
tree
|
commitdiff
2014-06-22
Kshitij Bansal
Renaming of SMT2 operator names, kinds for set theory
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 (mostly unused variables).
tree
|
commitdiff
2014-06-22
Morgan Deters
Fix compiler warnings in BV-related code (unused vars...
tree
|
commitdiff
2014-06-21
Morgan Deters
Sets kinds documentation
tree
|
commitdiff
2014-06-21
Morgan Deters
Slightly-improved kinds documentation for builtin,...
tree
|
commitdiff
2014-06-21
lianah
fixed build failure
tree
|
commitdiff
2014-06-21
Morgan Deters
Implement RecordProperties::mkGroundTerm(). Resolves...
tree
|
commitdiff
2014-06-21
Morgan Deters
Bit-vector kinds documentation
tree
|
commitdiff
2014-06-21
Morgan Deters
Datatypes kinds documentation
tree
|
commitdiff
2014-06-21
Morgan Deters
Quantifiers kinds documentation
tree
|
commitdiff
2014-06-21
Morgan Deters
UF 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 GLPK builds: correct access specifier on cut classes.
tree
|
commitdiff
2014-06-19
Kshitij Bansal
disable unate lemmas when using incremental mode
tree
|
commitdiff
2014-06-19
Morgan Deters
Fix for pre-C++11 is_sorted().
tree
|
commitdiff
2014-06-19
Morgan Deters
Final preparations for arithmetic for building with...
tree
|
commitdiff
2014-06-19
Tim King
This commit adds a priority queue implementation. ...
tree
|
commitdiff
2014-06-19
Morgan Deters
Fix rewriter typo.
tree
|
commitdiff
2014-06-19
Morgan Deters
Clean up glpk detection a little, fix a detection bug.
tree
|
commitdiff
2014-06-19
Morgan Deters
Fix compile errors with some versions of GCC.
tree
|
commitdiff
2014-06-19
Morgan Deters
dos2unix-convert some sources.
tree
|
commitdiff
2014-06-19
Morgan Deters
Minor fixes, spelling etc.
tree
|
commitdiff
2014-06-19
ajreynol
More proof support for CASC : include skolemization
tree
|
commitdiff
2014-06-18
Morgan Deters
Fix GLPK builds: correct access specifier on cut classes.
tree
|
commitdiff
2014-06-18
Kshitij Bansal
disable unate lemmas when using incremental mode
tree
|
commitdiff
2014-06-18
Morgan Deters
Fix for pre-C++11 is_sorted().
tree
|
commitdiff
2014-06-17
Tim King
Merge pull request #33 from mdeters/arith-proposal
tree
|
commitdiff
2014-06-17
Morgan Deters
Final preparations for arithmetic for building with...
tree
|
commitdiff
2014-06-17
Tim King
This commit adds a priority queue implementation. ...
tree
|
commitdiff
2014-06-17
Morgan Deters
Fix rewriter typo.
tree
|
commitdiff
2014-06-17
Morgan Deters
Clean up glpk detection a little, fix a detection bug.
tree
|
commitdiff
2014-06-17
Morgan Deters
Fix rewriter typo.
tree
|
commitdiff
2014-06-17
Morgan Deters
Clean up glpk detection a little, fix a detection bug.
tree
|
commitdiff
2014-06-17
Morgan Deters
Fix compile errors with some versions of GCC.
tree
|
commitdiff
2014-06-16
Morgan Deters
dos2unix-convert some sources.
tree
|
commitdiff
2014-06-16
Morgan Deters
Minor fixes, spelling etc.
tree
|
commitdiff
2014-06-16
ajreynol
More proof support for CASC : include skolemization
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-14
ajreynol
Fix for fmf with large finite cardinalities.
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
Kshitij Bansal
sets: comment out an assertion too strong
tree
|
commitdiff
next