cvc5.git
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...
2021-04-22 Andrew ReynoldsMinor improvements to substitutions (#6380)
2021-04-22 Andrew ReynoldsMinor changes to unsat core default setting (#6425)
2021-04-22 Mathias Preinercmake: Do not require --auto-download for already downl...
2021-04-22 Gereon KremerUpdate INSTALL.md (#6412)
2021-04-22 Gereon KremerAdd API documentation for statistics (#6364)
2021-04-22 Gereon KremerRemove unused stuff from options setup (#6422)
2021-04-22 Andrew Reynolds Reorganizing use of skolem definition manager in prop...
2021-04-22 Aina Niemetzapi docs: Rename doxygen output directory. (#6426)
2021-04-22 Aina Niemetzapi docs: Remove file reintroduced in past merge. ...
2021-04-22 Andrew ReynoldsFix models for sygus-inference, bv2int, real2int (...
2021-04-22 Haniel BarbosaReconciling proofs and unsat cores (#6405)
2021-04-22 Andres NoetzliAllow in-place construction of `CDList` items (#6409)
2021-04-22 Andrew ReynoldsMove expand definition from Theory to TheoryRewriter...
2021-04-21 Aina NiemetzArithmetic: Move implementation of type rules to cpp...
2021-04-21 Aina NiemetzUF: Move implementation of type rules to cpp. (#6403)
2021-04-21 Gereon KremerAdd explicit dependencies for base lib (#6410)
2021-04-21 Gereon KremerPass GMP to libpoly (#6411)
2021-04-21 Aina NiemetzDatatypes: Move implementation of type rules to cpp...
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371)
2021-04-21 Mathias Preinercmake: Add optional module name argument for check_pyth...
2021-04-21 Aina NiemetzSets: Move implementation of type rules to cpp. (#6401)
2021-04-21 Aina NiemetzArrays: Move implementation of type rules to cpp. ...
2021-04-21 Andrew ReynoldsAdd unit test for abduction (#6400)
2021-04-21 Andrew ReynoldsAdd basic utilities for new implementation of justifica...
2021-04-21 mudathirmahgoubAdd getNumIndices to Op (#6386)
2021-04-20 Andrew ReynoldsSplit FP expand definitions to own module (#6392)
2021-04-20 Aina NiemetzBV: Move implementation of type rules from header to...
2021-04-20 Aina NiemetzSep: Move implementation of type rules to cpp. (#6402)
2021-04-20 Aina NiemetzQuantifiers: Move implementation of type rules to cpp...
2021-04-20 Gereon KremerAdd InferenceId as resources (#6339)
2021-04-20 Andrew ReynoldsAdd instantiation pool feature to the API (#6358)
2021-04-20 Gereon KremerSplit C++ API docs from general docs (#6365)
2021-04-20 Aina NiemetzRemove support for CVC3 language. (#6369)
2021-04-20 Gereon KremerBasic setup for examples in documentation (#6383)
2021-04-20 Aina NiemetzAdd guards to disable clang-format around placeholders...
2021-04-20 Andres NoetzliFix `ANTLR3_COMMAND` for system ANTLR3 JAR (#6399)
2021-04-20 Gereon KremerProperly link Poly against GMP (#6398)
2021-04-20 yoni206python API sorts: adding functions and tests (#6361)
2021-04-19 Andrew ReynoldsFully incorporate quantifiers macros into ppAssert...
2021-04-19 Gereon KremerRemove linking against gmp and cln in tests and parser...
2021-04-16 Gereon KremerFix dependencies for stats options (#6378)
2021-04-16 Andrew ReynoldsFix ONCE for post-rewrite (#6372)
2021-04-16 Gereon KremerRefactor cmake: auto-download and default-on dependenci...
2021-04-16 Gereon KremerReplace SExpr class by simpler conversion routines...
2021-04-16 Mathias Preinercmake: Build object libraries for base and context...
2021-04-15 Aina Niemetzpreprocessing context: Add wrapper for model substituti...
2021-04-15 Mathias PreinerBuild support library from base and context. (#6368)
2021-04-15 Gereon KremerAvoid options listener for resource manager. (#6366)
2021-04-15 Aina NiemetzRename occurrences of CVC4 to CVC5. (#6351)
2021-04-15 Gereon KremerFix printing of stats when aborted. (#6362)
2021-04-15 Andrew ReynoldsReenable regression for minimizing instantiations ...
2021-04-14 Andrew ReynoldsFix type rule for relations join image (#6349)
2021-04-14 Gereon KremerImprove documentation for FP rounding mode, add bibliog...
2021-04-14 Gereon KremerImprove documentation of API kinds (#6341)
2021-04-14 Gereon KremerImprove documentation for API exceptions (#6340)
next