git.libre-soc.org Git - cvc5.git/search

2021-10-20	Andrew Reynolds	Reimplement support for relational triggers (#7063)	commit \| commitdiff \| tree
2021-10-20	Andrew Reynolds	Do not make assumption about model for Boolean variables...	commit \| commitdiff \| tree
2021-10-20	Andrew Reynolds	Correctly parse uninterpreted constant values in get...	commit \| commitdiff \| tree
2021-10-20	Abdalrhman Mohamed	Avoid escaping `double-quotes` twice. (#7409)	commit \| commitdiff \| tree
2021-10-20	Andrew Reynolds	Make proofs of rewrites robust to use in internal subsolvers...	commit \| commitdiff \| tree
2021-10-20	Andrew Reynolds	Add basic regular expression type enumerator (#7416)	commit \| commitdiff \| tree
2021-10-19	Andrew Reynolds	Fix expected conclusion for EQ_RESOLVE when expanding...	commit \| commitdiff \| tree
2021-10-19	Andrew Reynolds	Support sequences of fixed finite cardinality (#7371)	commit \| commitdiff \| tree
2021-10-19	Andrew Reynolds	Fix issue related to sanity checking integer models...	commit \| commitdiff \| tree
2021-10-19	Gereon Kremer	Remove setDefaults methods (#7413)	commit \| commitdiff \| tree
2021-10-18	Andrew Reynolds	Add regression for fixed issue (#7395)	commit \| commitdiff \| tree
2021-10-18	Abdalrhman Mohamed	Move check for experimental arrays features to `theory_array...	commit \| commitdiff \| tree
2021-10-18	Andres Noetzli	Update SMT-COMP script (#7389)	commit \| commitdiff \| tree
2021-10-15	yoni206	Python api documentation: Op, Grammar, Result, Enums...	commit \| commitdiff \| tree
2021-10-15	Andrew Reynolds	Add more regressions for fixed issues (#7382)	commit \| commitdiff \| tree
2021-10-15	Gereon Kremer	Have docs_upload properly upload tags. (#7352)	commit \| commitdiff \| tree
2021-10-15	Alex Ozdemir	Fix bad cast in the python API (#7359)	commit \| commitdiff \| tree
2021-10-15	Andrew Reynolds	Fix issues related to proofs of lemmas with duplicate...	commit \| commitdiff \| tree
2021-10-14	Andrew Reynolds	Add regressions for fixed issues (#7369)	commit \| commitdiff \| tree
2021-10-14	Gereon Kremer	Fix (get-info :authors) (#7373)	commit \| commitdiff \| tree
2021-10-14	Gereon Kremer	Improve ManagedStreams (#7367)	commit \| commitdiff \| tree
2021-10-14	Andrew Reynolds	Add regression for fixed issue (#7365)	commit \| commitdiff \| tree
2021-10-14	Andrew Reynolds	Improve parser for tuple select (#7364)	commit \| commitdiff \| tree
2021-10-14	Andrew Reynolds	Split entailment check from term database (#7342)	commit \| commitdiff \| tree
2021-10-14	Gereon Kremer	Also test older cmake versions (#7347)	commit \| commitdiff \| tree
2021-10-14	Andrew Reynolds	Fix quantifiers variable elimination for parametric...	commit \| commitdiff \| tree
2021-10-14	Gereon Kremer	Fix GLPK linking (#7357)	commit \| commitdiff \| tree
2021-10-14	Andrew Reynolds	Add core LFSC signatures (#7289)	commit \| commitdiff \| tree
2021-10-13	Andrew Reynolds	Eliminate uses of rewrite from datatypes theory (#7354)	commit \| commitdiff \| tree
2021-10-13	Andrew Reynolds	Make (proof) equality engine use Env (#7336)	commit \| commitdiff \| tree
2021-10-12	Andrew Reynolds	Simplify refinement in sygus solver (#7343)	commit \| commitdiff \| tree
2021-10-12	Andrew Reynolds	Eliminate calls to currentResourceManager (#7350)	commit \| commitdiff \| tree
2021-10-12	Mathias Preiner	cmake: Fix git info if build directory is outside of...	commit \| commitdiff \| tree
2021-10-12	Aina Niemetz	Clean up occurrences of SmtEngine in comments. (#7349)	commit \| commitdiff \| tree
2021-10-12	Aina Niemetz	Get rid of unused member d_smtStats in ExpandDefs....	commit \| commitdiff \| tree
2021-10-12	Aina Niemetz	Rename SmtEngineState to SolverEngineState. (#7344)	commit \| commitdiff \| tree
2021-10-12	Gereon Kremer	Fix glpk, add antlr.so (#7341)	commit \| commitdiff \| tree
2021-10-12	Andrew Reynolds	Provide a non-traversal interface to term formula removal...	commit \| commitdiff \| tree
2021-10-12	Andrew Reynolds	Minor cleaning of instantiation utilities (#7334)	commit \| commitdiff \| tree
2021-10-12	Andrew Reynolds	Simplify skolemization in sygus solver (#7331)	commit \| commitdiff \| tree
2021-10-12	Ouyancheng	fix deprecation of std::iterator (#7332)	commit \| commitdiff \| tree
2021-10-11	Aina Niemetz	Rename SmtEngineStatistics to SolverEngineStatistics...	commit \| commitdiff \| tree
2021-10-11	Gereon Kremer	Antlr: runtime -> libraries (#7338)	commit \| commitdiff \| tree
2021-10-11	Aina Niemetz	Rename SmtScope to SolverEngineScope. (#7284)	commit \| commitdiff \| tree
2021-10-11	Gereon Kremer	Revert #7257 (#7337)	commit \| commitdiff \| tree
2021-10-11	Gereon Kremer	Add CI workflow to test different cmake versions (...	commit \| commitdiff \| tree
2021-10-11	Andrew Reynolds	Connect the LFSC printer (#7323)	commit \| commitdiff \| tree
2021-10-11	Andrew Reynolds	Add cardinality constraint utilities (#7286)	commit \| commitdiff \| tree
2021-10-11	Gereon Kremer	Restore compatibility with cmake 3.9 (#7329)	commit \| commitdiff \| tree
2021-10-09	Gereon Kremer	Remove static accesses to options where EnvObj is used...	commit \| commitdiff \| tree
2021-10-08	Andrew Reynolds	Make skolem definition manager robust to function skolems...	commit \| commitdiff \| tree
2021-10-08	Andrew Reynolds	Add argument to distinguish lemmas and input assertions...	commit \| commitdiff \| tree
2021-10-08	Andrew Reynolds	A few more miscellaneous uses of EnvObj (#7325)	commit \| commitdiff \| tree
2021-10-08	Gereon Kremer	Ignore zip files for docs upload diff (#7322)	commit \| commitdiff \| tree
2021-10-08	Gereon Kremer	Attach the static binaries to a release (#7324)	commit \| commitdiff \| tree
2021-10-07	Andrew Reynolds	Move preprocessor to smt solver (#7321)	commit \| commitdiff \| tree
2021-10-07	Gereon Kremer	Add a binary / SMT-LIB quickstart (#7315)	commit \| commitdiff \| tree
2021-10-07	Andrew Reynolds	Finish the LFSC printer (#7285)	commit \| commitdiff \| tree
2021-10-07	Andrew Reynolds	Use skolem lemma in prop layer interfaces (#7320)	commit \| commitdiff \| tree
2021-10-07	Gereon Kremer	Add new versioning scheme (#7253)	commit \| commitdiff \| tree
2021-10-07	Andrew Reynolds	Make the cardinality of the alphabet of strings configurable...	commit \| commitdiff \| tree
2021-10-07	mudathirmahgoub	Add missing functions in Term.java (#7297)	commit \| commitdiff \| tree
2021-10-07	Gereon Kremer	Fix/Improve static and shared builds with CLN or Poly...	commit \| commitdiff \| tree
2021-10-07	Andrew Reynolds	Miscellaneous fixes from proof-new (#7313)	commit \| commitdiff \| tree
2021-10-07	Andrew Reynolds	Fast exit for string extended equality rewriter (#7312)	commit \| commitdiff \| tree
2021-10-07	Gereon Kremer	Replace doubles by rationals in C++ quickstart (#7317)	commit \| commitdiff \| tree
2021-10-07	Andrew Reynolds	Eliminate more circular dependencies on solver engine...	commit \| commitdiff \| tree
2021-10-07	Gereon Kremer	Change behaviour of Term::getRealValue() (#7316)	commit \| commitdiff \| tree
2021-10-06	Gereon Kremer	Change semantics of dumpUnsatCoresFull (#7314)	commit \| commitdiff \| tree
2021-10-06	Andrew Reynolds	Refactor skolem definitions notifications for the decision...	commit \| commitdiff \| tree
2021-10-06	Gereon Kremer	Enable static builds in CI (#7281)	commit \| commitdiff \| tree
2021-10-06	Gereon Kremer	Remove timestamped javadoc comments (#7304)	commit \| commitdiff \| tree
2021-10-06	Andrew Reynolds	Eliminate more hard coded uses of user context (#7309)	commit \| commitdiff \| tree
2021-10-06	Abdalrhman Mohamed	Avoid calling `quoteSymbol` multiple times. (#7307)	commit \| commitdiff \| tree
2021-10-05	Gereon Kremer	First round of refactoring on NlModel (#7255)	commit \| commitdiff \| tree
2021-10-05	Gereon Kremer	Reformulate (#7305)	commit \| commitdiff \| tree
2021-10-05	Gereon Kremer	Finish refactoring on option handlers (#7295)	commit \| commitdiff \| tree
2021-10-04	Gereon Kremer	Add sygus examples to documentation (#7303)	commit \| commitdiff \| tree
2021-10-04	Gereon Kremer	Various improvements to documentation (#7283)	commit \| commitdiff \| tree
2021-10-04	Andrew Reynolds	Refactor internally generated bounded quantified formulas...	commit \| commitdiff \| tree
2021-10-04	Andrew Reynolds	Move isFiniteType from theory engine to Env (#7287)	commit \| commitdiff \| tree
2021-10-04	Andrew Reynolds	Make decision engine use env (#7300)	commit \| commitdiff \| tree
2021-10-04	Gereon Kremer	No longer build docs by default. Use make docs. (#7296)	commit \| commitdiff \| tree
2021-10-04	Andrew Reynolds	Eliminating static calls to rewriter in quantifiers...	commit \| commitdiff \| tree
2021-10-04	Andrew Reynolds	Eliminating static calls to rewriter from strings ...	commit \| commitdiff \| tree
2021-10-01	mudathirmahgoub	Update java examples using the new Java API (#7225)	commit \| commitdiff \| tree
2021-10-01	Andrew Reynolds	Update theory preprocessor to use Env (#7288)	commit \| commitdiff \| tree
2021-10-01	Andrew Reynolds	Fix ascription check for return types on ordinary functions...	commit \| commitdiff \| tree
2021-10-01	Andrew Reynolds	Make preregistration safe for uninterpreted constants...	commit \| commitdiff \| tree
2021-10-01	Gereon Kremer	Remove (apparently obsolete) checks in cms config ...	commit \| commitdiff \| tree
2021-10-01	Gereon Kremer	Clean options handlers (#7201)	commit \| commitdiff \| tree
2021-10-01	Gereon Kremer	Fix some python docstrings which lead to sphinx warnings...	commit \| commitdiff \| tree
2021-10-01	Andrew Reynolds	Add the LFSC printer (#7158)	commit \| commitdiff \| tree
2021-10-01	Andrew Reynolds	Add the print benchmark utility (#7196)	commit \| commitdiff \| tree
2021-10-01	Andrew Reynolds	Use the proper evaluator for optimized SyGuS datatype...	commit \| commitdiff \| tree
2021-10-01	Aina Niemetz	Rename SmtEngine to SolverEngine. (#7282)	commit \| commitdiff \| tree
2021-09-30	Aina Niemetz	Rename files smt_engine.(cpp\|h) to solver_engine.(cpp...	commit \| commitdiff \| tree
2021-09-30	Gereon Kremer	Integrate javadoc documentation (#7278)	commit \| commitdiff \| tree
2021-09-30	Mathias Preiner	configure: Fix --static flag. (#7280)	commit \| commitdiff \| tree
2021-09-30	Mathias Preiner	bv: Refactor ppRewrite and move to TheoryBV. (#7271)	commit \| commitdiff \| tree
next

RSS Atom