projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Add `deep-restart` option (#8644)
[cvc5.git]
/
test
/
api
/
2022-04-05
Mathias Preiner
Update copyright headers for release 1.0 (#8539)
tree
|
commitdiff
2022-04-01
Aina Niemetz
Python API: Do not rename enumerators. (#8507)
tree
|
commitdiff
2022-04-01
Gereon Kremer
Remove decorator from python API (#8505)
tree
|
commitdiff
2022-03-29
Mathias Preiner
Introduce internal namespace and remove api namespace...
tree
|
commitdiff
2022-03-25
Mathias Preiner
api: Unify mkOp variants. (#8369)
tree
|
commitdiff
2022-03-22
Mathias Preiner
api: Unify mkTerm variants. (#8357)
tree
|
commitdiff
2022-03-14
Andrew Reynolds
Remove unecessary methods from the API (#8260)
tree
|
commitdiff
2022-03-12
Andrew Reynolds
Always ensure literal when requiring phase via inferenc...
tree
|
commitdiff
2022-03-08
Andrew Reynolds
Add unit for fixed project issue (#8253)
tree
|
commitdiff
2022-02-04
Aina Niemetz
FP: Rename tester kinds. (#8037)
tree
|
commitdiff
2022-02-02
Alex Ozdemir
Change 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 Noetzli
Fix `TypeNode::substitute()` for type constants (#7920)
tree
|
commitdiff
2022-01-11
Andres Noetzli
Fix `TypeNode::substitute()` (#7916)
tree
|
commitdiff
2021-12-13
yoni206
Integrate new int-blaster (#7781)
tree
|
commitdiff
2021-12-08
Gereon Kremer
Turn kinds in python API into a proper Enum (#7686)
tree
|
commitdiff
2021-12-07
Gereon Kremer
Fix 32bit issue in sep_log_api test (#7752)
tree
|
commitdiff
2021-12-01
yoni206
Translating API tests to Python — part 2 (#7651)
tree
|
commitdiff
2021-11-24
Andres Noetzli
Always enable API black box unit tests (#7696)
tree
|
commitdiff
2021-11-22
Gereon Kremer
Refactor IO stream manipulators (#7555)
tree
|
commitdiff
2021-11-16
yoni206
Translating API tests to Python — part 1 (#7597)
tree
|
commitdiff
2021-11-03
Aina Niemetz
api: Rename some separation logic functions for consist...
tree
|
commitdiff
2021-11-03
Andrew Reynolds
Formalize more string skolems (#7554)
tree
|
commitdiff
2021-10-25
Andrew Reynolds
Fix more missing uses of CDProof::isSame (#7491)
tree
|
commitdiff
2021-10-20
Aina Niemetz
api: Rename get(BV|FP)*Size functions for consistency...
tree
|
commitdiff
2021-10-01
Aina Niemetz
Rename SmtEngine to SolverEngine. (#7282)
tree
|
commitdiff
2021-09-30
Aina Niemetz
Rename files smt_engine.(cpp|h) to solver_engine.(cpp...
tree
|
commitdiff
2021-09-22
Mathias Preiner
Remove CVC language support (#7219)
tree
|
commitdiff
2021-09-08
Gereon Kremer
A couple of minor cleanups (#7141)
tree
|
commitdiff
2021-09-02
Gereon Kremer
Driver & Options cleanup (#7109)
tree
|
commitdiff
2021-08-27
Gereon Kremer
Handle languages as strings in driver (#7074)
tree
|
commitdiff
2021-08-26
Gereon Kremer
Consolidate language types (#7065)
tree
|
commitdiff
2021-08-05
Gereon Kremer
No longer call solver constructor with an options objec...
tree
|
commitdiff
2021-06-18
Mathias Preiner
Make CnfStream::toCNF iterative (#6757)
tree
|
commitdiff
2021-06-16
Aina Niemetz
Make symfpu a required dependency. (#6749)
tree
|
commitdiff
2021-06-15
Gereon Kremer
Remove public option wrappers (#6716)
tree
|
commitdiff
2021-06-02
Aina Niemetz
Remove redundant logic ALL_SUPPORTED. (#6664)
tree
|
commitdiff
2021-06-02
yoni206
Move `toPythonObj` tests to the new API unit test direc...
tree
|
commitdiff
2021-06-02
Gereon Kremer
Move public wrapper functions out of options class...
tree
|
commitdiff
2021-05-31
yoni206
Update `toPythonObj` to use new getters -- part 1 ...
tree
|
commitdiff
2021-05-28
yoni206
Python API: bugfix + translating tests from cpp unit...
tree
|
commitdiff
2021-05-17
yoni206
Move and enhance python API grammar tests (#6538)
tree
|
commitdiff
2021-05-14
Andres Noetzli
Decouple parser creation from input selection (#6533)
tree
|
commitdiff
2021-05-07
makaimann
Fix for toPythonObj of integer value with real sort...
tree
|
commitdiff
2021-05-03
yoni206
Python API tests for terms -- Part 1 (#6468)
tree
|
commitdiff
2021-04-21
Mathias Preiner
Goodbye CVC4, hello cvc5! (#6371)
tree
|
commitdiff
2021-04-20
Aina Niemetz
Remove support for CVC3 language. (#6369)
tree
|
commitdiff
2021-04-20
yoni206
python API sorts: adding functions and tests (#6361)
tree
|
commitdiff
2021-04-19
Gereon Kremer
Remove linking against gmp and cln in tests and parser...
tree
|
commitdiff
2021-04-15
Aina Niemetz
Rename occurrences of CVC4 to CVC5. (#6351)
tree
|
commitdiff
2021-04-12
Aina Niemetz
Refactor and update copyright headers. (#6316)
tree
|
commitdiff
2021-04-10
Aina Niemetz
Rename CVC4_ macros to CVC5_. (#6327)
tree
|
commitdiff
2021-04-06
Aina Niemetz
New C++ Api: Rename and move headers. (#6292)
tree
|
commitdiff
2021-04-01
Gereon Kremer
Refactor CLN dependency & Cleanup (#6251)
tree
|
commitdiff
2021-04-01
Aina Niemetz
Rename namespace CVC5 to cvc5. (#6258)
tree
|
commitdiff
2021-03-31
Aina Niemetz
Rename namespace CVC4 to CVC5. (#6249)
tree
|
commitdiff
2021-03-31
Gereon Kremer
Refactor GMP and Poly dependencies (#6245)
tree
|
commitdiff
2021-03-31
Gereon Kremer
Refactor SymFPU dependency (#6218)
tree
|
commitdiff
2021-03-11
Aina Niemetz
Delete Expr layer. (#6117)
tree
|
commitdiff
2021-03-11
Aina Niemetz
Remove obsolete test/api/statistics.cpp. (#6116)
tree
|
commitdiff
2021-03-10
Mathias Preiner
Use Assert instead of assert. (#6095)
tree
|
commitdiff
2021-03-09
Aina Niemetz
Update copyright headers to 2021. (#6081)
tree
|
commitdiff
2021-03-08
Aina Niemetz
Refactor ouroborous API test to not use Expr. (#6079)
tree
|
commitdiff
2021-03-08
Aina Niemetz
Build api tests in build/bin/test/api. (#6076)
tree
|
commitdiff
2020-12-03
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2020-11-11
Andrew Reynolds
Move symbol manager to src/expr/ (#5420)
tree
|
commitdiff
2020-11-11
Andrew Reynolds
Pass symbol manager to commands (#5410)
tree
|
commitdiff
2020-11-10
Andrew Reynolds
Add proper support for the declare-heap command for...
tree
|
commitdiff
2020-11-09
Andrew Reynolds
Add symbol manager (#5380)
tree
|
commitdiff
2020-11-03
makaimann
Run python tests during make check (#5226)
tree
|
commitdiff
2020-10-29
mudathirmahgoub
Add mkInteger to the API (#5274)
tree
|
commitdiff
2020-09-23
Abdalrhman Mohamed
Refactor Commands to use the Public API. (#5105)
tree
|
commitdiff
2020-09-22
Mathias Preiner
Update copyright header script to support CMake and...
tree
|
commitdiff
2020-09-17
Andrew Reynolds
Reduce recursion in term formula removal (#5052)
tree
|
commitdiff
2020-09-16
Andres Noetzli
Only rewrite replace_re(_all) if regexp is const (...
tree
|
commitdiff
2020-09-15
Aina Niemetz
Rename system tests to api tests and remove obsolete...
tree
|
commitdiff