projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
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-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 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-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-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-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
2016-06-18 ajreynolFix unit test. commit | commitdiff | tree
2016-06-17 ajreynolCleanup from last commit, treat sep.nil as variable... commit | commitdiff | tree
2016-06-17 ajreynolSupport for separation logic. Enable cbqi by default... commit | commitdiff | tree
2016-06-17 ajreynolAdd syguscomp2016 scripts. commit | commitdiff | tree
2016-06-09 Clark BarrettDummy commit. commit | commitdiff | tree
2016-06-08 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 commit | commitdiff | tree
2016-06-08 GuyLFSC letification is true by default commit | commitdiff | tree
2016-06-08 GuySupport for printing a global let map in LFSC proofs. commit | commitdiff | tree
2016-06-06 guykatzzMerge pull request #85 from CVC4/master_for_proof_merge commit | commitdiff | tree
2016-06-04 ajreynolRemove NodeListMap from datatypes and equality inferenc... commit | commitdiff | tree
2016-06-03 GuyBetter infrastructure for proving constant disequality. commit | commitdiff | tree
2016-06-03 GuyA better mechanism for handling BV terms with aliases... commit | commitdiff | tree
2016-06-03 ajreynolRemove NodeListMap from strings, fixes memory leaks... commit | commitdiff | tree
2016-06-03 ajreynolSimple memory fixes, minor cleanup in quantifiers. commit | commitdiff | tree
2016-06-03 ajreynolReduce number of passes in quantifiers rewriter. commit | commitdiff | tree
2016-06-02 GuyFixed a magical bug that only appears when compiling... commit | commitdiff | tree
2016-06-02 GuyFix commit | commitdiff | tree
2016-06-02 GuyMerge from proof branch commit | commitdiff | tree
2016-06-02 GuyRevert "Merging proof branch" commit | commitdiff | tree
2016-06-02 GuyMerging proof branch commit | commitdiff | tree
2016-06-01 ajreynolFix to ignore a case of triggers with no free variables. commit | commitdiff | tree
2016-06-01 ajreynolInitial infrastructure for bounded set quantification... commit | commitdiff | tree
2016-05-31 Clark BarrettAdded Guy to authors list. commit | commitdiff | tree
2016-05-28 Clark BarrettFix build commit | commitdiff | tree
2016-05-28 Clark BarrettUpdated incremental run script commit | commitdiff | tree
2016-05-28 Clark BarrettDisabling failing unit test for now commit | commitdiff | tree
2016-05-28 Clark BarrettRemoving check that is no longer valid. commit | commitdiff | tree
2016-05-27 Clark BarrettMerged QF_UFBV support from experimental branch commit | commitdiff | tree
2016-05-27 Clark BarrettEnabled bit-blasting option for QF_UFBV commit | commitdiff | tree
2016-05-27 Clark BarrettUpdated incremental script commit | commitdiff | tree
2016-05-27 Clark BarrettFixed bug in run script commit | commitdiff | tree
2016-05-26 Kshitij BansalAdded cryptominisat flag to QF_NIA commit | commitdiff | tree
2016-05-26 Clark BarrettMerge branch 'master' of https://github.com/CVC4/CVC4 commit | commitdiff | tree
2016-05-26 Clark BarrettSmall change in run script commit | commitdiff | tree
2016-05-26 lianahChanged aig_bitblaster to work with cryptominisat commit | commitdiff | tree
2016-05-26 lianahDisabled m4ri in cryptominisat cmake command commit | commitdiff | tree
2016-05-26 Kshitij BansalFix for aig_bitblaster.cpp commit | commitdiff | tree
2016-05-26 ajreynolUse term indexing in TheoryUF::computeCareGraph. Do... commit | commitdiff | tree
2016-05-26 Clark BarrettUpdated script, fixed bug in QF_NIA conversion. commit | commitdiff | tree
2016-05-25 Liana HadareanFixed unit test commit | commitdiff | tree
2016-05-25 Liana HadareanFixed build issue due to dummy Cryptominisat constructor. commit | commitdiff | tree
2016-05-25 Liana HadareanForgot to add second patch file. commit | commitdiff | tree
2016-05-25 Liana HadareanMerged cryptominisat from experimental branch. commit | commitdiff | tree
2016-05-24 ajreynolImprovements to symmetry breaking in sygus search.... commit | commitdiff | tree
2016-05-23 ajreynolFix related to parametric sorts whose interpretation... commit | commitdiff | tree
2016-05-21 ajreynolMinor fix for strings. commit | commitdiff | tree
2016-05-20 ajreynolMinor fix to strings, cleanup in datatypes. commit | commitdiff | tree
2016-05-20 ajreynolImprovements to theory combination + strings: do not... commit | commitdiff | tree
2016-05-20 Clark BarrettUpdated AUTHORS file commit | commitdiff | tree
2016-05-18 ajreynolRefactor modes for sygus+single invocation. Add option... commit | commitdiff | tree
2016-05-17 ajreynolMinor fix cbqi for constant monomials. commit | commitdiff | tree
2016-05-16 Clark BarrettFix memory leak in interactive_shell.cpp commit | commitdiff | tree
2016-05-16 ajreynolEnable --sygus-direct-eval by default, limit to terms... commit | commitdiff | tree
2016-05-15 ajreynolWork on --sygus-direct-eval. Minor optimizations, updat... commit | commitdiff | tree
2016-05-12 ajreynolAdd casc scripts. Improvements to qcf related to nested... commit | commitdiff | tree
2016-05-10 ajreynolFix for --inst-max-level commit | commitdiff | tree
2016-05-10 ajreynolAdd smt comp 2016 scripts. Fix for --relevant-triggers... commit | commitdiff | tree
next