Age | Commit message (Expand) | Author |
---|---|---|
2019-09-06 | Remove portfolio (#3236) | Andrew Reynolds |
2019-08-01 | Move some generic utilities out of quantifiers (#3139) | Andrew Reynolds |
2018-11-27 | Make (T)NodeTrie a general utility (#2489) | Andrew Reynolds |
2018-09-24 | cmake: Fix dependencies for code generation. (#2524) | Mathias Preiner |
2018-09-24 | cmake: Fix theory order #2. (#2522) | Mathias Preiner |
2018-09-22 | cmake: Only build libcvc4 and libcvc4parser as libraries. | Mathias Preiner |
2018-09-22 | cmake: Rebase with current master, add new tests/source files. | Mathias Preiner |
2018-09-22 | cmake: Add missing dependency. | Mathias Preiner |
2018-09-22 | cmake: Cleanup CMakeLists.txt files, remove SHARED. | Mathias Preiner |
2018-09-22 | cmake: Working build infrastructure. | Mathias Preiner |
2018-09-22 | cmake: .cpp generation done, .h generation not yet complete | Aina Niemetz |
2018-09-22 | cmake: Added initial build infrastructure. | Aina Niemetz |