projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix C++-to-Java exception translation.
[cvc5.git]
/
src
/
2013-11-26
Morgan Deters
Fix C++-to-Java exception translation.
tree
|
commitdiff
2013-11-26
Morgan Deters
Fix Java output stream adapter.
tree
|
commitdiff
2013-11-26
Morgan Deters
Fix Java destruction order issue; thanks to Zheng Manch...
tree
|
commitdiff
2013-11-26
Morgan Deters
Minor fix for swig bindings.
tree
|
commitdiff
2013-11-25
Tim King
Merge remote-tracking branch 'CVC4root/master'
tree
|
commitdiff
2013-11-25
Tim King
Substantial Changes:
tree
|
commitdiff
2013-11-25
Clark Barrett
Array collectModelInfo fix for Andy
tree
|
commitdiff
2013-11-21
Tim King
Adding the changes needed to delete rewriter attributes...
tree
|
commitdiff
2013-11-20
Tim King
Changing the number of bits allocated per field in...
tree
|
commitdiff
2013-11-19
Andrew Reynolds
Bug fix for previous commit
tree
|
commitdiff
2013-11-19
Andrew Reynolds
Add fair strategy for finite model finding multiple...
tree
|
commitdiff
2013-11-14
Morgan Deters
Allow empty record literals (fixing an oversight in...
tree
|
commitdiff
2013-11-14
Morgan Deters
Datatype::getCardinality() caching
tree
|
commitdiff
2013-11-13
Morgan Deters
Add virtual destructors where missing
tree
|
commitdiff
2013-11-13
Morgan Deters
Some patches to CVC3 compatibility layer; Thanks to...
tree
|
commitdiff
2013-11-12
Morgan Deters
Minor portfolio fixes for some platforms.
tree
|
commitdiff
2013-11-12
Tianyi Liang
lb change
tree
|
commitdiff
2013-11-12
Tianyi Liang
add string progress measurements
tree
|
commitdiff
2013-11-12
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2013-11-12
Tianyi Liang
add loop cache
tree
|
commitdiff
2013-11-12
Tianyi Liang
add loop cache
tree
|
commitdiff
2013-11-12
Morgan Deters
Minor build system cleanup
tree
|
commitdiff
2013-11-12
Tianyi Liang
length lemma is changed, var-split lemma is changed
tree
|
commitdiff
2013-11-11
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-11-11
Morgan Deters
Expanded usefulness of (set-info :cvc4-logic ...)
tree
|
commitdiff
2013-11-11
Morgan Deters
Some fixes to build system with dependency-tracking...
tree
|
commitdiff
2013-11-11
Morgan Deters
Change exit status to be more consistent with other...
tree
|
commitdiff
2013-11-11
Morgan Deters
Fix compat-java library naming on Mac OS; thanks to...
tree
|
commitdiff
2013-11-11
Morgan Deters
Fix "make distclean", which should fix some of the...
tree
|
commitdiff
2013-11-11
Morgan Deters
Minor fixups to last commit
tree
|
commitdiff
2013-11-11
Morgan Deters
Flatten libcvc4 build structure; remove some #include...
tree
|
commitdiff
2013-11-08
Morgan Deters
Fix "make distclean", which should fix some of the...
tree
|
commitdiff
2013-11-07
Morgan Deters
Minor fixups to last commit
tree
|
commitdiff
2013-11-07
Morgan Deters
Flatten libcvc4 build structure; remove some #include...
tree
|
commitdiff
2013-11-07
Tianyi Liang
Adds the header file into makefile, solving building...
tree
|
commitdiff
2013-11-07
Tianyi Liang
Adds the header file into makefile, solving building...
tree
|
commitdiff
2013-11-06
Tianyi Liang
bug fix
tree
|
commitdiff
2013-11-06
Tianyi Liang
change options
tree
|
commitdiff
2013-11-06
Andrew Reynolds
Bug fixes for bounded integer quantification. Current...
tree
|
commitdiff
2013-11-06
Tianyi Liang
bug fix
tree
|
commitdiff
2013-11-06
Andrew Reynolds
Bug fixes for bounded integer quantification. Current...
tree
|
commitdiff
2013-11-06
Tianyi Liang
change options
tree
|
commitdiff
2013-11-06
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2013-11-06
Tianyi Liang
add seperate regular expression files
tree
|
commitdiff
2013-11-06
Tianyi Liang
add seperate regular expression files
tree
|
commitdiff
2013-11-06
lianah
fixed proof regression script and added a new uf test...
tree
|
commitdiff
2013-11-04
lianah
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-10-28
Clark Barrett
Turn off model-based arrays (causing crashes in portfolio)
tree
|
commitdiff
2013-10-24
Clark Barrett
Fix for bug515
tree
|
commitdiff
2013-10-23
Tianyi Liang
add back eager approach
tree
|
commitdiff
2013-10-23
Tianyi Liang
bug fix for loop rule
tree
|
commitdiff
2013-10-23
Tianyi Liang
bug fix
tree
|
commitdiff
2013-10-23
Tianyi Liang
bug fixes: some issues remain, need more discussion...
tree
|
commitdiff
2013-10-22
Tianyi Liang
remove nested re or; opt loop
tree
|
commitdiff
2013-10-21
Tianyi Liang
string fix
tree
|
commitdiff
2013-10-21
Tianyi Liang
bug fix for string special case
tree
|
commitdiff
2013-10-21
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2013-10-21
Tianyi Liang
bug fix for string special case
tree
|
commitdiff
2013-10-21
Tianyi Liang
adds regular expression range
tree
|
commitdiff
2013-10-21
Tianyi Liang
adds regular expression range
tree
|
commitdiff
2013-10-21
Tianyi Liang
adds regular expression range
tree
|
commitdiff
2013-10-16
Tianyi Liang
adds fmf for strings
tree
|
commitdiff
2013-10-16
Tianyi Liang
renames for strings fmf
tree
|
commitdiff
2013-10-15
Tianyi Liang
bug fix in strings : change from assert to alwaysassert
tree
|
commitdiff
2013-10-15
Tianyi Liang
removes some junks
tree
|
commitdiff
2013-10-15
Andrew Reynolds
performance optimizations for quantifier instantiation
tree
|
commitdiff
2013-10-15
Tianyi Liang
bug fix in strings : change from assert to alwaysassert
tree
|
commitdiff
2013-10-15
Andrew Reynolds
performance optimizations for quantifier instantiation
tree
|
commitdiff
2013-10-15
Tianyi Liang
removes some junks
tree
|
commitdiff
2013-10-15
Tianyi Liang
bug fix: string cache cleaning
tree
|
commitdiff
2013-10-14
Tianyi Liang
Adds Regular Expression support.
tree
|
commitdiff
2013-10-11
Tianyi Liang
Adds regular expression support, it is actually CFL...
tree
|
commitdiff
2013-10-11
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2013-10-11
Tianyi Liang
add constant membership
tree
|
commitdiff
2013-10-11
Tianyi Liang
adds native regexp.
tree
|
commitdiff
2013-10-11
Tianyi Liang
add constant membership
tree
|
commitdiff
2013-10-10
Andrew Reynolds
Minor bug fix to datatypes.
tree
|
commitdiff
2013-10-10
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2013-10-10
Tianyi Liang
adds native regexp.
tree
|
commitdiff
2013-10-10
Tianyi Liang
adds native regexp.
tree
|
commitdiff
2013-10-09
lianah
fixed options::proof() segfault
tree
|
commitdiff
2013-10-09
lianah
cleaned up proof code
tree
|
commitdiff
2013-10-09
lianah
fixed uf proof bug: now storing deleted theory lemmas
tree
|
commitdiff
2013-10-09
Andrew Reynolds
More improvements to datatypes, eager selector collapsi...
tree
|
commitdiff
2013-10-08
lianah
added currying for uf proofs; still needs debugging
tree
|
commitdiff
2013-10-08
lianah
fixed uf proof with holes bugs
tree
|
commitdiff
2013-10-08
Andrew Reynolds
Optimizations for datatypes theory. There seems to...
tree
|
commitdiff
2013-10-08
Liana Hadarean
fixed some bugs
tree
|
commitdiff
2013-10-08
Liana Hadarean
first draft implementation of uf proofs with holes
tree
|
commitdiff
2013-10-07
Liana Hadarean
merged golden
tree
|
commitdiff
2013-10-07
Andrew Reynolds
Multiple fixes for datatypes theory solver: add support...
tree
|
commitdiff
2013-10-03
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-10-03
Andrew Reynolds
Added support for converting unsorted problems to multi...
tree
|
commitdiff
2013-10-03
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2013-10-03
Tianyi Liang
adds some fixes. it solves kaluza problems
tree
|
commitdiff
2013-10-02
Andrew Reynolds
Added support for converting unsorted problems to multi...
tree
|
commitdiff
2013-10-02
Tianyi Liang
adds partial function substr. the use of this function...
tree
|
commitdiff
2013-10-02
Tianyi Liang
adds partial function substr. the use of this function...
tree
|
commitdiff
2013-10-01
Andrew Reynolds
Fix a bug in smt2 parser for quantified formulas with...
tree
|
commitdiff
2013-10-01
Tianyi Liang
replace with a new method for disequality, move to...
tree
|
commitdiff
next