projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[proof-new] Improving cycle checking in lazycdproofchain (#5302)
[cvc5.git] / test / java /
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... tree | commitdiff
2020-06-18 Andres NoetzliImprove memory management in Java bindings (#4629) tree | commitdiff
2020-06-16 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-06-05 Andres NoetzliUpdate Java tests to match changes in API (#4535) tree | commitdiff
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