Age | Commit message (Expand) | Author |
---|---|---|
2019-10-08 | cmake: Fix include of CVC4JavaTargets.cmake. (#3373) | Mathias Preiner |
2019-09-25 | Use separate CMake project for CVC4 examples. (#3196) | Mathias Preiner |
2019-08-14 | cmake: Export CVC4 library interface. (#3179) | Mathias Preiner |