summaryrefslogtreecommitdiff
path: root/CMakeLists.txt
AgeCommit message (Expand)Author
2021-12-01Enable Java examples (#7702)mudathirmahgoub
2021-11-30Remove now unused dumping infrastructure (#7703)Gereon Kremer
2021-11-24Always enable API black box unit tests (#7696)Andres Noetzli
2021-11-24cmake: Add option --[no]-static-binary. (#7695)Mathias Preiner
2021-11-09cmake: Use fastcov for generating coverage reports. (#7594)Mathias Preiner
2021-11-04Refactor cmake to build either static or shared (#7534)Gereon Kremer
2021-11-01bv: Remove layered solver. (#7455)Mathias Preiner
2021-11-01Add fuzzing target for murxla (#7490)Gereon Kremer
2021-10-28Combine `--static` and `--static-binary` (#7520)Gereon Kremer
2021-10-28Add support for checking if a `-Wno` flag exists before using it (#7514)Andrew V. Jones
2021-10-21Add setup to generate graphs for cmake target dependencies (#7383)Gereon Kremer
2021-10-11Add CI workflow to test different cmake versions (#7254)Gereon Kremer
2021-10-07Add a binary / SMT-LIB quickstart (#7315)Gereon Kremer
2021-10-07Add new versioning scheme (#7253)Gereon Kremer
2021-10-07Fix/Improve static and shared builds with CLN or Poly (#7306)Gereon Kremer
2021-10-05Reformulate (#7305)Gereon Kremer
2021-09-30Refactor our static builds (#7251)Gereon Kremer
2021-09-29remove stuff (#7258)Gereon Kremer
2021-09-20Optionally enable interprocedural optimization (#7209)Andres Noetzli
2021-08-10Disable external initialization of `thread_local` variables (#7004)Andres Noetzli
2021-07-23Configuration: Indicate dependencies being built (#6921)Andres Noetzli
2021-06-24cmake: Add new code coverage targets. (#6796)Mathias Preiner
2021-06-21Make CaDiCaL a required dependency. (#6761)Mathias Preiner
2021-06-16Make symfpu a required dependency. (#6749)Aina Niemetz
2021-06-15Add cocoalib (#6731)Gereon Kremer
2021-05-25[Unit tests] Fix path of Java bindings (#6616)Andres Noetzli
2021-04-22cmake: Do not require --auto-download for already downloaded dependencies. (#...Mathias Preiner
2021-04-22Remove unused stuff from options setup (#6422)Gereon Kremer
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-16Refactor cmake: auto-download and default-on dependencies (#6355)Gereon Kremer
2021-04-12Only require GMP 6.1 (#6332)Gereon Kremer
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-09Rename CVC4_ macros to CVC5_. (#6327)Aina Niemetz
2021-04-07New C++ Api: Initial setup of Api documentation. (#6295)Aina Niemetz
2021-04-01Refactor CLN dependency & Cleanup (#6251)Gereon Kremer
2021-03-29Fix configuration printing. (#6236)Aina Niemetz
2021-03-27Refactor ANTLR3 dependency (#6202)Gereon Kremer
2021-03-26Use color output to print configuration. (#6219)Aina Niemetz
2021-03-23Removing unused build options and deprecated proof compile flag (#6195)Haniel Barbosa
2021-03-20Generate cvc/Kind.java for the java API (#6143)mudathirmahgoub
2021-03-16ci: Enable checking of proofs + unsat cores. (#6088)Mathias Preiner
2021-03-16cmake: Generate cvc4_export.h and set visibility to hidden. (#6139)Mathias Preiner
2021-03-10cmake: Fix optimization level for debug builds. (#6097)Mathias Preiner
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-03-04Add cmake scripts for iwyu targets. (#6042)Gereon Kremer
2021-03-03Remove obsolete gcc check. (#6041)Gereon Kremer
2021-03-02Remove obsolete dependency on CxxTest. (#6038)Aina Niemetz
2021-03-01Make -Werror optional but enable it for CI. (#6032)Mathias Preiner
2021-02-24Enable -Werror. (#5969)Mathias Preiner
2021-02-23Switch to C++17. (#5959)Mathias Preiner
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback