projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2021-10-21 Haniel Barbosa[proofs] Fix open proof in SAT solver due to cycles... commit | commitdiff | tree
2021-10-21 Gereon KremerAdd regression (#7447) commit | commitdiff | tree
2021-10-21 Gereon KremerFix incorrect proof from ITE in circuit propagator... commit | commitdiff | tree
2021-10-21 Andres NoetzliRefactor regressions script (#7249) commit | commitdiff | tree
2021-10-21 Andrew ReynoldsMake cardinality constraint a nullary operator (#7333) commit | commitdiff | tree
2021-10-21 Gereon KremerWorking on windows builds (#7381) commit | commitdiff | tree
2021-10-21 Gereon KremerAdd setup to generate graphs for cmake target dependenc... commit | commitdiff | tree
2021-10-21 Andres NoetzliEnable and fix dump test (#7387) commit | commitdiff | tree
2021-10-21 Gereon KremerFix (#7437) commit | commitdiff | tree
2021-10-20 Andrew ReynoldsEnable some previously failing regressions (#7434) commit | commitdiff | tree
2021-10-20 Gereon KremerFix docs upload (again) (#7435) commit | commitdiff | tree
2021-10-20 Aina Niemetzapi: Add Solver::mkSepEmp(). (#7432) commit | commitdiff | tree
2021-10-20 Aina Niemetzapi: Improve documentation for special cases with nulla... commit | commitdiff | tree
2021-10-20 Andrew ReynoldsMove variadic trie utility to its own file (#7410) commit | commitdiff | tree
2021-10-20 Andrew ReynoldsAdd regressions for fixed issues (#7421) commit | commitdiff | tree
2021-10-20 yoni206Add `isNull` and `isUpdater` to `Sort` class of python... commit | commitdiff | tree
2021-10-20 Andrew ReynoldsThrow exception if checking model with separation logic... commit | commitdiff | tree
2021-10-20 Andrew ReynoldsCheck for higher-order variables in TheoryUF::ppRewrite... commit | commitdiff | tree
2021-10-20 Gereon KremerFix inadvertent failure of workflow step (#7420) commit | commitdiff | tree
2021-10-20 Andrew ReynoldsEliminate last static calls to rewriter from smt layer... commit | commitdiff | tree
2021-10-20 Andrew ReynoldsMake SyGuS solver robust to non-closed enumerable sorts... commit | commitdiff | tree
2021-10-20 Andrew ReynoldsDo not construct instantiation for checking propagating... commit | commitdiff | tree
2021-10-20 Andrew ReynoldsCheck whether abduct option is enabled (#7418) commit | commitdiff | tree
2021-10-20 Aina Niemetzapi: Rename get(BV|FP)*Size functions for consistency... commit | commitdiff | tree
2021-10-20 Lachnitt[proofs] Alethe: Documentation on Translation (#7394) commit | commitdiff | tree
2021-10-20 Andrew ReynoldsAdd LFSC signature for n-ary programs (#7360) commit | commitdiff | tree
2021-10-20 Andrew ReynoldsUse codatatype bound variables for codatatype values... commit | commitdiff | tree
2021-10-20 Andrew ReynoldsReimplement support for relational triggers (#7063) commit | commitdiff | tree
2021-10-20 Andrew ReynoldsDo not make assumption about model for Boolean variable... commit | commitdiff | tree
2021-10-20 Andrew ReynoldsCorrectly parse uninterpreted constant values in get... commit | commitdiff | tree
2021-10-20 Abdalrhman... Avoid escaping `double-quotes` twice. (#7409) commit | commitdiff | tree
2021-10-20 Andrew ReynoldsMake proofs of rewrites robust to use in internal subso... commit | commitdiff | tree
2021-10-20 Andrew ReynoldsAdd basic regular expression type enumerator (#7416) commit | commitdiff | tree
2021-10-19 Andrew ReynoldsFix expected conclusion for EQ_RESOLVE when expanding... commit | commitdiff | tree
2021-10-19 Andrew ReynoldsSupport sequences of fixed finite cardinality (#7371) commit | commitdiff | tree
2021-10-19 Andrew ReynoldsFix issue related to sanity checking integer models... commit | commitdiff | tree
2021-10-19 Gereon KremerRemove setDefaults methods (#7413) commit | commitdiff | tree
2021-10-18 Andrew ReynoldsAdd regression for fixed issue (#7395) commit | commitdiff | tree
2021-10-18 Abdalrhman... Move check for experimental arrays features to `theory_... commit | commitdiff | tree
2021-10-18 Andres NoetzliUpdate SMT-COMP script (#7389) commit | commitdiff | tree
2021-10-15 yoni206Python api documentation: Op, Grammar, Result, Enums... commit | commitdiff | tree
2021-10-15 Andrew ReynoldsAdd more regressions for fixed issues (#7382) commit | commitdiff | tree
2021-10-15 Gereon KremerHave docs_upload properly upload tags. (#7352) commit | commitdiff | tree
2021-10-15 Alex OzdemirFix bad cast in the python API (#7359) commit | commitdiff | tree
2021-10-15 Andrew ReynoldsFix issues related to proofs of lemmas with duplicate... commit | commitdiff | tree
2021-10-14 Andrew ReynoldsAdd regressions for fixed issues (#7369) commit | commitdiff | tree
2021-10-14 Gereon KremerFix (get-info :authors) (#7373) commit | commitdiff | tree
2021-10-14 Gereon KremerImprove ManagedStreams (#7367) commit | commitdiff | tree
2021-10-14 Andrew ReynoldsAdd regression for fixed issue (#7365) commit | commitdiff | tree
2021-10-14 Andrew ReynoldsImprove parser for tuple select (#7364) commit | commitdiff | tree
2021-10-14 Andrew ReynoldsSplit entailment check from term database (#7342) commit | commitdiff | tree
2021-10-14 Gereon KremerAlso test older cmake versions (#7347) commit | commitdiff | tree
2021-10-14 Andrew ReynoldsFix quantifiers variable elimination for parametric... commit | commitdiff | tree
2021-10-14 Gereon KremerFix GLPK linking (#7357) commit | commitdiff | tree
2021-10-14 Andrew ReynoldsAdd core LFSC signatures (#7289) commit | commitdiff | tree
2021-10-13 Andrew ReynoldsEliminate uses of rewrite from datatypes theory (#7354) commit | commitdiff | tree
2021-10-13 Andrew ReynoldsMake (proof) equality engine use Env (#7336) commit | commitdiff | tree
2021-10-12 Andrew ReynoldsSimplify refinement in sygus solver (#7343) commit | commitdiff | tree
2021-10-12 Andrew ReynoldsEliminate calls to currentResourceManager (#7350) commit | commitdiff | tree
2021-10-12 Mathias Preinercmake: Fix git info if build directory is outside of... commit | commitdiff | tree
2021-10-12 Aina NiemetzClean up occurrences of SmtEngine in comments. (#7349) commit | commitdiff | tree
2021-10-12 Aina NiemetzGet rid of unused member d_smtStats in ExpandDefs.... commit | commitdiff | tree
2021-10-12 Aina NiemetzRename SmtEngineState to SolverEngineState. (#7344) commit | commitdiff | tree
2021-10-12 Gereon KremerFix glpk, add antlr.so (#7341) commit | commitdiff | tree
2021-10-12 Andrew ReynoldsProvide a non-traversal interface to term formula remov... commit | commitdiff | tree
2021-10-12 Andrew ReynoldsMinor cleaning of instantiation utilities (#7334) commit | commitdiff | tree
2021-10-12 Andrew ReynoldsSimplify skolemization in sygus solver (#7331) commit | commitdiff | tree
2021-10-12 Ouyanchengfix deprecation of std::iterator (#7332) commit | commitdiff | tree
2021-10-11 Mathias PreinerStart post-release for 0.0.2 commit | commitdiff | tree
2021-10-11 Mathias PreinerBump version to 0.0.2 commit | commitdiff | tree
2021-10-11 Mathias PreinerFix release action. commit | commitdiff | tree
2021-10-11 Aina NiemetzRename SmtEngineStatistics to SolverEngineStatistics... commit | commitdiff | tree
2021-10-11 Mathias PreinerStart post-release for 0.0.1 commit | commitdiff | tree
2021-10-11 Mathias PreinerBump version to 0.0.1 commit | commitdiff | tree
2021-10-11 Gereon KremerAntlr: runtime -> libraries (#7338) commit | commitdiff | tree
2021-10-11 Aina NiemetzRename SmtScope to SolverEngineScope. (#7284) commit | commitdiff | tree
2021-10-11 Gereon KremerRevert #7257 (#7337) commit | commitdiff | tree
2021-10-11 Gereon KremerAdd CI workflow to test different cmake versions (... commit | commitdiff | tree
2021-10-11 Andrew ReynoldsConnect the LFSC printer (#7323) commit | commitdiff | tree
2021-10-11 Andrew ReynoldsAdd cardinality constraint utilities (#7286) commit | commitdiff | tree
2021-10-11 Gereon KremerRestore compatibility with cmake 3.9 (#7329) commit | commitdiff | tree
2021-10-09 Gereon KremerRemove static accesses to options where EnvObj is used... commit | commitdiff | tree
2021-10-08 Andrew ReynoldsMake skolem definition manager robust to function skole... commit | commitdiff | tree
2021-10-08 Andrew ReynoldsAdd argument to distinguish lemmas and input assertions... commit | commitdiff | tree
2021-10-08 Andrew ReynoldsA few more miscellaneous uses of EnvObj (#7325) commit | commitdiff | tree
2021-10-08 Gereon KremerIgnore zip files for docs upload diff (#7322) commit | commitdiff | tree
2021-10-08 Gereon KremerAttach the static binaries to a release (#7324) commit | commitdiff | tree
2021-10-07 Andrew ReynoldsMove preprocessor to smt solver (#7321) commit | commitdiff | tree
2021-10-07 Gereon KremerAdd a binary / SMT-LIB quickstart (#7315) commit | commitdiff | tree
2021-10-07 Andrew ReynoldsFinish the LFSC printer (#7285) commit | commitdiff | tree
2021-10-07 Andrew ReynoldsUse skolem lemma in prop layer interfaces (#7320) commit | commitdiff | tree
2021-10-07 Gereon KremerAdd new versioning scheme (#7253) commit | commitdiff | tree
2021-10-07 Andrew ReynoldsMake the cardinality of the alphabet of strings configu... commit | commitdiff | tree
2021-10-07 mudathirmahgoubAdd missing functions in Term.java (#7297) commit | commitdiff | tree
2021-10-07 Gereon KremerFix/Improve static and shared builds with CLN or Poly... commit | commitdiff | tree
2021-10-07 Andrew ReynoldsMiscellaneous fixes from proof-new (#7313) commit | commitdiff | tree
2021-10-07 Andrew ReynoldsFast exit for string extended equality rewriter (#7312) commit | commitdiff | tree
2021-10-07 Gereon KremerReplace doubles by rationals in C++ quickstart (#7317) commit | commitdiff | tree
2021-10-07 Andrew ReynoldsEliminate more circular dependencies on solver engine... commit | commitdiff | tree
2021-10-07 Gereon KremerChange behaviour of Term::getRealValue() (#7316) commit | commitdiff | tree
next