projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Adding an option to the equality engine constructor to treat all constants as
[cvc5.git] / .cproject
2014-12-27 Dejan JovanovicAdding an option to the equality engine constructor... blob | commitdiff | raw
2014-05-08 Dejan JovanovicAdding encoding of sha1 collision for the hashing example blob | commitdiff | raw | diff to current
2013-03-20 Liana Hadareanmerged master with dejan's constant evaluating equality... blob | commitdiff | raw | diff to current
2013-03-20 Dejan JovanovićAdding evaluation of constant terms to the equality... blob | commitdiff | raw | diff to current
2012-10-05 Dejan JovanovićBoolExpr removed and replaced with Expr blob | commitdiff | raw | diff to current
2012-03-26 Dejan JovanovićGlobal registry of SAT solvers, where they are register... blob | commitdiff | raw | diff to current
2012-03-26 Dejan Jovanovićmore datail from the build failure blob | commitdiff | raw | diff to current
2012-03-08 Dejan JovanovićRemoving QUICK_CHECK, and other unused ones, from the... blob | commitdiff | raw | diff to current
2012-03-02 Dejan JovanovićCDMap -> CDHashMap blob | commitdiff | raw | diff to current
2011-07-09 Dejan Jovanovićsurprize surprize blob | commitdiff | raw | diff to current
2010-05-13 Christopher L. ConwayMinor refactorings to PropEngine, SatSolver blob | commitdiff | raw | diff to current
2010-04-29 Christopher L. ConwayFirst draft implementation of SMT v2 parser blob | commitdiff | raw | diff to current
2010-04-15 Christopher L. ConwayRemoving horrible, system-locking option from Eclipse... blob | commitdiff | raw | diff to current
2010-04-14 Dejan JovanovićMarging from types 404:415, changes: Massive blob | commitdiff | raw | diff to current
2010-02-10 Dejan Jovanovićfixing annoying eclipse build settings, no more broken... 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
2009-11-26 Dejan JovanovićCommands and the eclipse C++ project settings. blob | commitdiff | raw | diff to current