cvc5.git
2014-03-04 Thomas HungerGuard java-specific swig code with SWIGJAVA.
2014-03-04 Morgan DetersDon't theory-preprocess under quantifiers; but DO theor...
2014-03-04 Morgan DetersMore useful error message when someone tries mkExpr...
2014-03-01 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-03-01 Tianyi Liangadd re.nostr for the empty regular expression; add...
2014-03-01 Tianyi Liangminor clean-up, bring back derivatives
2014-03-01 Tianyi Lianga new regular expression engine for solving both positi...
2014-03-01 Tianyi Liangadd re.nostr for the empty regular expression; add...
2014-02-28 Tianyi Liangminor clean-up, bring back derivatives
2014-02-28 Tianyi Lianga new regular expression engine for solving both positi...
2014-02-28 Kshitij BansalMerge pull request #12 from kbansal/in-to-member
2014-02-28 Kshitij Bansaltheory/sets: cleanup
2014-02-28 Kshitij Bansalrename kind::IN to kind::MEMBER (fixes some windows...
2014-02-28 Kshitij BansalMerge pull request #11 from kbansal/improve-stats-every...
2014-02-27 Kshitij Bansal--stats-every-query option: print increment in addition...
2014-02-27 Andrew ReynoldsBug fix for QCF algorithm, was missing instantiations...
2014-02-26 Tianyi Liangsorry for the missing file
2014-02-26 Tianyi Liangbug fix (caused by merge), move cardinality option...
2014-02-26 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-02-26 Tianyi Liangadd a new file
2014-02-26 Tianyi Liangfor merging
2014-02-26 Tianyi Liangsmt-lib syntax change: str.contain -> str.contains...
2014-02-26 Tianyi Liangfor merging
2014-02-25 Morgan DetersMinor code clean up in parser.
2014-02-25 Morgan DetersNew translation work, support Z3-str-style string const...
2014-02-25 Morgan DetersFix quotes in string constants.
2014-02-25 Andrew ReynoldsAdd options --full-saturate-quant and --mbqi=trust...
2014-02-24 Tianyi Liangsmt-lib syntax change: str.contain -> str.contains...
2014-02-24 Tianyi Liangbug fix: strings preprocess for the orignal term, causi...
2014-02-21 Morgan DetersMerge branch '1.3.x'
2014-02-21 Morgan DetersNo diamond-breaking under quantifiers (resolves bug...
2014-02-21 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-02-21 Tianyi Liangreorganize substr, fix some potential bugs, adds cache...
2014-02-21 Tianyi Liangreorganize substr, fix some potential bugs, adds cache...
2014-02-21 Morgan DetersMerge branch '1.3.x'
2014-02-21 Morgan DetersFix two variants of Node::substitute().
2014-02-21 Kshitij Bansalportfolio: fix export of emptyset
2014-02-21 Morgan DetersFix makefile dependence for system tests.
2014-02-21 Kshitij Bansaldisable test cvc3_main, attempt to fix dist_check
2014-02-21 Kshitij BansalMerge pull request #10 from kbansal/sets-for-merge
2014-02-21 Kshitij Bansaloption to print stats after every satisfiability or...
2014-02-21 Kshitij Bansaladd new theory (sets)
2014-02-21 Kshitij Bansalfix a -Wunused
2014-02-21 Tianyi Liangfix makefile
2014-02-21 Tianyi Liangadd more tests, and define int.to.str(NEGATIVE)=""
2014-02-20 Tianyi Liangadd two cases to the regression test
2014-02-20 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-02-20 Tianyi Lianghot fix for str2int/int2str
2014-02-20 Tianyi Liangadd negative int2str
2014-02-20 Morgan DetersString parsing example in CVC parser
2014-02-20 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-02-20 Tianyi Lianghot fix for str2int/int2str
2014-02-20 Tianyi Liangadd negative int2str
2014-02-20 Morgan DetersString parsing example in CVC parser
2014-02-20 Andrew ReynoldsFix ite and iff handling in QCF. Add option for heuris...
2014-02-20 Kshitij Bansalportfolio: add stat to track time spent waiting for...
2014-02-19 Tim KingMerge branch 'master' of github.com:CVC4/CVC4
2014-02-19 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-02-19 Tim KingMerge branch '1.3.x'
2014-02-19 Tim KingStopping non-linear terms from entering the dio solver...
2014-02-19 Tianyi Liangadd negative int2str
2014-02-19 Morgan DetersString parsing example in CVC parser
2014-02-18 Tianyi Liangmissed files for the latter commit
2014-02-18 Tianyi Liangstr.to.int(INVALID) = -1
2014-02-18 Tianyi Liangswitch to total function str.to.int: maps invalid and...
2014-02-18 Tianyi Liangbring back the commits which is lost accidentally.
2014-02-18 Tianyi Liangadd str2int
2014-02-17 Morgan DetersFix for strings-exp: enable quantifiers
2014-02-17 Morgan DetersFix strings preprocessing for justification heuristic
2014-02-17 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-02-17 Tianyi Liangtype conversion
2014-02-17 Tianyi Liangtype conversion
2014-02-14 Andrew ReynoldsMake QCF more incremental. Fix bug in QCF handling...
2014-02-14 Tianyi Liangpartial function charat
2014-02-14 Tianyi Liangfix expanding def
2014-02-12 Tianyi Liangbug fix for reverse check
2014-02-12 Tianyi Lianglexer fix: disable smt-lib conversion for string literals
2014-02-12 Tianyi Liangminor fix for recognizing the tail backslash, still...
2014-02-11 Tianyi Liangresolve merge conflicts
2014-02-11 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-02-11 Tianyi Liangescaped characters, having an issue with smt-lib defint...
2014-02-11 Tianyi Liangminor fix for merge
2014-02-11 Tianyi Liangminor cleanup for merge
2014-02-11 Tianyi Liangminor fix for merge
2014-02-11 Tianyi Liangescaped characters, having an issue with smt-lib defint...
2014-02-11 Morgan DetersFix build (some nonexistent files listed in Makefile)
2014-02-09 Andrew ReynoldsMore complete guess instantiation strategy, cvc4 now...
2014-02-06 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-02-06 Tianyi Liangminor cleanup for merge
2014-02-06 Tianyi Liangminor fix for merge
2014-02-06 Tianyi Liangminor cleanup for merge
2014-02-06 Morgan DetersMinor fix for previous commit
2014-02-06 Morgan DetersOops.. premature push on lexer fix (remove debugging...
2014-02-06 Morgan DetersFixes for escape-handling for string literals in SMT...
2014-02-05 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-02-05 Tianyi Liangminor fix for merge
2014-02-05 Tianyi Liangminor fix for merge
2014-02-05 Andrew ReynoldsBug fix for theory strings related to old cycle detecti...
2014-02-04 Andrew ReynoldsDo not use transitive closure module for cycle detectio...
2014-02-04 Andrew ReynoldsAdd variable ordering for QCF to accelerate matching...
next