projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
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
2016-05-09 Clark BarrettRe-enabling ite simplification in incremental mode... commit | commitdiff | tree
2016-05-06 ajreynolMinor clean up, fixes related to sygus. commit | commitdiff | tree
2016-05-05 ajreynolCompute term indices lazily in TermDb. Optimization... commit | commitdiff | tree
2016-05-05 Tim KingRemoving a null pointer reference that was found by... commit | commitdiff | tree
2016-05-05 Clark BarrettUpdate to COPYING commit | commitdiff | tree
2016-05-02 ajreynolClean up issues related to compiled scc in LFSC. Refact... commit | commitdiff | tree
2016-04-30 Liana HadareanReviewed Tim's Asan changes and improved SatProof comments. commit | commitdiff | tree
2016-04-28 Clark BarrettWorkaround for a problem in clang commit | commitdiff | tree
2016-04-28 ajreynolMore work on inst propagate. Optimization for qcf... commit | commitdiff | tree
2016-04-27 Tim KingAdding an example lsan supression file. commit | commitdiff | tree
2016-04-26 Tim KingFixing memory leaks for garbage collection of ResChains... commit | commitdiff | tree
2016-04-26 Tim KingFixing a memory leak of the ProofManager. commit | commitdiff | tree
2016-04-19 Clark BarrettFixed typo commit | commitdiff | tree
2016-04-18 Clark BarrettMore fixes for python interface commit | commitdiff | tree
2016-04-15 GuyRolling back the rewrite code commit | commitdiff | tree
2016-04-15 Clark BarrettFix for bug 717 commit | commitdiff | tree
2016-04-15 Clark BarrettFixes for python bindings commit | commitdiff | tree
2016-04-14 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 commit | commitdiff | tree
2016-04-14 GuyRemove some no-longer-required rewrites of array lemmas commit | commitdiff | tree
2016-04-14 ajreynolAdd option --snorm-infer-eq to infer equalities based... commit | commitdiff | tree
2016-04-14 ajreynolAdd missing function for regexp to expr manager. commit | commitdiff | tree
2016-04-13 ajreynolUpdate native language support for strings. commit | commitdiff | tree
2016-04-13 ajreynolMinor improvements for alpha equivalence and partial... commit | commitdiff | tree
2016-04-13 ajreynolHandle parametric datatypes with --quant-ind. Minor... commit | commitdiff | tree
2016-04-12 ajreynolBug fixes related to parametric datatypes + theory... commit | commitdiff | tree
2016-04-12 ajreynolOptimizations for QCF to check relevant domain of varia... commit | commitdiff | tree
2016-04-11 ajreynolMinor fixes for inst match generators. Updates to qip. commit | commitdiff | tree
2016-04-10 ajreynolMore work on instantiation propagation. Enable external... commit | commitdiff | tree
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 commit | commitdiff | tree
2016-04-09 GuyMade ProofArray's printing functions non-static, and... commit | commitdiff | tree
2016-04-09 Kshitij Bansalcardinality operation for finite sets (based on my... commit | commitdiff | tree
2016-04-09 ajreynolMinor refactoring of entailment tests and quantifiers... commit | commitdiff | tree
2016-04-07 ajreynolRefactor trigger selection, revisions to --relational... commit | commitdiff | tree
2016-04-04 ajreynolNew options for trigger selection, add option --strict... commit | commitdiff | tree
2016-04-04 Tim KingUpdating the copyright headers and scripts. commit | commitdiff | tree
2016-04-04 Guys_ prefix for static members commit | commitdiff | tree
2016-04-03 GuyRemoved the theory-specific merge reason types. Instead... commit | commitdiff | tree
2016-04-01 ajreynolImprovements to equality inference module: add missing... commit | commitdiff | tree
2016-03-31 ajreynolImprovements to trigger selection, min triggers by... commit | commitdiff | tree
2016-03-30 ajreynolUpdates to E-matching to avoid entailed instantiations... commit | commitdiff | tree
2016-03-30 Tim KingUpdating the mailmap for git. commit | commitdiff | tree
2016-03-28 ajreynolMinor cleanup from last commit (quant util, equality... commit | commitdiff | tree
2016-03-28 ajreynolImplement equality inference module for arithmetic... commit | commitdiff | tree
2016-03-24 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 commit | commitdiff | tree
2016-03-24 GuyRefactored the equality engine in order to remove theor... commit | commitdiff | tree
2016-03-24 Tim KingFixing a garbage collection issue in simplifyWithCare... commit | commitdiff | tree
2016-03-24 Tim KingDeleting allocated NodeVecs in ITESimplifier. commit | commitdiff | tree
2016-03-24 Tim KingFreeing CegConjecture::d_ceg_si. Also making d_ceg_si... commit | commitdiff | tree
2016-03-24 Tim KingFixing a memory leak in CDInstMatchTrie::d_data. commit | commitdiff | tree
2016-03-24 Tim KingFix for a memory leak in InstStrategyCegqi. commit | commitdiff | tree
2016-03-24 Tim KingFixing a memory leak in QuantInfo::d_var_mg. commit | commitdiff | tree
2016-03-23 guykatzzMerge pull request #82 from CVC4/master_for_merge commit | commitdiff | tree
2016-03-23 Guysquash-merge from proof branch commit | commitdiff | tree
2016-03-23 Tim KingFixing memory leaks in Trigger and TriggerTrie. commit | commitdiff | tree
2016-03-23 Clark BarrettFixed help for tear-down-incremental option commit | commitdiff | tree
2016-03-23 Tim KingFixing two garbage collection issues in Region and... commit | commitdiff | tree
2016-03-23 Tim KingDeleting the CDInstMatchTries in QuantifiersEngine... commit | commitdiff | tree
2016-03-23 Tim KingGarbage collecting the EqcInfo s in TheoryDatatypes... commit | commitdiff | tree
2016-03-23 Tim KingGarbage collecting the MinisatEmptyNotify for the Eager... commit | commitdiff | tree
2016-03-22 ajreynolBug fix for define functions + incremental. Minor work... commit | commitdiff | tree
2016-03-22 Tim KingDeleting the contents of d_modelGlobalsCommands before... commit | commitdiff | tree
2016-03-22 Tim KingNew version of the recursive options parsing strategy. commit | commitdiff | tree
2016-03-18 ajreynolLimit duplicate propagating instances to avoid exponent... commit | commitdiff | tree
2016-03-16 ajreynolChange internal representative selection for finite... commit | commitdiff | tree
2016-03-12 ajreynolAdd options related to interleaving quantifiers and... commit | commitdiff | tree
next