projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix invalid rewrite involving iand (#8026)
[cvc5.git]
/
src
/
main
/
2022-01-24
Abdalrhman Mohamed
Enable dump tester. (#7884)
tree
|
commitdiff
2022-01-03
Andres Noetzli
Execute `(reset)` command in parse-only mode (#7862)
tree
|
commitdiff
2021-12-02
Gereon Kremer
Add unit tests for api::Solver::setOption() (#7708)
tree
|
commitdiff
2021-11-24
Mathias Preiner
cmake: Add option --[no]-static-binary. (#7695)
tree
|
commitdiff
2021-11-09
Gereon Kremer
Remove `CVC5Message` (#7610)
tree
|
commitdiff
2021-11-09
Gereon Kremer
Remove command-verbosity option (#7581)
tree
|
commitdiff
2021-11-06
Gereon Kremer
Remove `Notice()` in favor of new `verbose()` (#7588)
tree
|
commitdiff
2021-11-05
Gereon Kremer
Remove `Chat()` in favor of new `verbose()` (#7586)
tree
|
commitdiff
2021-11-04
Gereon Kremer
Start refactoring of `-o` and `-v` (#7449)
tree
|
commitdiff
2021-11-04
Gereon Kremer
Refactor cmake to build either static or shared (#7534)
tree
|
commitdiff
2021-11-01
Gereon Kremer
Refactor DidYouMean (#7535)
tree
|
commitdiff
2021-10-28
Gereon Kremer
Combine `--static` and `--static-binary` (#7520)
tree
|
commitdiff
2021-10-28
Abdalrhman Mohamed
Add a `define-fun` command for each `:named` term....
tree
|
commitdiff
2021-10-11
Gereon Kremer
Restore compatibility with cmake 3.9 (#7329)
tree
|
commitdiff
2021-10-07
Gereon Kremer
Add new versioning scheme (#7253)
tree
|
commitdiff
2021-10-07
Gereon Kremer
Fix/Improve static and shared builds with CLN or Poly...
tree
|
commitdiff
2021-10-06
Gereon Kremer
Change semantics of dumpUnsatCoresFull (#7314)
tree
|
commitdiff
2021-10-06
Gereon Kremer
Enable static builds in CI (#7281)
tree
|
commitdiff
2021-10-01
Gereon Kremer
Clean options handlers (#7201)
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-30
Gereon Kremer
Refactor our static builds (#7251)
tree
|
commitdiff
2021-09-29
Andres Noetzli
Update `--lang=help` (#7260)
tree
|
commitdiff
2021-09-22
Mathias Preiner
Remove CVC language support (#7219)
tree
|
commitdiff
2021-09-17
Andres Noetzli
Use a single `NodeManager` per thread (#7204)
tree
|
commitdiff
2021-09-14
Andrew Reynolds
Add get-difficulty to the API (#7194)
tree
|
commitdiff
2021-09-14
Andres Noetzli
Make `-o raw-benchmark` work with `--parse-only` (...
tree
|
commitdiff
2021-09-14
Gereon Kremer
Turn sphinx generation into a function (#7181)
tree
|
commitdiff
2021-09-14
Andrew Reynolds
Reimplement `--dump=raw-benchmark` as `-o raw-benchmark...
tree
|
commitdiff
2021-09-13
Gereon Kremer
Refactor options parsing (#7143)
tree
|
commitdiff
2021-09-10
Gereon Kremer
Refactor command-line help (#7157)
tree
|
commitdiff
2021-09-02
Andres Noetzli
[Unit Tests] Fix shell test for Editline (#7117)
tree
|
commitdiff
2021-09-02
Gereon Kremer
Driver & Options cleanup (#7109)
tree
|
commitdiff
2021-09-01
Andrew Reynolds
Print response to get-model using the API (#7084)
tree
|
commitdiff
2021-09-01
Gereon Kremer
Make driver::totalTime a TimerStat (#7089)
tree
|
commitdiff
2021-09-01
Gereon Kremer
No longer use direct access to options in driver (...
tree
|
commitdiff
2021-08-30
Gereon Kremer
Refactor filename handling (#7088)
tree
|
commitdiff
2021-08-27
Gereon Kremer
Add Driver options (#7078)
tree
|
commitdiff
2021-08-27
Gereon Kremer
Handle languages as strings in driver (#7074)
tree
|
commitdiff
2021-08-26
Andrew Reynolds
Dump models for isNotEntailed results (#7071)
tree
|
commitdiff
2021-08-26
Gereon Kremer
Consolidate language types (#7065)
tree
|
commitdiff
2021-08-23
Gereon Kremer
Move options parsing code to main (#7054)
tree
|
commitdiff
2021-08-23
Gereon Kremer
Use options correctly in competition mode (#7053)
tree
|
commitdiff
2021-08-20
Gereon Kremer
Make driver use options from the solver (#6930)
tree
|
commitdiff
2021-08-20
Gereon Kremer
Add CVC5ApiOptionException (#6992)
tree
|
commitdiff
2021-08-19
Andres Noetzli
Remove `--(no-)interactive-prompt` (#7022)
tree
|
commitdiff
2021-08-04
Gereon Kremer
Consolidate solver resets (#6986)
tree
|
commitdiff
2021-08-04
Andrew Reynolds
Add optional debug information for dumping instantiatio...
tree
|
commitdiff
2021-08-03
Gereon Kremer
Properly honor --stats-all and --stats-expert when...
tree
|
commitdiff
2021-07-31
Gereon Kremer
Perform statistics printing via the API (#6952)
tree
|
commitdiff
2021-07-28
Gereon Kremer
Only use libedit on tty inputs (#6946)
tree
|
commitdiff
2021-07-26
Gereon Kremer
Move public options functions to separate file (#6671)
tree
|
commitdiff
2021-07-14
Gereon Kremer
Clean up option usage in command executor (#6844)
tree
|
commitdiff
2021-06-23
Andres Noetzli
Remove `--tear-down-incremental` (#6745)
tree
|
commitdiff
2021-06-15
Gereon Kremer
Remove public option wrappers (#6716)
tree
|
commitdiff
2021-06-09
Gereon Kremer
Push complex check inside GetInstantiationsCommand...
tree
|
commitdiff
2021-06-08
Gereon Kremer
Remove `binary_name` option (#6693)
tree
|
commitdiff
2021-06-06
Gereon Kremer
Support public option modules (#6691)
tree
|
commitdiff
2021-06-04
Gereon Kremer
Add missing dereference (#6684)
tree
|
commitdiff
2021-06-02
Gereon Kremer
Use proper variable name (#6670)
tree
|
commitdiff
2021-06-02
Gereon Kremer
Move public wrapper functions out of options class...
tree
|
commitdiff
2021-05-14
Andres Noetzli
Decouple parser creation from input selection (#6533)
tree
|
commitdiff
2021-05-13
Andres Noetzli
Always parse streams with line buffer (#6532)
tree
|
commitdiff
2021-05-12
Gereon Kremer
Use signal(sig, SIG_DFL); raise(sig); instead of abort...
tree
|
commitdiff
2021-04-28
Gereon Kremer
Remove exception headers from options.h (#6456)
tree
|
commitdiff
2021-04-21
Mathias Preiner
Goodbye CVC4, hello cvc5! (#6371)
tree
|
commitdiff
2021-04-15
Aina Niemetz
Rename occurrences of CVC4 to CVC5. (#6351)
tree
|
commitdiff
2021-04-14
Gereon Kremer
Refactor / reimplement statistics (#6162)
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-09
Aina Niemetz
Rename CVC4__ header guards to CVC5__. (#6326)
tree
|
commitdiff
2021-04-06
Aina Niemetz
New C++ Api: Rename and move headers. (#6292)
tree
|
commitdiff
2021-04-02
Mathias Preiner
cmake: Do not link against main object library. (#6269)
tree
|
commitdiff
2021-04-02
Gereon Kremer
Minor refactoring (#6273)
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-30
Gereon Kremer
Fix total time statistic (#6233)
tree
|
commitdiff
2021-03-22
Gereon Kremer
Move statistics from the driver into the SmtEngine...
tree
|
commitdiff
2021-03-18
Abdalrhman Mohamed
Eliminate more uses of SExpr. (#6149)
tree
|
commitdiff
2021-03-16
Mathias Preiner
cmake: Generate cvc4_export.h and set visibility to...
tree
|
commitdiff
2021-03-11
Gereon Kremer
First refactoring of statistics classes (#6105)
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-05
Gereon Kremer
Reimplement time limit mechanism for windows (#6049)
tree
|
commitdiff
2021-03-04
Aina Niemetz
New C++ API: Clean up usage of internal Result. (#6043)
tree
|
commitdiff
2021-02-23
Mathias Preiner
Switch to C++17. (#5959)
tree
|
commitdiff
2020-12-23
Haniel Barbosa
Dumping unsat cores after check-sat-assuming/QUERY...
tree
|
commitdiff
2020-12-12
Andrew Reynolds
Flush statistics through NodeManager in SmtEngine ...
tree
|
commitdiff
2020-12-03
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2020-12-02
Aina Niemetz
Rename macro Message to CVC4Message. (#5576)
tree
|
commitdiff
2020-11-30
Abdalrhman Mohamed
Eliminate uses of SExpr from the parser. (#5496)
tree
|
commitdiff
2020-11-18
Andrew Reynolds
Fix asan issues related to solver and symbol manager...
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-09
Andrew Reynolds
Add symbol manager (#5380)
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
next