cvc5.git
2021-05-18 Ying ShengAdding python API test part 2 (#6551)
2021-05-18 Andrew Reynolds(proof-new) Miscellaneous updates to strings from proof...
2021-05-18 Andrew ReynoldsFix smt2 printing (#6558)
2021-05-18 mudathirmahgoubAdd Solver.java to the Java API (#6196)
2021-05-17 Andres NoetzliFix `SPLIT_EQ_STRIP_R`/`SPLIT_EQ_STRIP_L` rewrites...
2021-05-17 Ying ShengAdding python API test (#6546)
2021-05-17 yoni206Move and enhance python API grammar tests (#6538)
2021-05-17 Gereon KremerReplace smt_name by aliases (#6541)
2021-05-17 Andres NoetzliInclude cinttypes instead of inttypes.h (#6548)
2021-05-17 Gereon KremerImprove integration of CAD with nl-Ext (#6542)
2021-05-14 Andres NoetzliDecouple parser creation from input selection (#6533)
2021-05-14 Gereon KremerRestrict additional CI jobs (#6539)
2021-05-14 Abdalrhman... Stop using the solver for printing sygus synthesis...
2021-05-14 Alex OzdemirAdd getId function to python API (#6523)
2021-05-14 mudathirmahgoubAdd Result.java to the java API (#6385)
2021-05-14 Mathias Preinerbv: Assert input facts on user-level 0. (#6515)
2021-05-14 Aina Niemetzapi docs: Tweak style to be consistent with website...
2021-05-13 Andres NoetzliAlways parse streams with line buffer (#6532)
2021-05-13 Mathias PreinerAdd std::hash overloads for Node, TNode and TypeNode...
2021-05-13 Gereon KremerSplit options holder class (#6527)
2021-05-13 yoni206Adding functions to the python API and testing them...
2021-05-13 Alex OzdemirFix error message in toPythonObj (#6524)
2021-05-12 Gereon KremerMove docs upload to a different workflow (#6512)
2021-05-12 Andrew ReynoldsPreliminary draft of changes for SMT comp 2021 (#6522)
2021-05-12 Andrew ReynoldsEnsure sequences of Booleans generate Boolean term...
2021-05-12 Gereon KremerUse signal(sig, SIG_DFL); raise(sig); instead of abort...
2021-05-10 Gereon KremerRemove header for option modules (#6514)
2021-05-10 Gereon KremerRemove read_only from options. (#6513)
2021-05-10 Andrew ReynoldsUnify top-level substitutions and model substitutions...
2021-05-10 mudathirmahgoubAdd doc to Kind.java (#6498)
2021-05-08 yoni206Adding functions to the python API and testing them...
2021-05-08 Andrew ReynoldsAdd support for datatype update (#6449)
2021-05-07 Aina NiemetzMove slow regressions and update guidelines. (#6508)
2021-05-07 Aina NiemetzFix and add missing REQUIRE labels for FP regression...
2021-05-07 Gereon KremerIntegrate documentation build with the regular CI workf...
2021-05-07 Haniel BarbosaProperly printing INST_PATTERN_LIST by itself (#6507)
2021-05-07 Andrew ReynoldsSimplifications to expand definitions (#6487)
2021-05-07 makaimannFix for toPythonObj of integer value with real sort...
2021-05-06 Haniel Barbosa[proof-new] Updating documentation for Subs/Rw ids...
2021-05-06 Andrew ReynoldsDiscard duplicate terms in patterns (#6501)
2021-05-06 Mathias PreinerUpdate README.md and remove last CVC4 references. ...
2021-05-06 Andrew ReynoldsUse constant folding for evaluating BV eager atom ...
2021-05-05 Andrew ReynoldsDo not have quantifiers model inherit from theory model...
2021-05-05 makaimannSave block comments associated with each kind when...
2021-05-05 OuyanchengAdd helper functions for multi-objective optimization...
2021-05-05 Andrew ReynoldsMove current decision engine to decision engine old...
2021-05-04 Andrew ReynoldsMove env into smt solver, theory engine, prop engine...
2021-05-04 Haniel BarbosaDo not use proof CNF stream with assumptions-based...
2021-05-04 Gereon KremerUse proper commit hash for PRs (#6485)
2021-05-04 Mathias Preinercmake: Fix ninja build. (#6481)
2021-05-04 Gereon KremerImprove generation of python API documentation (#6482)
2021-05-04 Aina NiemetzFP: Move removal of generic to_fp operations to rewrite...
2021-05-04 Aina NiemetzFP: Move type check from expandDefinitions. (#6479)
2021-05-03 Aina NiemetzFP: Rewrite to_fp conversion from signed bit-vector...
2021-05-03 Gereon KremerAdd missing --auto-download in CI (#6478)
2021-05-03 Gereon KremerAdd CI jobs to build docs (#6413)
2021-05-03 Aina NiemetzSymFPU: Automatically apply patch from 2020-11-14....
2021-05-03 yoni206Python API tests for terms -- Part 1 (#6468)
2021-04-30 Mathias Preinerbv: Refactor ppAssert and move to TheoryBV. (#6470)
2021-04-30 Aina NiemetzAdd parameter name for argument `isPreRewrite` for...
2021-04-30 OuyanchengRefactor optimization result and objective classes...
2021-04-30 Andrew ReynoldsUse substitutions for implementing defined functions...
2021-04-29 Andrew ReynoldsAdd assertion list utility for justification heuristic...
2021-04-29 Gereon KremerSimplify generated code for getOption() and setOption...
2021-04-29 Gereon KremerAdd missing include. (#6463)
2021-04-29 Gereon KremerAvoid exponential explosion of small constant in CEGQI...
2021-04-28 OuyanchengFix BV Optimization Boundary Condition when lower bound...
2021-04-28 Gereon KremerRefactor resource manager options (#6446)
2021-04-28 Gereon KremerRemove exception headers from options.h (#6456)
2021-04-28 Gereon KremerMake sure reference stats are reset properly (#6457)
2021-04-28 Gereon KremerClean up options holder class (#6458)
2021-04-28 Gereon KremerCleanup DidYouMean (#6454)
2021-04-27 Andrew ReynoldsAdd internal support for datatype update (#6450)
2021-04-27 Andrew ReynoldsMove slow regression to regress3 (#6451)
2021-04-27 Andrew ReynoldsFix refutational soundness bug in quantifier prenexing...
2021-04-27 Andrew ReynoldsSimplify making function types (#6447)
2021-04-27 Gereon KremerInitial setup for docs of python API (#6445)
2021-04-27 Gereon KremerUse std::hash for API types (#6432)
2021-04-27 Aina NiemetzBool: Move implementation of type rules to cpp. (#6420)
2021-04-26 Gereon KremerGenerate docs conf.py by cmake (#6441)
2021-04-26 Gereon KremerProtect int stats methods (#6442)
2021-04-26 Gereon KremerFirst part of options refactoring (#6428)
2021-04-26 Andrew ReynoldsFix theoryOf for Boolean equalities (#6444)
2021-04-26 Diego Della... New design in DOT representation, nodes colored based...
2021-04-26 Andrew ReynoldsEnsure dependency is tracked for all substitutions...
2021-04-26 Andrew ReynoldsEnable print-inst-full by default (#6435)
2021-04-26 Haniel BarbosaFix assertions in SAT solver (#6443)
2021-04-26 Andrew ReynoldsDo not process looping word equations over sequences...
2021-04-25 Andrew ReynoldsUse fast enumeration by default for Boolean predicate...
2021-04-25 Andrew ReynoldsMore check models (#6439)
2021-04-24 Andrew ReynoldsImprove getValue for non-evaluated operators (#6436)
2021-04-24 Mathias PreinerAdd assumption-based unsat cores. (#6427)
2021-04-23 Gereon KremerAdd missing dependency for CaDiCaL (#6431)
2021-04-23 Andrew Reynolds(proof-new) Proofs for sets purification lemmas (#6416)
2021-04-23 Andrew ReynoldsAdd new substitution apply methods fixpoint, sequential...
2021-04-23 Gereon KremerMake sure a ReferenceStat is set to values of the corre...
2021-04-23 Andrew ReynoldsEnable strings exp by default for strings specific...
2021-04-23 Aina NiemetzBV: Add proof logging for bit-blasting. (#6373)
2021-04-23 Andrew ReynoldsMove implementation of UF rewriter to cpp (#6393)
2021-04-22 Andrew ReynoldsMake trust substitution map generate proofs lazily...
next