cvc5.git
2021-10-14 Andrew ReynoldsAdd regression for fixed issue (#7365)
2021-10-14 Andrew ReynoldsImprove parser for tuple select (#7364)
2021-10-14 Andrew ReynoldsSplit entailment check from term database (#7342)
2021-10-14 Gereon KremerAlso test older cmake versions (#7347)
2021-10-14 Andrew ReynoldsFix quantifiers variable elimination for parametric...
2021-10-14 Gereon KremerFix GLPK linking (#7357)
2021-10-14 Andrew ReynoldsAdd core LFSC signatures (#7289)
2021-10-13 Andrew ReynoldsEliminate uses of rewrite from datatypes theory (#7354)
2021-10-13 Andrew ReynoldsMake (proof) equality engine use Env (#7336)
2021-10-12 Andrew ReynoldsSimplify refinement in sygus solver (#7343)
2021-10-12 Andrew ReynoldsEliminate calls to currentResourceManager (#7350)
2021-10-12 Mathias Preinercmake: Fix git info if build directory is outside of...
2021-10-12 Aina NiemetzClean up occurrences of SmtEngine in comments. (#7349)
2021-10-12 Aina NiemetzGet rid of unused member d_smtStats in ExpandDefs....
2021-10-12 Aina NiemetzRename SmtEngineState to SolverEngineState. (#7344)
2021-10-12 Gereon KremerFix glpk, add antlr.so (#7341)
2021-10-12 Andrew ReynoldsProvide a non-traversal interface to term formula remov...
2021-10-12 Andrew ReynoldsMinor cleaning of instantiation utilities (#7334)
2021-10-12 Andrew ReynoldsSimplify skolemization in sygus solver (#7331)
2021-10-12 Ouyanchengfix deprecation of std::iterator (#7332)
2021-10-11 Mathias PreinerStart post-release for 0.0.2
2021-10-11 Mathias PreinerBump version to 0.0.2
2021-10-11 Mathias PreinerFix release action.
2021-10-11 Aina NiemetzRename SmtEngineStatistics to SolverEngineStatistics...
2021-10-11 Mathias PreinerStart post-release for 0.0.1
2021-10-11 Mathias PreinerBump version to 0.0.1
2021-10-11 Gereon KremerAntlr: runtime -> libraries (#7338)
2021-10-11 Aina NiemetzRename SmtScope to SolverEngineScope. (#7284)
2021-10-11 Gereon KremerRevert #7257 (#7337)
2021-10-11 Gereon KremerAdd CI workflow to test different cmake versions (...
2021-10-11 Andrew ReynoldsConnect the LFSC printer (#7323)
2021-10-11 Andrew ReynoldsAdd cardinality constraint utilities (#7286)
2021-10-11 Gereon KremerRestore compatibility with cmake 3.9 (#7329)
2021-10-09 Gereon KremerRemove static accesses to options where EnvObj is used...
2021-10-08 Andrew ReynoldsMake skolem definition manager robust to function skole...
2021-10-08 Andrew ReynoldsAdd argument to distinguish lemmas and input assertions...
2021-10-08 Andrew ReynoldsA few more miscellaneous uses of EnvObj (#7325)
2021-10-08 Gereon KremerIgnore zip files for docs upload diff (#7322)
2021-10-08 Gereon KremerAttach the static binaries to a release (#7324)
2021-10-07 Andrew ReynoldsMove preprocessor to smt solver (#7321)
2021-10-07 Gereon KremerAdd a binary / SMT-LIB quickstart (#7315)
2021-10-07 Andrew ReynoldsFinish the LFSC printer (#7285)
2021-10-07 Andrew ReynoldsUse skolem lemma in prop layer interfaces (#7320)
2021-10-07 Gereon KremerAdd new versioning scheme (#7253)
2021-10-07 Andrew ReynoldsMake the cardinality of the alphabet of strings configu...
2021-10-07 mudathirmahgoubAdd missing functions in Term.java (#7297)
2021-10-07 Gereon KremerFix/Improve static and shared builds with CLN or Poly...
2021-10-07 Andrew ReynoldsMiscellaneous fixes from proof-new (#7313)
2021-10-07 Andrew ReynoldsFast exit for string extended equality rewriter (#7312)
2021-10-07 Gereon KremerReplace doubles by rationals in C++ quickstart (#7317)
2021-10-07 Andrew ReynoldsEliminate more circular dependencies on solver engine...
2021-10-07 Gereon KremerChange behaviour of Term::getRealValue() (#7316)
2021-10-06 Gereon KremerChange semantics of dumpUnsatCoresFull (#7314)
2021-10-06 Andrew ReynoldsRefactor skolem definitions notifications for the decis...
2021-10-06 Gereon KremerEnable static builds in CI (#7281)
2021-10-06 Gereon KremerRemove timestamped javadoc comments (#7304)
2021-10-06 Andrew ReynoldsEliminate more hard coded uses of user context (#7309)
2021-10-06 Abdalrhman... Avoid calling `quoteSymbol` multiple times. (#7307)
2021-10-05 Gereon KremerFirst round of refactoring on NlModel (#7255)
2021-10-05 Gereon KremerReformulate (#7305)
2021-10-05 Gereon KremerFinish refactoring on option handlers (#7295)
2021-10-04 Gereon KremerAdd sygus examples to documentation (#7303)
2021-10-04 Gereon KremerVarious improvements to documentation (#7283)
2021-10-04 Andrew ReynoldsRefactor internally generated bounded quantified formul...
2021-10-04 Andrew ReynoldsMove isFiniteType from theory engine to Env (#7287)
2021-10-04 Andrew ReynoldsMake decision engine use env (#7300)
2021-10-04 Gereon KremerNo longer build docs by default. Use make docs. (#7296)
2021-10-04 Andrew ReynoldsEliminating static calls to rewriter in quantifiers...
2021-10-04 Andrew ReynoldsEliminating static calls to rewriter from strings ...
2021-10-01 mudathirmahgoubUpdate java examples using the new Java API (#7225)
2021-10-01 Andrew ReynoldsUpdate theory preprocessor to use Env (#7288)
2021-10-01 Andrew ReynoldsFix ascription check for return types on ordinary funct...
2021-10-01 Andrew ReynoldsMake preregistration safe for uninterpreted constants...
2021-10-01 Gereon KremerRemove (apparently obsolete) checks in cms config ...
2021-10-01 Gereon KremerClean options handlers (#7201)
2021-10-01 Gereon KremerFix some python docstrings which lead to sphinx warning...
2021-10-01 Andrew ReynoldsAdd the LFSC printer (#7158)
2021-10-01 Andrew ReynoldsAdd the print benchmark utility (#7196)
2021-10-01 Andrew ReynoldsUse the proper evaluator for optimized SyGuS datatype...
2021-10-01 Aina NiemetzRename SmtEngine to SolverEngine. (#7282)
2021-09-30 Aina NiemetzRename files smt_engine.(cpp|h) to solver_engine.(cpp...
2021-09-30 Gereon KremerIntegrate javadoc documentation (#7278)
2021-09-30 Mathias Preinerconfigure: Fix --static flag. (#7280)
2021-09-30 Mathias Preinerbv: Refactor ppRewrite and move to TheoryBV. (#7271)
2021-09-30 Gereon KremerRefactor our static builds (#7251)
2021-09-30 Mathias PreinerProperly cache assertions in static learning preprocess...
2021-09-30 mudathirmahgoubFinish the Java Api (#6396)
2021-09-30 Andrew ReynoldsMake theory engine modules use Env (#7277)
2021-09-30 Andrew ReynoldsSimplify the syntax and representation of the separatio...
2021-09-30 Gereon KremerRemove usage of static options in arithmetic theory...
2021-09-30 Abdalrhman... Print `str.is_digit` and `int.pow2` correctly. (#7276)
2021-09-30 Andres Noetzli[Printer] Only quote `set-info` value if necessary...
2021-09-29 Andres Noetzli[API] Update comments w.r.t. SymFPU, fix typos (#7263)
2021-09-29 Abdalrhman... Remove support for extended `(check-sat <term>)` comman...
2021-09-29 Andrew ReynoldsProperly restrict PBE symmetry breaking for abduction...
2021-09-29 Andrew ReynoldsUpdate the syntax for tuples in smt2 (#7265)
2021-09-29 Andrew ReynoldsAdd the strings array solver (#7232)
2021-09-29 Andres NoetzliUpdate `--lang=help` (#7260)
2021-09-29 mudathirmahgoubAdd Statistics and Stat to the Java API (#7243)
2021-09-29 Gereon Kremerremove stuff (#7258)
next