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

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
2021-09-30	Gereon Kremer	Refactor our static builds (#7251)	commit \| commitdiff \| tree
2021-09-30	Mathias Preiner	Properly cache assertions in static learning preprocessing...	commit \| commitdiff \| tree
2021-09-30	mudathirmahgoub	Finish the Java Api (#6396)	commit \| commitdiff \| tree
2021-09-30	Andrew Reynolds	Make theory engine modules use Env (#7277)	commit \| commitdiff \| tree
2021-09-30	Andrew Reynolds	Simplify the syntax and representation of the separation...	commit \| commitdiff \| tree
2021-09-30	Gereon Kremer	Remove usage of static options in arithmetic theory...	commit \| commitdiff \| tree
2021-09-30	Abdalrhman Mohamed	Print `str.is_digit` and `int.pow2` correctly. (#7276)	commit \| commitdiff \| tree
2021-09-30	Andres Noetzli	[Printer] Only quote `set-info` value if necessary...	commit \| commitdiff \| tree
2021-09-29	Andres Noetzli	[API] Update comments w.r.t. SymFPU, fix typos (#7263)	commit \| commitdiff \| tree
2021-09-29	Abdalrhman Mohamed	Remove support for extended `(check-sat <term>)` command...	commit \| commitdiff \| tree
2021-09-29	Andrew Reynolds	Properly restrict PBE symmetry breaking for abduction...	commit \| commitdiff \| tree
2021-09-29	Andrew Reynolds	Update the syntax for tuples in smt2 (#7265)	commit \| commitdiff \| tree
2021-09-29	Andrew Reynolds	Add the strings array solver (#7232)	commit \| commitdiff \| tree
2021-09-29	Andres Noetzli	Update `--lang=help` (#7260)	commit \| commitdiff \| tree
2021-09-29	mudathirmahgoub	Add Statistics and Stat to the Java API (#7243)	commit \| commitdiff \| tree
2021-09-29	Gereon Kremer	remove stuff (#7258)	commit \| commitdiff \| tree
2021-09-29	Mathias Preiner	contrib: Fix check for get-script-header.sh. (#7259)	commit \| commitdiff \| tree
2021-09-29	mudathirmahgoub	Add Sort.java to the java API (#6382)	commit \| commitdiff \| tree
2021-09-28	Gereon Kremer	Remove linking against RT (#7257)	commit \| commitdiff \| tree
2021-09-24	Andrew Reynolds	Eliminate calls to Rewriter::rewrite from strings entailment...	commit \| commitdiff \| tree
2021-09-23	Andrew Reynolds	Generalize string enumerator for fixed length sequences...	commit \| commitdiff \| tree
2021-09-23	Gereon Kremer	Eliminate Output macro in favor of simple Env functions...	commit \| commitdiff \| tree
2021-09-23	Lachnitt	[proofs[ Alethe: Fix Order of Arguments of addAletheStepFrom...	commit \| commitdiff \| tree
2021-09-23	Lachnitt	[proofs] Alethe: Translate THEORY_REWRITE (#7236)	commit \| commitdiff \| tree
2021-09-23	Lachnitt	[proofs] Alethe: Add Alethe Files to be Compiled ...	commit \| commitdiff \| tree
next

RSS Atom