projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix GLPK linking (#7357)
[cvc5.git] / src /
2021-10-14 Gereon KremerFix GLPK linking (#7357) tree | commitdiff
2021-10-13 Andrew ReynoldsEliminate uses of rewrite from datatypes theory (#7354) tree | commitdiff
2021-10-13 Andrew ReynoldsMake (proof) equality engine use Env (#7336) tree | commitdiff
2021-10-12 Andrew ReynoldsSimplify refinement in sygus solver (#7343) tree | commitdiff
2021-10-12 Andrew ReynoldsEliminate calls to currentResourceManager (#7350) tree | commitdiff
2021-10-12 Aina NiemetzClean up occurrences of SmtEngine in comments. (#7349) tree | commitdiff
2021-10-12 Aina NiemetzGet rid of unused member d_smtStats in ExpandDefs.... tree | commitdiff
2021-10-12 Aina NiemetzRename SmtEngineState to SolverEngineState. (#7344) tree | commitdiff
2021-10-12 Gereon KremerFix glpk, add antlr.so (#7341) tree | commitdiff
2021-10-12 Andrew ReynoldsProvide a non-traversal interface to term formula remov... tree | commitdiff
2021-10-12 Andrew ReynoldsMinor cleaning of instantiation utilities (#7334) tree | commitdiff
2021-10-12 Andrew ReynoldsSimplify skolemization in sygus solver (#7331) tree | commitdiff
2021-10-12 Ouyanchengfix deprecation of std::iterator (#7332) tree | commitdiff
2021-10-11 Aina NiemetzRename SmtEngineStatistics to SolverEngineStatistics... tree | commitdiff
2021-10-11 Aina NiemetzRename SmtScope to SolverEngineScope. (#7284) tree | commitdiff
2021-10-11 Gereon KremerRevert #7257 (#7337) tree | commitdiff
2021-10-11 Andrew ReynoldsConnect the LFSC printer (#7323) tree | commitdiff
2021-10-11 Andrew ReynoldsAdd cardinality constraint utilities (#7286) tree | commitdiff
2021-10-11 Gereon KremerRestore compatibility with cmake 3.9 (#7329) tree | commitdiff
2021-10-09 Gereon KremerRemove static accesses to options where EnvObj is used... tree | commitdiff
2021-10-08 Andrew ReynoldsMake skolem definition manager robust to function skole... tree | commitdiff
2021-10-08 Andrew ReynoldsAdd argument to distinguish lemmas and input assertions... tree | commitdiff
2021-10-08 Andrew ReynoldsA few more miscellaneous uses of EnvObj (#7325) tree | commitdiff
2021-10-07 Andrew ReynoldsMove preprocessor to smt solver (#7321) tree | commitdiff
2021-10-07 Andrew ReynoldsFinish the LFSC printer (#7285) tree | commitdiff
2021-10-07 Andrew ReynoldsUse skolem lemma in prop layer interfaces (#7320) tree | commitdiff
2021-10-07 Gereon KremerAdd new versioning scheme (#7253) tree | commitdiff
2021-10-07 Andrew ReynoldsMake the cardinality of the alphabet of strings configu... tree | commitdiff
2021-10-07 mudathirmahgoubAdd missing functions in Term.java (#7297) tree | commitdiff
2021-10-07 Gereon KremerFix/Improve static and shared builds with CLN or Poly... tree | commitdiff
2021-10-07 Andrew ReynoldsMiscellaneous fixes from proof-new (#7313) tree | commitdiff
2021-10-07 Andrew ReynoldsFast exit for string extended equality rewriter (#7312) tree | commitdiff
2021-10-07 Andrew ReynoldsEliminate more circular dependencies on solver engine... tree | commitdiff
2021-10-07 Gereon KremerChange behaviour of Term::getRealValue() (#7316) tree | commitdiff
2021-10-06 Gereon KremerChange semantics of dumpUnsatCoresFull (#7314) tree | commitdiff
2021-10-06 Andrew ReynoldsRefactor skolem definitions notifications for the decis... tree | commitdiff
2021-10-06 Gereon KremerEnable static builds in CI (#7281) tree | commitdiff
2021-10-06 Andrew ReynoldsEliminate more hard coded uses of user context (#7309) tree | commitdiff
2021-10-06 Abdalrhman MohamedAvoid calling `quoteSymbol` multiple times. (#7307) tree | commitdiff
2021-10-05 Gereon KremerFirst round of refactoring on NlModel (#7255) tree | commitdiff
2021-10-05 Gereon KremerFinish refactoring on option handlers (#7295) tree | commitdiff
2021-10-04 Gereon KremerAdd sygus examples to documentation (#7303) tree | commitdiff
2021-10-04 Gereon KremerVarious improvements to documentation (#7283) tree | commitdiff
2021-10-04 Andrew ReynoldsRefactor internally generated bounded quantified formul... tree | commitdiff
2021-10-04 Andrew ReynoldsMove isFiniteType from theory engine to Env (#7287) tree | commitdiff
2021-10-04 Andrew ReynoldsMake decision engine use env (#7300) tree | commitdiff
2021-10-04 Andrew ReynoldsEliminating static calls to rewriter in quantifiers... tree | commitdiff
2021-10-04 Andrew ReynoldsEliminating static calls to rewriter from strings ... tree | commitdiff
2021-10-01 mudathirmahgoubUpdate java examples using the new Java API (#7225) tree | commitdiff
2021-10-01 Andrew ReynoldsUpdate theory preprocessor to use Env (#7288) tree | commitdiff
2021-10-01 Andrew ReynoldsFix ascription check for return types on ordinary funct... tree | commitdiff
2021-10-01 Andrew ReynoldsMake preregistration safe for uninterpreted constants... tree | commitdiff
2021-10-01 Gereon KremerClean options handlers (#7201) tree | commitdiff
2021-10-01 Gereon KremerFix some python docstrings which lead to sphinx warning... tree | commitdiff
2021-10-01 Andrew ReynoldsAdd the LFSC printer (#7158) tree | commitdiff
2021-10-01 Andrew ReynoldsAdd the print benchmark utility (#7196) tree | commitdiff
2021-10-01 Andrew ReynoldsUse the proper evaluator for optimized SyGuS datatype... tree | commitdiff
2021-10-01 Aina NiemetzRename SmtEngine to SolverEngine. (#7282) tree | commitdiff
2021-09-30 Aina NiemetzRename files smt_engine.(cpp|h) to solver_engine.(cpp... tree | commitdiff
2021-09-30 Gereon KremerIntegrate javadoc documentation (#7278) tree | commitdiff
2021-09-30 Mathias Preinerbv: Refactor ppRewrite and move to TheoryBV. (#7271) tree | commitdiff
2021-09-30 Gereon KremerRefactor our static builds (#7251) tree | commitdiff
2021-09-30 Mathias PreinerProperly cache assertions in static learning preprocess... tree | commitdiff
2021-09-30 mudathirmahgoubFinish the Java Api (#6396) tree | commitdiff
2021-09-30 Andrew ReynoldsMake theory engine modules use Env (#7277) tree | commitdiff
2021-09-30 Andrew ReynoldsSimplify the syntax and representation of the separatio... tree | commitdiff
2021-09-30 Gereon KremerRemove usage of static options in arithmetic theory... tree | commitdiff
2021-09-30 Abdalrhman MohamedPrint `str.is_digit` and `int.pow2` correctly. (#7276) tree | commitdiff
2021-09-30 Andres Noetzli[Printer] Only quote `set-info` value if necessary... tree | commitdiff
2021-09-29 Andres Noetzli[API] Update comments w.r.t. SymFPU, fix typos (#7263) tree | commitdiff
2021-09-29 Abdalrhman MohamedRemove support for extended `(check-sat <term>)` comman... tree | commitdiff
2021-09-29 Andrew ReynoldsProperly restrict PBE symmetry breaking for abduction... tree | commitdiff
2021-09-29 Andrew ReynoldsUpdate the syntax for tuples in smt2 (#7265) tree | commitdiff
2021-09-29 Andrew ReynoldsAdd the strings array solver (#7232) tree | commitdiff
2021-09-29 Andres NoetzliUpdate `--lang=help` (#7260) tree | commitdiff
2021-09-29 mudathirmahgoubAdd Statistics and Stat to the Java API (#7243) tree | commitdiff
2021-09-29 Gereon Kremerremove stuff (#7258) tree | commitdiff
2021-09-29 mudathirmahgoubAdd Sort.java to the java API (#6382) tree | commitdiff
2021-09-28 Gereon KremerRemove linking against RT (#7257) tree | commitdiff
2021-09-24 Andrew ReynoldsEliminate calls to Rewriter::rewrite from strings entai... tree | commitdiff
2021-09-23 Andrew ReynoldsGeneralize string enumerator for fixed length sequences... tree | commitdiff
2021-09-23 Gereon KremerEliminate Output macro in favor of simple Env functions... tree | commitdiff
2021-09-23 Lachnitt[proofs[ Alethe: Fix Order of Arguments of addAletheSte... tree | commitdiff
2021-09-23 Lachnitt[proofs] Alethe: Translate THEORY_REWRITE (#7236) tree | commitdiff
2021-09-23 Lachnitt[proofs] Alethe: Add Alethe Files to be Compiled ... tree | commitdiff
2021-09-23 Gereon KremerRefactor check interface of nonlinear extension (#7235) tree | commitdiff
2021-09-23 Andrew ReynoldsMore uses of EnvObj (#7230) tree | commitdiff
2021-09-23 Lachnitt[proofs] Alethe: Translate SCOPE rule (#7224) tree | commitdiff
2021-09-23 Abdalrhman MohamedUse `|` to print quoted strings in `set-info` command... tree | commitdiff
2021-09-23 Andrew ReynoldsImplement alpha equivalence proofs (#7066) tree | commitdiff
2021-09-22 Andrew ReynoldsMake cegqi subsolvers EnvObj (#7205) tree | commitdiff
2021-09-22 Mathias PreinerRemove CVC language support (#7219) tree | commitdiff
2021-09-22 Andrew ReynoldsTowards standard usage of evaluator (#7189) tree | commitdiff
2021-09-22 Andrew ReynoldsAdd extensionality option for strings disequalities... tree | commitdiff
2021-09-22 Aina Niemetzarrays: Use EnvObj::rewrite and EnvObj::options. (... tree | commitdiff
2021-09-22 Aina Niemetzarrays: Move type enumerator implementation to .cpp... tree | commitdiff
2021-09-22 Gereon KremerEliminate arithmetic proof macros (#7226) tree | commitdiff
2021-09-22 Andrew ReynoldsMinimal fixing version for tuple update parsing (#7228) tree | commitdiff
2021-09-21 Lachnitt[Proofs] Alethe: Translate ASSUME rule (#7213) tree | commitdiff
2021-09-21 Lachnitt[proofs] Alethe: Implementation of AletheProofPostproce... tree | commitdiff
next