projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'master' of github.com:tiliang/CVC4
[cvc5.git] / .settings /
2012-10-05 Dejan JovanovićBoolExpr removed and replaced with Expr tree | commitdiff
2012-05-08 Liana HadareanMerging in bvprop branch, with proper bit-vector propag... tree | commitdiff
2010-03-30 Christopher L. ConwayMerging from branches/antlr3 (r246:354) tree | commitdiff
2010-03-08 Dejan Jovanovićadding simple-uf to the regressions, and the code that... tree | commitdiff
2009-12-17 Christopher L. ConwayCvcParserBlack and supporting Makefile changes tree | commitdiff
2009-12-07 Dejan Jovanovićantlr parser for the cvc4 language (boolean only) tree | commitdiff
2009-12-04 Dejan JovanovićAdding support for ANTLR checking in autogen.sh (config... tree | commitdiff
2009-12-03 Dejan JovanovićEclipse CVC4 settings (with code style) tree | commitdiff