projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
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
2016-03-10 ajreynolFaster conditional rewriting for and/or beneath quantif... commit | commitdiff | tree
2016-03-08 ajreynolExtend synthesis solver to handle single invocation... commit | commitdiff | tree
2016-03-07 ajreynolMinor change to F-Length inference in strings. No inter... commit | commitdiff | tree
2016-03-03 ajreynolAdd missing code to track dependencies recursively... commit | commitdiff | tree
2016-03-02 ajreynolWork towards complete instantiation for datatypes. commit | commitdiff | tree
2016-03-01 ajreynolShorter explanations for strings based on tracking... commit | commitdiff | tree
2016-02-29 ajreynolMinor options to datatypes. commit | commitdiff | tree
2016-02-26 ajreynolRefactoring of inferences in strings. Add several options. commit | commitdiff | tree
2016-02-25 ajreynolMinor improvement to partial qe. Add options for repres... commit | commitdiff | tree
2016-02-24 ajreynolAdd entailment checks between length terms to reduce... commit | commitdiff | tree
2016-02-24 Tim KingAdding the missing clause_id.h file. commit | commitdiff | tree
2016-02-24 Tim KingUnifying the definitions of ClauseId to a single source... commit | commitdiff | tree
2016-02-23 ajreynolFix term database for non-equal, congruent terms in... commit | commitdiff | tree
2016-02-19 ajreynolFixes and improvements for datatypes properties and... commit | commitdiff | tree
2016-02-19 ajreynolImplement dynamic splitting for quantified formulas... commit | commitdiff | tree
2016-02-18 ajreynolCorrect subtyping for arrays, disable subtyping for... commit | commitdiff | tree
2016-02-18 Kshitij Bansalfix for windows builds commit | commitdiff | tree
2016-02-17 ajreynolRefactor quantifiers attributes. Make quantifier elimin... commit | commitdiff | tree
2016-02-16 ajreynolPublic interface for quantifier elimination. Minor... commit | commitdiff | tree
2016-02-16 ajreynolMore simplification to internal implementation of tuple... commit | commitdiff | tree
2016-02-15 ajreynolMinor change to last commit commit | commitdiff | tree
2016-02-15 ajreynolEliminate most of the internal representation infrastru... commit | commitdiff | tree
2016-02-11 ajreynolMore aggressive conditional rewriting for quantified... commit | commitdiff | tree
2016-02-10 ajreynolFix model postprocessor for tuples, add regression. commit | commitdiff | tree
2016-02-09 ajreynolFix regression, minor change to output. commit | commitdiff | tree
2016-02-09 ajreynolEager introduction of eqc, lemma cache for ground fmf... commit | commitdiff | tree
2016-02-08 ajreynolUpdates related to finite model finding and (co)datatyp... commit | commitdiff | tree
2016-02-06 guykatzzChanging the way the equality engine explains disequali... commit | commitdiff | tree
2016-02-05 ajreynolAdd two optimizations for datatypes, currently disabled... commit | commitdiff | tree
2016-02-04 Clark BarrettFixed two more memory leaks in array_info.cpp commit | commitdiff | tree
2016-02-03 Clark BarrettAdded --omit-dont-cares option which doesn't print... commit | commitdiff | tree
2016-02-02 Tim KingMoving dump.*, command.*, model.*, and ite_removal... commit | commitdiff | tree
2016-02-01 Tim KingRemoving the CVC4_PUBLIC attribute from the forward... commit | commitdiff | tree
2016-02-01 Tim KingRemoving the CVC4_NEEDS_REPLACEMENT_FUNCTIONS guard... commit | commitdiff | tree
2016-02-01 Tim KingGeneralizing lib/strtok_r.c so that it can always be... commit | commitdiff | tree
2016-02-01 Tim KingGeneralizing the implementation of lib/clock_gettime... commit | commitdiff | tree
2016-02-01 Tim KingFixing a potentially malformed template expansion when... commit | commitdiff | tree
2016-02-01 Tim KingFixing a memory leak in bv_subtheory_algebraic.cpp... commit | commitdiff | tree
2016-02-01 Tim KingAdding an virtual destructor to OstreamUpdate. commit | commitdiff | tree
2016-02-01 Tim KingMaking the ManagedOstream::defaultSource() a const... commit | commitdiff | tree
2016-02-01 Tim KingAdding a destructor to ProofOutputChannel. commit | commitdiff | tree
2016-02-01 Tim KingFixing white spaces in sat_proof.h. commit | commitdiff | tree
2016-02-01 Tim KingMaking the references to std more explicit in didyoumea... commit | commitdiff | tree
2016-02-01 Tim KingFixing a memory leak in array info. commit | commitdiff | tree
2016-02-01 Tim KingDeleting the dead code in proof/sat_proof.cpp. commit | commitdiff | tree
2016-02-01 ajreynolSimplify fmc model construction, add regression. Improv... commit | commitdiff | tree
2016-01-28 Tim KingAdding listeners to Options. commit | commitdiff | tree
2016-01-27 Liana HadareanMerged bit-vector and uf proof branch. commit | commitdiff | tree
2016-01-20 ajreynolFix bug in fmc mbqi where modelscomputed for mbqi could... commit | commitdiff | tree
2016-01-19 ajreynolBug fixes for model construction with codatatypes,... commit | commitdiff | tree
2016-01-18 ajreynolBug fix rewriter for fun defs. commit | commitdiff | tree
2016-01-15 ajreynolType enumerators take optional argument indicating... commit | commitdiff | tree
next