summaryrefslogtreecommitdiff
path: root/src/main
AgeCommit message (Expand)Author
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
2020-06-16Update copyright headers.Aina Niemetz
2020-06-15BV: Add missing type check for INT_TO_BITVECTOR. (#4613)Aina Niemetz
2020-04-21Update to sygus version 2 (#4372)Andrew Reynolds
2020-04-08Fix dump models and dump proofs (#4230)Andrew Reynolds
2020-03-31Remove replay and use-theory options and idl (#4186)Andrew Reynolds
2020-03-12New C++ API: Remove support for (reset). (#4037)Aina Niemetz
2020-03-05Enable -Wshadow and fix warnings. (#3909)Mathias Preiner
2020-02-26Remove portfolio leftovers (#3821)Andres Noetzli
2019-12-17Generate code for options with modes. (#3561)Mathias Preiner
2019-09-25Use separate CMake project for CVC4 examples. (#3196)Mathias Preiner
2019-09-06Remove portfolio (#3236)Andrew Reynolds
2019-09-06Remove SMT1 parser. (#3228)Mathias Preiner
2019-08-14Remove option --continued-execution. (#3189)Mathias Preiner
2019-04-24Do not use __ prefix for header guards. (#2974)Mathias Preiner
2019-03-26Update copyright headers.Aina Niemetz
2018-11-08cmake: Add option to explicitely enable/disable static binaries. (#2698)Mathias Preiner
2018-10-22CMake: Set PORTFOLIO_BUILD when building pcvc4 (#2666)Andres Noetzli
2018-10-19Remove autotools build system. (#2639)Mathias Preiner
2018-09-24cmake: Add program prefix option. (#2515)Mathias Preiner
2018-09-22cmake: Build fully static binaries with option --static.Mathias Preiner
2018-09-22cmake: More documentation, clean up.Aina Niemetz
2018-09-22cmake: Add make install rule.Mathias Preiner
2018-09-22cmake: Only build libcvc4 and libcvc4parser as libraries.Mathias Preiner
2018-09-22cmake: Add portfolio support.Mathias Preiner
2018-09-22cmake: Add support for CxxTest.Aina Niemetz
2018-09-22cmake: Do not set global output directories for binaries and libraries.Mathias Preiner
2018-09-22cmake: Add module finder for readline.Mathias Preiner
2018-09-22cmake: Generate token headers.Mathias Preiner
2018-09-22cmake: Cleanup CMakeLists.txt files, remove SHARED.Mathias Preiner
2018-09-22cmake: Working build infrastructure.Mathias Preiner
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-08-23Makes the filename be set in the SMT engine by default (#2366)Haniel Barbosa
2018-08-10Fix portfolio command executor for changes from #2240. (#2294)Aina Niemetz
2018-08-08Plug solver API object into parser. (#2240)Aina Niemetz
2018-08-07Require Swig 3 (#2283)Andres Noetzli
2018-08-07Delete functions instead of using CVC4_UNDEFINED (#1794)Andres Noetzli
2018-08-02Remove Subversion build info (#2250)Andres Noetzli
2018-08-01 InteractiveShell: Remove redundant options argument. (#2244)Aina Niemetz
2018-06-25Updated copyright headers.Aina Niemetz
2018-05-02Initial support for string standard in smt lib 2.6 (#1848)Andrew Reynolds
2018-03-06Make statistics output consistent. (#1647)Mathias Preiner
2018-02-02Restoring ostream format. Resolves a few CIDs 1362780. (#1543)Tim King
2018-01-08Removing more miscellaneous throw specifiers. (#1488)Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback