cvc5.git
2016-05-05 ajreynolCompute term indices lazily in TermDb. Optimization...
2016-05-05 Tim KingRemoving a null pointer reference that was found by...
2016-05-05 Clark BarrettUpdate to COPYING
2016-05-02 ajreynolClean up issues related to compiled scc in LFSC. Refact...
2016-04-30 Liana HadareanReviewed Tim's Asan changes and improved SatProof comments.
2016-04-28 Clark BarrettWorkaround for a problem in clang
2016-04-28 ajreynolMore work on inst propagate. Optimization for qcf...
2016-04-27 Tim KingAdding an example lsan supression file.
2016-04-26 Tim KingFixing memory leaks for garbage collection of ResChains...
2016-04-26 Tim KingFixing a memory leak of the ProofManager.
2016-04-19 Clark BarrettFixed typo
2016-04-18 Clark BarrettMore fixes for python interface
2016-04-15 GuyRolling back the rewrite code
2016-04-15 Clark BarrettFix for bug 717
2016-04-15 Clark BarrettFixes for python bindings
2016-04-14 GuyMerge branch 'master' of https://github.com/CVC4/CVC4
2016-04-14 GuyRemove some no-longer-required rewrites of array lemmas
2016-04-14 ajreynolAdd option --snorm-infer-eq to infer equalities based...
2016-04-14 ajreynolAdd missing function for regexp to expr manager.
2016-04-13 ajreynolUpdate native language support for strings.
2016-04-13 ajreynolMinor improvements for alpha equivalence and partial...
2016-04-13 ajreynolHandle parametric datatypes with --quant-ind. Minor...
2016-04-12 ajreynolBug fixes related to parametric datatypes + theory...
2016-04-12 ajreynolOptimizations for QCF to check relevant domain of varia...
2016-04-11 ajreynolMinor fixes for inst match generators. Updates to qip.
2016-04-10 ajreynolMore work on instantiation propagation. Enable external...
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4
2016-04-09 GuyMade ProofArray's printing functions non-static, and...
2016-04-09 Kshitij Bansalcardinality operation for finite sets (based on my...
2016-04-09 ajreynolMinor refactoring of entailment tests and quantifiers...
2016-04-07 ajreynolRefactor trigger selection, revisions to --relational...
2016-04-04 ajreynolNew options for trigger selection, add option --strict...
2016-04-04 Tim KingUpdating the copyright headers and scripts.
2016-04-04 Guys_ prefix for static members
2016-04-03 GuyRemoved the theory-specific merge reason types. Instead...
2016-04-01 ajreynolImprovements to equality inference module: add missing...
2016-03-31 ajreynolImprovements to trigger selection, min triggers by...
2016-03-30 ajreynolUpdates to E-matching to avoid entailed instantiations...
2016-03-30 Tim KingUpdating the mailmap for git.
2016-03-28 ajreynolMinor cleanup from last commit (quant util, equality...
2016-03-28 ajreynolImplement equality inference module for arithmetic...
2016-03-24 GuyMerge branch 'master' of https://github.com/CVC4/CVC4
2016-03-24 GuyRefactored the equality engine in order to remove theor...
2016-03-24 Tim KingFixing a garbage collection issue in simplifyWithCare...
2016-03-24 Tim KingDeleting allocated NodeVecs in ITESimplifier.
2016-03-24 Tim KingFreeing CegConjecture::d_ceg_si. Also making d_ceg_si...
2016-03-24 Tim KingFixing a memory leak in CDInstMatchTrie::d_data.
2016-03-24 Tim KingFix for a memory leak in InstStrategyCegqi.
2016-03-24 Tim KingFixing a memory leak in QuantInfo::d_var_mg.
2016-03-23 guykatzzMerge pull request #82 from CVC4/master_for_merge
2016-03-23 Guysquash-merge from proof branch
2016-03-23 Tim KingFixing memory leaks in Trigger and TriggerTrie.
2016-03-23 Clark BarrettFixed help for tear-down-incremental option
2016-03-23 Tim KingFixing two garbage collection issues in Region and...
2016-03-23 Tim KingDeleting the CDInstMatchTries in QuantifiersEngine...
2016-03-23 Tim KingGarbage collecting the EqcInfo s in TheoryDatatypes...
2016-03-23 Tim KingGarbage collecting the MinisatEmptyNotify for the Eager...
2016-03-22 ajreynolBug fix for define functions + incremental. Minor work...
2016-03-22 Tim KingDeleting the contents of d_modelGlobalsCommands before...
2016-03-22 Tim KingNew version of the recursive options parsing strategy.
2016-03-18 ajreynolLimit duplicate propagating instances to avoid exponent...
2016-03-16 ajreynolChange internal representative selection for finite...
2016-03-12 ajreynolAdd options related to interleaving quantifiers and...
2016-03-10 ajreynolFaster conditional rewriting for and/or beneath quantif...
2016-03-08 ajreynolExtend synthesis solver to handle single invocation...
2016-03-07 ajreynolMinor change to F-Length inference in strings. No inter...
2016-03-03 ajreynolAdd missing code to track dependencies recursively...
2016-03-02 ajreynolWork towards complete instantiation for datatypes.
2016-03-01 ajreynolShorter explanations for strings based on tracking...
2016-02-29 ajreynolMinor options to datatypes.
2016-02-26 ajreynolRefactoring of inferences in strings. Add several options.
2016-02-25 ajreynolMinor improvement to partial qe. Add options for repres...
2016-02-24 ajreynolAdd entailment checks between length terms to reduce...
2016-02-24 Tim KingAdding the missing clause_id.h file.
2016-02-24 Tim KingUnifying the definitions of ClauseId to a single source...
2016-02-23 ajreynolFix term database for non-equal, congruent terms in...
2016-02-19 ajreynolFixes and improvements for datatypes properties and...
2016-02-19 ajreynolImplement dynamic splitting for quantified formulas...
2016-02-18 ajreynolCorrect subtyping for arrays, disable subtyping for...
2016-02-18 Kshitij Bansalfix for windows builds
2016-02-17 ajreynolRefactor quantifiers attributes. Make quantifier elimin...
2016-02-16 ajreynolPublic interface for quantifier elimination. Minor...
2016-02-16 ajreynolMore simplification to internal implementation of tuple...
2016-02-15 ajreynolMinor change to last commit
2016-02-15 ajreynolEliminate most of the internal representation infrastru...
2016-02-11 ajreynolMore aggressive conditional rewriting for quantified...
2016-02-10 ajreynolFix model postprocessor for tuples, add regression.
2016-02-09 ajreynolFix regression, minor change to output.
2016-02-09 ajreynolEager introduction of eqc, lemma cache for ground fmf...
2016-02-08 ajreynolUpdates related to finite model finding and (co)datatyp...
2016-02-06 guykatzzChanging the way the equality engine explains disequali...
2016-02-05 ajreynolAdd two optimizations for datatypes, currently disabled...
2016-02-04 Clark BarrettFixed two more memory leaks in array_info.cpp
2016-02-03 Clark BarrettAdded --omit-dont-cares option which doesn't print...
2016-02-02 Tim KingMoving dump.*, command.*, model.*, and ite_removal...
2016-02-01 Tim KingRemoving the CVC4_PUBLIC attribute from the forward...
2016-02-01 Tim KingRemoving the CVC4_NEEDS_REPLACEMENT_FUNCTIONS guard...
2016-02-01 Tim KingGeneralizing lib/strtok_r.c so that it can always be...
2016-02-01 Tim KingGeneralizing the implementation of lib/clock_gettime...
2016-02-01 Tim KingFixing a potentially malformed template expansion when...
next