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