projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
remove some debugging code that slowed down last night's regressions
[cvc5.git] / .project
2010-04-15 Christopher L. ConwayRemoving horrible, system-locking option from Eclipse... blob | commitdiff | raw
2010-04-14 Dejan JovanovićMarging from types 404:415, changes: Massive blob | commitdiff | raw | diff to current
2010-03-30 Christopher L. ConwayMerging from branches/antlr3 (r246:354) blob | commitdiff | raw | diff to current
2010-03-10 Christopher L. ConwayAdding preliminary let/flet support to SMT parser ... blob | commitdiff | raw | diff to current
2009-12-17 Christopher L. ConwayCvcParserBlack and supporting Makefile changes blob | commitdiff | raw | diff to current
2009-12-07 Dejan Jovanovićantlr parser for the cvc4 language (boolean only) blob | commitdiff | raw | diff to current
2009-12-06 Dejan JovanovićBig chunk of changes: blob | commitdiff | raw | diff to current
2009-12-03 Dejan JovanovićEclipse CVC4 settings (with code style) blob | commitdiff | raw | diff to current