projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Support for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF command, SmtEngine::getProof...
[cvc5.git] / src / parser / cvc / Cvc.g
2011-10-29 Morgan DetersSupport for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF... blob | commitdiff | raw
2011-10-04 Morgan Deterscvc3 compatibility layer; and another libantlr3c v3... blob | commitdiff | raw | diff to current
2011-10-04 Morgan DetersOh, here's another cute compatibility fix for libantlr3... blob | commitdiff | raw | diff to current
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: blob | commitdiff | raw | diff to current
2011-09-02 Morgan DetersPartial merge of integers work; this is simple B&B... blob | commitdiff | raw | diff to current
2011-06-03 Andrew Reynoldsfixed various bugs related to ambiguous parametric... blob | commitdiff | raw | diff to current
2011-06-03 Morgan Detersdatatypes work blob | commitdiff | raw | diff to current
2011-06-01 Morgan Deterstype ascriptions (casts) for parameterized datatypes... blob | commitdiff | raw | diff to current
2011-05-13 Andrew Reynoldsadded support for parametric datatypes, updated cvc... blob | commitdiff | raw | diff to current
2011-05-05 Morgan DetersMerge from nonclausal-simplification-v2 branch: blob | commitdiff | raw | diff to current
2011-05-03 Morgan Detersoutput fixes for performance blob | commitdiff | raw | diff to current
2011-05-02 Morgan DetersMinor fixes to various parts of CVC4, including the... blob | commitdiff | raw | diff to current
2011-04-25 Morgan DetersWeekend work. The main points: blob | commitdiff | raw | diff to current
2011-04-23 Morgan Detersfix for parser/tests for ANTLR 3.2 (it was working... blob | commitdiff | raw | diff to current
2011-04-23 Morgan Deters* reviewed BooleanSimplification, added documentation... blob | commitdiff | raw | diff to current
2011-04-20 Morgan Detersnumerous bugfixes blob | commitdiff | raw | diff to current
2011-04-20 Morgan DetersMinor mixed-bag commit. Expected performance impact... blob | commitdiff | raw | diff to current
2011-04-20 Morgan DetersTuesday end-of-day commit. blob | commitdiff | raw | diff to current
2011-04-18 Morgan Detersmore work on CVC language blob | commitdiff | raw | diff to current
2011-04-18 Morgan Detersmostly CVC presentation language parsing and printing blob | commitdiff | raw | diff to current
2011-04-18 Morgan DetersPartial merge from datatypes-merge branch: blob | commitdiff | raw | diff to current
2011-04-13 Morgan Detersadd disequality token ("/=") and rules to CVC parser blob | commitdiff | raw | diff to current
2011-03-05 Morgan Detersadding three features to CVC parser that drastically... blob | commitdiff | raw | diff to current
2010-10-20 Christopher L. ConwayFixing minor whitespace bug in the parser blob | commitdiff | raw | diff to current
2010-07-06 Christopher L. ConwayAdding arithmetic symbols to CVC parser (Fixes: #176) blob | commitdiff | raw | diff to current
2010-07-06 Morgan DetersFixes for doubled-statistics (bug 171), a fix to muzzle... blob | commitdiff | raw | diff to current
2010-06-04 Morgan Deters** Don't fear the files-changed list, almost all change... blob | commitdiff | raw | diff to current
2010-05-01 Christopher L. ConwayFixing private/public header warnings in parser library blob | commitdiff | raw | diff to current
2010-04-28 Christopher L. ConwayRefactoring Input/Parser code to support external manip... 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-04-05 Christopher L. ConwayMinor refactorings, in response to code review (Bug... blob | commitdiff | raw | diff to current
2010-04-02 Christopher L. ConwayOverriding ANTLR3 error recovery routine blob | commitdiff | raw | diff to current
2010-04-01 Christopher L. ConwayParser tweaks to address review blob | commitdiff | raw | diff to current
2010-04-01 Morgan Detersreran update-copyright.pl to get new contributors and... blob | commitdiff | raw | diff to current
2010-04-01 Morgan DetersPARSER STUFF: blob | commitdiff | raw | diff to current
2010-03-31 Christopher L. ConwayFinishing parser cleanup. Code is now review-ready. blob | commitdiff | raw | diff to current
2010-03-31 Christopher L. ConwayMore parser cleanup. Should fix problems with last... blob | commitdiff | raw | diff to current
2010-03-31 Christopher L. ConwayCode cleanup in parser blob | commitdiff | raw | diff to current
2010-03-30 Christopher L. ConwayMerging from branches/antlr3 (r246:354) blob | commitdiff | raw | diff to current