cvc5.git
2016-04-12 PaulMengadded more benchmarks
2016-04-12 PaulMengfixed explanation for transitive closure inferences
2016-04-07 PaulMengimplement standard effort support for product
2016-04-07 PaulMeng- added standard effort for transpose
2016-03-23 PaulMengadded typing rule for transitive closure
2016-03-22 PaulMengminor fix
2016-03-22 PaulMengminor fix
2016-03-11 PaulMengminor fix
2016-03-10 PaulMengminor fix
2016-03-10 PaulMengfixed the transpose-occur rule
2016-03-09 PaulMengmake skolems and tuple reduction terms as shared terms
2016-03-07 PaulMengmodified CVC4 native language parser to accept 1-tuple...
2016-03-04 PaulMengrefactored the code
2016-03-01 PaulMengsmall fixes for eq rep names
2016-03-01 PaulMengsmall fix for naming
2016-03-01 PaulMengfixed product rules
2016-03-01 PaulMengadapted the solver to accept sets of built-in types...
2016-02-29 PaulMengAdded more benchmarks
2016-02-28 PaulMengimplemented a basic solving procedure for finite relati...
2016-02-17 PaulMengadded rules for join and transpose operators
2016-02-15 PaulMengMerge remote-tracking branch 'origin/master'
2016-02-15 PaulMengextended smt parser for the finite relations
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 PaulMeng- extend cvc4 frontend parser to accept relational...
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...
2016-02-01 Tim KingFixing a memory leak in bv_subtheory_algebraic.cpp...
2016-02-01 Tim KingAdding an virtual destructor to OstreamUpdate.
2016-02-01 Tim KingMaking the ManagedOstream::defaultSource() a const...
2016-02-01 Tim KingAdding a destructor to ProofOutputChannel.
2016-02-01 Tim KingFixing white spaces in sat_proof.h.
2016-02-01 Tim KingMaking the references to std more explicit in didyoumea...
2016-02-01 Tim KingFixing a memory leak in array info.
2016-02-01 Tim KingDeleting the dead code in proof/sat_proof.cpp.
2016-02-01 ajreynolSimplify fmc model construction, add regression. Improv...
2016-01-28 Tim KingAdding listeners to Options.
2016-01-27 Liana HadareanMerged bit-vector and uf proof branch.
2016-01-20 ajreynolFix bug in fmc mbqi where modelscomputed for mbqi could...
2016-01-19 ajreynolBug fixes for model construction with codatatypes,...
2016-01-18 ajreynolBug fix rewriter for fun defs.
2016-01-15 ajreynolType enumerators take optional argument indicating...
2016-01-14 ajreynolEnsure model construction for parametric sorts involvin...
2016-01-13 ajreynolLemma cache datatypes. Do not send true lemma in quanti...
2016-01-09 Tim KingAdding a new Listener utility class. Changing the Resou...
2016-01-09 Tim KingRemoving StatisticsRegistry's static functions current...
2016-01-08 Tim KingDisabling the RESTART command.
2016-01-06 Kshitij Bansalfix windows builds
2016-01-06 Tim KingFixing a SWIG ordering issue between bitvector and...
2016-01-06 Tim KingImproving the documentation of the CVC command CONTINUE.
2016-01-06 Tim KingRemoving dead code. StackingMap only appeared in unit...
2016-01-06 Tim KingMoving sexpr.{cpp,h,i} from expr/ back into util/.
2016-01-06 Tim KingAdd SmtGlobals Class
2016-01-05 Tim KingAdding a new class LastExceptionBuffer for the purpose...
2016-01-01 Clark BarrettAdded propagation rule for array ext lemmas to aid...
2015-12-31 Clark BarrettModified tear-down-incremental option to take an intege...
2015-12-30 Tim KingShuffling around public vs. private headers
2015-12-29 Tim KingAdding a missing header include for cvc4_assert.h in...
2015-12-27 Clark BarrettMerged my changes from experimental branch (new array...
2015-12-24 Tim KingChanging the attribute on the forward declaration of...
2015-12-24 Tim KingAdding a missing return on the new ArrayStoreAll::opera...
2015-12-24 Tim KingMiscellaneous fixes
2015-12-23 Clark BarrettEnabled array propagation during lemma propagation...
2015-12-23 Clark BarrettAdded extract.cpp example
2015-12-22 ajreynolBug fix uf-ss-totality.
2015-12-22 ajreynolAlways split on constructor types for datatypes involvi...
2015-12-22 ajreynolBug fix for cbqi, do not use model values for terms...
2015-12-19 Tim KingModifying emptyset.h and sexpr. Adding SetLanguage.
2015-12-17 ajreynolMinor
2015-12-16 Tim KingRemoving the Record iterator from the swig interface...
2015-12-16 ajreynolWork on purification for quantifiers, minor updates.
2015-12-15 Tim KingBreaking the include cycle between Record and Expr.
2015-12-15 Tim KingAdding destructors for CDO an CDOhash_map in the restor...
2015-12-15 Tim KingRemoving the build cycle for predicate.
2015-12-15 Tim KingMoving SExpr(bool) out of the header into sexpr.cpp...
2015-12-15 Tim KingMaking logic_info_forward.h a public header for now.
2015-12-15 ajreynolAdd option uf-ss-fair-monotone. Minor cleanup and impro...
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking
2015-12-10 ajreynolAdd option fmf-empty-sorts.
2015-12-04 Tim KingReverting a previous change to the options_handlers...
2015-12-03 Tim KingRemoving the generated directory from the parsers.
2015-12-03 Tim KingModifying the src/options/Makefile.am for travis.
2015-12-03 Tim KingModifying options/Makefile.am to pass distcheck. There...
2015-12-02 Chris ConwayAdds Google, Inc. to the AUTHORS file.
2015-12-02 ajreynolMinor fixes for cegqi-si-partial.
2015-12-02 Tim KingSeparating the steps of the old mkoptions script into...
2015-12-02 Tim KingGuarding the destruction of the a linux specific variab...
next