projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Convert V2.5 SMT regressions to V2.6. (#4319)
[cvc5.git] / test / java /
2020-04-15 Andrew ReynoldsChange option names --default-dag-thresh and --default... tree | commitdiff
2019-03-26 Aina NiemetzUpdate copyright headers. tree | commitdiff
2018-10-19 Mathias PreinerRemove autotools build system. (#2639) tree | commitdiff
2018-10-01 Mathias Preinercmake: Add build target build-tests to build all test... tree | commitdiff
2018-09-26 Mathias Preinercmake: Fix test target dependency issues. (#2540) tree | commitdiff
2018-09-22 Mathias Preinercmake: Require JUnit version 4. tree | commitdiff
2018-09-22 Mathias Preinercmake: Compile Java tests and add to ctest if Java... tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-06-25 Aina NiemetzUpdated copyright headers. tree | commitdiff
2017-08-24 Pat HawksTest Java API on CI tree | commitdiff