summaryrefslogtreecommitdiff
path: root/src/expr/CMakeLists.txt
AgeCommit message (Expand)Author
2020-04-16Add ProofNodeManager and ProofChecker (#4317)Andrew Reynolds
2020-04-15Add ProofNode data structure (#4311)Andrew Reynolds
2020-03-31Remove replay and use-theory options and idl (#4186)Andrew Reynolds
2020-03-27Node traversal iterator (#3845)Alex Ozdemir
2020-03-18Move node visitor class from smt_util/ to expr/ (#4110)Alex Ozdemir
2020-02-20Remove front-end support for Chain (#3767)Andrew Reynolds
2019-12-05Introduce the Node-level Datatypes API (#3462)Andrew Reynolds
2019-11-15Introduce SyGuS datatype API (#3465)Andrew Reynolds
2019-11-05Refactor type matcher utility (#3439)Andrew Reynolds
2019-09-06Remove portfolio (#3236)Andrew Reynolds
2019-08-01Move some generic utilities out of quantifiers (#3139)Andrew Reynolds
2018-11-27Make (T)NodeTrie a general utility (#2489)Andrew Reynolds
2018-09-24cmake: Fix dependencies for code generation. (#2524)Mathias Preiner
2018-09-24cmake: Fix theory order #2. (#2522)Mathias Preiner
2018-09-22cmake: Only build libcvc4 and libcvc4parser as libraries.Mathias Preiner
2018-09-22cmake: Rebase with current master, add new tests/source files.Mathias Preiner
2018-09-22cmake: Add missing dependency.Mathias Preiner
2018-09-22cmake: Cleanup CMakeLists.txt files, remove SHARED.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