projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
+ test infrastructure fixes
[cvc5.git] / test / regress /
2009-12-17 Morgan Detersbuild system cleanup; test system separation into white... tree | commitdiff
2009-12-17 Morgan Deterssupport nonstandard, unconfigured builds (e.g., ".... tree | commitdiff
2009-12-16 Morgan DetersFixes to the build system: tree | commitdiff
2009-12-11 Morgan Detersbuild fixes, configuration simplifications tree | commitdiff
2009-12-08 Morgan Deterscheck in automake/libtool/autoconf-generated files... tree | commitdiff
2009-12-08 Morgan Detersbroken formula tree | commitdiff
2009-12-07 Morgan Detersfixing a few broken build-related items, adding test... tree | commitdiff
2009-11-20 Morgan Detersfixes to build/test system tree | commitdiff