projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2016-09-12 Paul Mengfixed capitalized "kind" commit | commitdiff | tree
2016-08-30 Paul MengComputed members for tp and product rels even they... commit | commitdiff | tree
2016-08-30 Paul Mengalso computed members for relations that do not have... commit | commitdiff | tree
2016-08-30 Paul Mengadded more benchmarks commit | commitdiff | tree
2016-08-30 Paul Mengmore fix for TC inference commit | commitdiff | tree
2016-08-30 Paul Mengfixed TC inference from graph constructed from a relati... commit | commitdiff | tree
2016-08-26 PaulMengminor fix commit | commitdiff | tree
2016-08-24 PaulMengMerge remote-tracking branch 'origin/master' commit | commitdiff | tree
2016-08-20 Clark BarrettFixed two bugs commit | commitdiff | tree
2016-08-19 Clark BarrettAdded fitsSignedLong and fitsUnsignedLong commit | commitdiff | tree
2016-08-16 ajreynolInitial infrastructure for ExtTheory, generalize extend... commit | commitdiff | tree
2016-08-15 ajreynolExpression sharing on demand in LFSC (replace definitio... commit | commitdiff | tree
2016-08-15 ajreynolEnable bounded set membership with --fmf-bound. Map... commit | commitdiff | tree
2016-08-12 ajreynolAdd a few more regressions. commit | commitdiff | tree
2016-08-12 ajreynolMinor fixes to model construction to take singleton... commit | commitdiff | tree
2016-08-12 guykatzzMerge pull request #90 from 4tXJ7f/fewer_preproc_holes commit | commitdiff | tree
2016-08-12 Andres NotzliAdd support for fewer preprocessing holes commit | commitdiff | tree
2016-08-11 ajreynolMinor change to strings, introduce proxy vars only... commit | commitdiff | tree
2016-08-10 ajreynolImprovements to strings: work on propagations for rever... commit | commitdiff | tree
2016-08-09 guykatzzMerge pull request #89 from 4tXJ7f/fix_proof_spaces commit | commitdiff | tree
2016-08-09 ajreynolFixes for sep star rewrite. commit | commitdiff | tree
2016-08-09 Andres NotzliFix missing/redundant spaces in proofs commit | commitdiff | tree
2016-08-06 guykatzzMerge pull request #88 from 4tXJ7f/fix_comments commit | commitdiff | tree
2016-08-05 Andres NotzliMinor: add/fix comments, remove redundant includes commit | commitdiff | tree
2016-08-03 GuyFixed an issue where arrays proofs would sometimes... commit | commitdiff | tree
2016-08-03 barrettcwMerge pull request #87 from 4tXJ7f/fix_oob_access commit | commitdiff | tree
2016-07-30 ajreynolPrioritize inferences when processing normal forms... commit | commitdiff | tree
2016-07-28 Paul Mengfixed construction of TC graph commit | commitdiff | tree
2016-07-28 GuyThe "aggressive" optimizer for lemma L now returns... commit | commitdiff | tree
2016-07-28 PaulMengfixed construction of TC graph commit | commitdiff | tree
2016-07-28 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 commit | commitdiff | tree
2016-07-28 GuyBug fix involving negated lemmas commit | commitdiff | tree
2016-07-28 ajreynolFix bug 749. commit | commitdiff | tree
2016-07-28 GuyAdd the negative conjunction case commit | commitdiff | tree
2016-07-28 Andres NotzliFix out-of-bounds access in ExprManager commit | commitdiff | tree
2016-07-28 GuyProper instrumentation of the preprocessing phase commit | commitdiff | tree
2016-07-28 Guyproper handling of ITEs commit | commitdiff | tree
2016-07-27 GuyProper handling of IFF lemmas in the unsat core. commit | commitdiff | tree
2016-07-27 GuyAdded an option for a more aggressive weakest implicant... commit | commitdiff | tree
2016-07-27 GuyIf we can't find a weaker implicant, fail gracefully... commit | commitdiff | tree
2016-07-27 guykatzzMerge pull request #86 from 4tXJ7f/fix_warnings commit | commitdiff | tree
2016-07-27 Andres NotzliFix warnings in src/proof commit | commitdiff | tree
2016-07-26 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 commit | commitdiff | tree
2016-07-26 GuyBug fix: commit | commitdiff | tree
2016-07-26 ajreynolAdd option to minimize sygus solutions based on using... commit | commitdiff | tree
2016-07-26 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 commit | commitdiff | tree
2016-07-26 GuyLetification of BV constants commit | commitdiff | tree
2016-07-26 ajreynolMinor improvements to strings related to constant split... commit | commitdiff | tree
2016-07-26 GuyAdded functionality to retrieve a lemma's "weakest... commit | commitdiff | tree
2016-07-26 GuyBug fix commit | commitdiff | tree
2016-07-26 GuyPropagate the usage of proof let maps into constant... commit | commitdiff | tree
2016-07-25 GuyBug fix commit | commitdiff | tree
2016-07-25 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 commit | commitdiff | tree
2016-07-25 Guycleanup commit | commitdiff | tree
2016-07-25 GuyUse letification for the aliasing declarations as well... commit | commitdiff | tree
2016-07-25 GuyProper handling for lemmas that are conjuncts: commit | commitdiff | tree
2016-07-24 PaulMengmore code refactor commit | commitdiff | tree
2016-07-24 Paul Mengmore code refactor commit | commitdiff | tree
2016-07-23 Paul Mengrefactored code commit | commitdiff | tree
2016-07-22 ajreynolMinor, error handling for polymorphism + sep logic. commit | commitdiff | tree
2016-07-21 ajreynolFixes for strings, explanations for constant split... commit | commitdiff | tree
2016-07-20 PaulMengbug fixes for reachablity check commit | commitdiff | tree
2016-07-20 ajreynolInfrastructure for storing and printing heap models... commit | commitdiff | tree
2016-07-20 ajreynolPrint only instantiations that are in the unsat core... commit | commitdiff | tree
2016-07-20 ajreynolInfer conflicts in strings based on abstracting equalit... commit | commitdiff | tree
2016-07-20 GuyBug fix commit | commitdiff | tree
2016-07-20 GuyAllow a caller to query whether an unsat core is availa... commit | commitdiff | tree
2016-07-19 ajreynolAdd infrastructure for tracking instantiation lemmas... commit | commitdiff | tree
2016-07-16 ajreynolRefactor strings extf evaluation info. Ensure strings... commit | commitdiff | tree
2016-07-15 GuyMoved the assertion to a better spot commit | commitdiff | tree
2016-07-15 GuyThe ProofManager now allows theory solvers to get their... commit | commitdiff | tree
2016-07-15 ajreynolMinor simplification to normal form explanations. commit | commitdiff | tree
2016-07-12 Paul Mengadded support for expansion of transitive closure commit | commitdiff | tree
2016-07-08 ajreynolMinor fix to last commit. commit | commitdiff | tree
2016-07-08 ajreynolSimplifications for strings normal forms, fix case... commit | commitdiff | tree
2016-07-07 ajreynolEnsure heap disjointness in sep refinements. commit | commitdiff | tree
2016-07-07 ajreynolRefactoring of strings preprocess module. When enabled... commit | commitdiff | tree
2016-07-06 GuyA few proof bugs fixed commit | commitdiff | tree
2016-07-06 ajreynolMinor cleanup in strings, mostly related to negated... commit | commitdiff | tree
2016-07-06 ajreynolAdd comment field for model, resolves hack for printing... commit | commitdiff | tree
2016-07-05 ajreynolRefactor last call for theories, only create one model... commit | commitdiff | tree
2016-07-05 ajreynolAdd option --trigger-active-sel. Recognize simple trigg... commit | commitdiff | tree
2016-07-05 PaulMengresolved merge conflicts commit | commitdiff | tree
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git commit | commitdiff | tree
2016-07-05 PaulMengfixes bugs in std effort for TC commit | commitdiff | tree
2016-07-01 GuyWhen proving a lemma, ignore literals that don't belong... commit | commitdiff | tree
2016-07-01 GuyHandle bitvector lemmas where a literal gets rewritten... commit | commitdiff | tree
2016-06-30 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 commit | commitdiff | tree
2016-06-30 GuySupport for the letification of chained AND and OR... commit | commitdiff | tree
2016-06-25 PaulMengdebug statement commit | commitdiff | tree
2016-06-25 PaulMengMerge remote-tracking branch 'origin/master' commit | commitdiff | tree
2016-06-25 PaulMengtest commit | commitdiff | tree
2016-06-25 PaulMengreimplemented std effort for TC commit | commitdiff | tree
2016-06-23 Clark BarrettAdd theory/sep/kinds to EXTRA_DIST to fix distcheck... commit | commitdiff | tree
2016-06-23 Clark BarrettFixed some warnings, fixed bug in cdhashmap that was... commit | commitdiff | tree
2016-06-20 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 commit | commitdiff | tree
2016-06-20 GuyAddressed a bug that occurs when proof production is... commit | commitdiff | tree
2016-06-20 ajreynolMinor change to sep/kinds commit | commitdiff | tree
2016-06-20 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 commit | commitdiff | tree
2016-06-20 GuyFixed a bug where the proofManager's init() call was... commit | commitdiff | tree
next