summaryrefslogtreecommitdiff
path: root/src/main
AgeCommit message (Expand)Author
2021-05-17Split parser state from parser classparser-stateAndres Noetzli
2021-05-14Add new interface for parsing inputsinput-parserAndres Noetzli
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
2021-03-05Reimplement time limit mechanism for windows (#6049)Gereon Kremer
2021-03-04New C++ API: Clean up usage of internal Result. (#6043)Aina Niemetz
2021-02-23Switch to C++17. (#5959)Mathias Preiner
2020-12-23Dumping unsat cores after check-sat-assuming/QUERY (#5724)Haniel Barbosa
2020-12-11Flush statistics through NodeManager in SmtEngine (#5652)Andrew Reynolds
2020-12-02Update copyright headers.Aina Niemetz
2020-12-02Rename macro Message to CVC4Message. (#5576)Aina Niemetz
2020-11-30Eliminate uses of SExpr from the parser. (#5496)Abdalrhman Mohamed
2020-11-18Fix asan issues related to solver and symbol manager (#5457)Andrew Reynolds
2020-11-11Move symbol manager to src/expr/ (#5420)Andrew Reynolds
2020-11-11Pass symbol manager to commands (#5410)Andrew Reynolds
2020-11-09Add symbol manager (#5380)Andrew Reynolds
2020-09-22Refactor Commands to use the Public API. (#5105)Abdalrhman Mohamed
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-09-16Dump commands in internal code using command printing functions. (#5040)Abdalrhman Mohamed
2020-09-14Rename system tests to api tests and remove obsolete Java test. (#5066)Aina Niemetz
2020-09-02Drop {INCLUDE,LIBRARY,RUNTIME}_INSTALL_DIR variables in CMakeLists.txt (#4979)FabianWolff
2020-07-30When linking Editline, use 'pkg-config' to correctly find the link-time depen...Andrew V. Jones
2020-07-17Support for using 'libedit' over 'readline' #4571 (#4579)Andrew V. Jones
2020-07-15Fixes memory leak when an exception goes through runCvc4(). (Fixes #4590) (#4...Gereon Kremer
2020-07-13Implement --tlimit for windows (#4716)Gereon Kremer
2020-07-08Re-implement handling of --tlimit (#4655)Gereon Kremer
2020-07-07Transfer ownership of internal Options from NodeManager to SmtEngine (#4682)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback