projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
fix deprecation of std::iterator (#7332)
[cvc5.git]
/
src
/
main
/
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
2020-09-16
Abdalrhman Mohamed
Dump commands in internal code using command printing...
tree
|
commitdiff
2020-09-15
Aina Niemetz
Rename system tests to api tests and remove obsolete...
tree
|
commitdiff
2020-09-03
FabianWolff
Drop {INCLUDE,LIBRARY,RUNTIME}_INSTALL_DIR variables...
tree
|
commitdiff
2020-07-30
Andrew V. Jones
When linking Editline, use 'pkg-config' to correctly...
tree
|
commitdiff
2020-07-17
Andrew V. Jones
Support for using 'libedit' over 'readline' #4571 ...
tree
|
commitdiff
2020-07-16
Gereon Kremer
Fixes memory leak when an exception goes through runCvc...
tree
|
commitdiff
2020-07-13
Gereon Kremer
Implement --tlimit for windows (#4716)
tree
|
commitdiff
2020-07-08
Gereon Kremer
Re-implement handling of --tlimit (#4655)
tree
|
commitdiff
2020-07-07
Andrew Reynolds
Transfer ownership of internal Options from NodeManager...
tree
|
commitdiff
2020-06-16
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2020-06-15
Aina Niemetz
BV: Add missing type check for INT_TO_BITVECTOR. (...
tree
|
commitdiff
2020-04-21
Andrew Reynolds
Update to sygus version 2 (#4372)
tree
|
commitdiff
2020-04-08
Andrew Reynolds
Fix dump models and dump proofs (#4230)
tree
|
commitdiff
next