summaryrefslogtreecommitdiff
path: root/src/main
AgeCommit message (Expand)Author
2021-08-30Refactor filename handling (#7088)Gereon Kremer
2021-08-27Add Driver options (#7078)Gereon Kremer
2021-08-27Handle languages as strings in driver (#7074)Gereon Kremer
2021-08-26Dump models for isNotEntailed results (#7071)Andrew Reynolds
2021-08-26Consolidate language types (#7065)Gereon Kremer
2021-08-23Move options parsing code to main (#7054)Gereon Kremer
2021-08-23Use options correctly in competition mode (#7053)Gereon Kremer
2021-08-20Make driver use options from the solver (#6930)Gereon Kremer
2021-08-20Add CVC5ApiOptionException (#6992)Gereon Kremer
2021-08-19Remove `--(no-)interactive-prompt` (#7022)Andres Noetzli
2021-08-04Consolidate solver resets (#6986)Gereon Kremer
2021-08-04Add optional debug information for dumping instantiations (#6950)Andrew Reynolds
2021-08-03Properly honor --stats-all and --stats-expert when printing statistics (#6967)Gereon Kremer
2021-07-31Perform statistics printing via the API (#6952)Gereon Kremer
2021-07-28Only use libedit on tty inputs (#6946)Gereon Kremer
2021-07-26Move public options functions to separate file (#6671)Gereon Kremer
2021-07-14Clean up option usage in command executor (#6844)Gereon Kremer
2021-06-23Remove `--tear-down-incremental` (#6745)Andres Noetzli
2021-06-15Remove public option wrappers (#6716)Gereon Kremer
2021-06-09Push complex check inside GetInstantiationsCommand (#6715)Gereon Kremer
2021-06-08Remove `binary_name` option (#6693)Gereon Kremer
2021-06-06Support public option modules (#6691)Gereon Kremer
2021-06-04Add missing dereference (#6684)Gereon Kremer
2021-06-02Use proper variable name (#6670)Gereon Kremer
2021-06-02Move public wrapper functions out of options class (#6600)Gereon Kremer
2021-05-14Decouple parser creation from input selection (#6533)Andres Noetzli
2021-05-13Always parse streams with line buffer (#6532)Andres Noetzli
2021-05-12Use signal(sig, SIG_DFL); raise(sig); instead of abort() (#6518)Gereon Kremer
2021-04-28Remove exception headers from options.h (#6456)Gereon Kremer
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-15Rename occurrences of CVC4 to CVC5. (#6351)Aina Niemetz
2021-04-14Refactor / reimplement statistics (#6162)Gereon Kremer
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-09Rename CVC4_ macros to CVC5_. (#6327)Aina Niemetz
2021-04-09Rename CVC4__ header guards to CVC5__. (#6326)Aina Niemetz
2021-04-05New C++ Api: Rename and move headers. (#6292)Aina Niemetz
2021-04-02cmake: Do not link against main object library. (#6269)Mathias Preiner
2021-04-02Minor refactoring (#6273)Gereon Kremer
2021-04-01Refactor CLN dependency & Cleanup (#6251)Gereon Kremer
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-31Refactor GMP and Poly dependencies (#6245)Gereon Kremer
2021-03-31Refactor SymFPU dependency (#6218)Gereon Kremer
2021-03-30Fix total time statistic (#6233)Gereon Kremer
2021-03-22Move statistics from the driver into the SmtEngine (#6170)Gereon Kremer
2021-03-18Eliminate more uses of SExpr. (#6149)Abdalrhman Mohamed
2021-03-16cmake: Generate cvc4_export.h and set visibility to hidden. (#6139)Mathias Preiner
2021-03-11First refactoring of statistics classes (#6105)Gereon Kremer
2021-03-10Use Assert instead of assert. (#6095)Mathias Preiner
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback