summaryrefslogtreecommitdiff
path: root/src/CMakeLists.txt
AgeCommit message (Expand)Author
2019-04-15Check for rt library in configuration -- support for glibc<2.17 (#2854)makaimann
2019-03-24 Split regular expression solver (#2891)Andrew Reynolds
2019-03-19Sygus abduction feature (#2744)Andrew Reynolds
2019-03-13Add statistics for proof gen./checking time, size (#2850)Andres Noetzli
2019-03-12Fix public headers for make install. (#2856)Mathias Preiner
2019-02-28ErProof class with LFSC output (#2812)Alex Ozdemir
2019-01-18Extract DIMACS Printing (#2800)Alex Ozdemir
2019-01-14ClausalBitvectorProof (#2786)Alex Ozdemir
2019-01-06[DRAT] DRAT data structure (#2767)Alex Ozdemir
2019-01-04[LRAT] A C++ data structure for LRAT. (#2737)Alex Ozdemir
2018-12-17 Configured for linking against drat2er (#2754)Alex Ozdemir
2018-12-14 [LRA Proof] Storage for LRA proofs (#2747)Alex Ozdemir
2018-12-11Remove alternate versions of mbqi (#2742)Andrew Reynolds
2018-12-03Bit vector proof superclass (#2599)Alex Ozdemir
2018-10-31Add optimized sygus enumeration (#2677)Andrew Reynolds
2018-10-19Sygus streaming non-implied predicates (#2660)Andrew Reynolds
2018-10-18Non-implied mode for model cores (#2653)Andrew Reynolds
2018-10-17Sygus query generator (#2465)Andrew Reynolds
2018-10-15cmake: Generate git_versioninfo.cpp on build time. (#2640)Mathias Preiner
2018-10-08BV instantiator: Factor out util functions. (#2604)Aina Niemetz
2018-10-08 BV inverter: Factor out util functions. (#2603)Aina Niemetz
2018-09-29Stream concrete values for variable agnostic enumerators (#2526)Haniel Barbosa
2018-09-24cmake: Fix theory order #2. (#2522)Mathias Preiner
2018-09-22cmake: Build fully static binaries with option --static.Mathias Preiner
2018-09-22cmake: Add more documentation, some fixes and cleanup.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 library versioning for libcvc4.so.Mathias Preiner
2018-09-22cmake: Rebase with current master, add new tests/source files.Mathias Preiner
2018-09-22cmake: Use target specific includes for libcvc4.Mathias Preiner
2018-09-22cmake: Add SWIG support + Python and Java bindings.Mathias Preiner
2018-09-22cmake: Fix some includes.Mathias Preiner
2018-09-22cmake: Cleanup CMakeLists.txt files, remove SHARED.Mathias Preiner
2018-09-22cmake: Add module finder for SymFPU.Mathias Preiner
2018-09-22cmake: Add libsignatures for proofs.Mathias Preiner
2018-09-22cmake: Working build infrastructure.Mathias Preiner
2018-09-22cmake: .cpp generation done, .h generation not yet completeAina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback