summaryrefslogtreecommitdiff
path: root/src/CMakeLists.txt
AgeCommit message (Expand)Author
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