projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Adding some missing python API methods and tests (#8441)
[cvc5.git] / test / api /
2022-03-29 Mathias PreinerIntroduce internal namespace and remove api namespace... tree | commitdiff
2022-03-25 Mathias Preinerapi: Unify mkOp variants. (#8369) tree | commitdiff
2022-03-22 Mathias Preinerapi: Unify mkTerm variants. (#8357) tree | commitdiff
2022-03-14 Andrew ReynoldsRemove unecessary methods from the API (#8260) tree | commitdiff
2022-03-12 Andrew ReynoldsAlways ensure literal when requiring phase via inferenc... tree | commitdiff
2022-03-08 Andrew ReynoldsAdd unit for fixed project issue (#8253) tree | commitdiff
2022-02-04 Aina NiemetzFP: Rename tester kinds. (#8037) tree | commitdiff
2022-02-02 Alex OzdemirChange name of Python API's package from pycvc5 to... tree | commitdiff
2022-01-28 Andres Noetzli[Rewrite Synthesis] Fix args for non-chaining ops ... tree | commitdiff
2022-01-11 Andres NoetzliFix `TypeNode::substitute()` for type constants (#7920) tree | commitdiff
2022-01-11 Andres NoetzliFix `TypeNode::substitute()` (#7916) tree | commitdiff
2021-12-13 yoni206Integrate new int-blaster (#7781) tree | commitdiff
2021-12-08 Gereon KremerTurn kinds in python API into a proper Enum (#7686) tree | commitdiff
2021-12-07 Gereon KremerFix 32bit issue in sep_log_api test (#7752) tree | commitdiff
2021-12-01 yoni206Translating API tests to Python — part 2 (#7651) tree | commitdiff
2021-11-24 Andres NoetzliAlways enable API black box unit tests (#7696) tree | commitdiff
2021-11-22 Gereon KremerRefactor IO stream manipulators (#7555) tree | commitdiff
2021-11-16 yoni206Translating API tests to Python — part 1 (#7597) tree | commitdiff
2021-11-03 Aina Niemetzapi: Rename some separation logic functions for consist... tree | commitdiff
2021-11-03 Andrew ReynoldsFormalize more string skolems (#7554) tree | commitdiff
2021-10-25 Andrew ReynoldsFix more missing uses of CDProof::isSame (#7491) tree | commitdiff
2021-10-20 Aina Niemetzapi: Rename get(BV|FP)*Size functions for consistency... 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-22 Mathias PreinerRemove CVC language support (#7219) tree | commitdiff
2021-09-08 Gereon KremerA couple of minor cleanups (#7141) tree | commitdiff
2021-09-02 Gereon KremerDriver & Options cleanup (#7109) tree | commitdiff
2021-08-27 Gereon KremerHandle languages as strings in driver (#7074) tree | commitdiff
2021-08-26 Gereon KremerConsolidate language types (#7065) tree | commitdiff
2021-08-05 Gereon KremerNo longer call solver constructor with an options objec... tree | commitdiff
2021-06-18 Mathias PreinerMake CnfStream::toCNF iterative (#6757) tree | commitdiff
2021-06-16 Aina NiemetzMake symfpu a required dependency. (#6749) tree | commitdiff
2021-06-15 Gereon KremerRemove public option wrappers (#6716) tree | commitdiff
2021-06-02 Aina NiemetzRemove redundant logic ALL_SUPPORTED. (#6664) tree | commitdiff
2021-06-02 yoni206Move `toPythonObj` tests to the new API unit test direc... tree | commitdiff
2021-06-02 Gereon KremerMove public wrapper functions out of options class... tree | commitdiff
2021-05-31 yoni206Update `toPythonObj` to use new getters -- part 1 ... tree | commitdiff
2021-05-28 yoni206Python API: bugfix + translating tests from cpp unit... tree | commitdiff
2021-05-17 yoni206Move and enhance python API grammar tests (#6538) tree | commitdiff
2021-05-14 Andres NoetzliDecouple parser creation from input selection (#6533) tree | commitdiff
2021-05-07 makaimannFix for toPythonObj of integer value with real sort... tree | commitdiff
2021-05-03 yoni206Python API tests for terms -- Part 1 (#6468) tree | commitdiff
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) tree | commitdiff
2021-04-20 Aina NiemetzRemove support for CVC3 language. (#6369) tree | commitdiff
2021-04-20 yoni206python API sorts: adding functions and tests (#6361) tree | commitdiff
2021-04-19 Gereon KremerRemove linking against gmp and cln in tests and parser... tree | commitdiff
2021-04-15 Aina NiemetzRename occurrences of CVC4 to CVC5. (#6351) tree | commitdiff
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) tree | commitdiff
2021-04-10 Aina NiemetzRename CVC4_ macros to CVC5_. (#6327) tree | commitdiff
2021-04-06 Aina NiemetzNew C++ Api: Rename and move headers. (#6292) tree | commitdiff
2021-04-01 Gereon KremerRefactor CLN dependency & Cleanup (#6251) tree | commitdiff
2021-04-01 Aina NiemetzRename namespace CVC5 to cvc5. (#6258) tree | commitdiff
2021-03-31 Aina NiemetzRename namespace CVC4 to CVC5. (#6249) tree | commitdiff
2021-03-31 Gereon KremerRefactor GMP and Poly dependencies (#6245) tree | commitdiff
2021-03-31 Gereon KremerRefactor SymFPU dependency (#6218) tree | commitdiff
2021-03-11 Aina NiemetzDelete Expr layer. (#6117) tree | commitdiff
2021-03-11 Aina NiemetzRemove obsolete test/api/statistics.cpp. (#6116) tree | commitdiff
2021-03-10 Mathias PreinerUse Assert instead of assert. (#6095) tree | commitdiff
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) tree | commitdiff
2021-03-08 Aina NiemetzRefactor ouroborous API test to not use Expr. (#6079) tree | commitdiff
2021-03-08 Aina NiemetzBuild api tests in build/bin/test/api. (#6076) tree | commitdiff
2020-12-03 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-11-11 Andrew ReynoldsMove symbol manager to src/expr/ (#5420) tree | commitdiff
2020-11-11 Andrew ReynoldsPass symbol manager to commands (#5410) tree | commitdiff
2020-11-10 Andrew ReynoldsAdd proper support for the declare-heap command for... tree | commitdiff
2020-11-09 Andrew ReynoldsAdd symbol manager (#5380) tree | commitdiff
2020-11-03 makaimannRun python tests during make check (#5226) tree | commitdiff
2020-10-29 mudathirmahgoubAdd mkInteger to the API (#5274) tree | commitdiff
2020-09-23 Abdalrhman MohamedRefactor Commands to use the Public API. (#5105) tree | commitdiff
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... tree | commitdiff
2020-09-17 Andrew ReynoldsReduce recursion in term formula removal (#5052) tree | commitdiff
2020-09-16 Andres NoetzliOnly rewrite replace_re(_all) if regexp is const (... tree | commitdiff
2020-09-15 Aina NiemetzRename system tests to api tests and remove obsolete... tree | commitdiff