projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix bug 476: when CxxTest is not found, make the error less fatal-looking
[cvc5.git] / .gitignore
2012-06-11 Morgan DetersMerge from quantifiers2-trunkmerge branch. blob | commitdiff | raw
2012-02-20 Morgan Detersportfolio merge blob | commitdiff | raw | diff to current
2010-07-07 Christopher L. ConwayAdding config.reconfig to .gitignore blob | commitdiff | raw | diff to current
2010-05-27 Christopher L. ConwayAdding .cvc4_config to .gitignore blob | commitdiff | raw | diff to current
2010-04-05 Christopher L. ConwayIgnoring gcov files blob | commitdiff | raw | diff to current
2010-04-01 Christopher L. ConwayAdding newly generated files blob | commitdiff | raw | diff to current
2010-03-31 Christopher L. ConwayAdding 'generated/' to .gitignore blob | commitdiff | raw | diff to current
2010-03-30 Christopher L. ConwayRemoving unnecessary .gitignores blob | commitdiff | raw | diff to current
2010-03-30 Christopher L. ConwayMerging from branches/antlr3 (r246:354) blob | commitdiff | raw | diff to current