projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
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 Deters
Support for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF...
blob
|
commitdiff
|
raw
2011-10-04
Morgan Deters
cvc3 compatibility layer; and another libantlr3c v3...
blob
|
commitdiff
|
raw
|
diff to current
2011-10-04
Morgan Deters
Oh, here's another cute compatibility fix for libantlr3...
blob
|
commitdiff
|
raw
|
diff to current
2011-09-02
Morgan Deters
Merge from my post-smtcomp branch. Includes:
blob
|
commitdiff
|
raw
|
diff to current
2011-09-02
Morgan Deters
Partial merge of integers work; this is simple B&B...
blob
|
commitdiff
|
raw
|
diff to current
2011-06-03
Andrew Reynolds
fixed various bugs related to ambiguous parametric...
blob
|
commitdiff
|
raw
|
diff to current
2011-06-03
Morgan Deters
datatypes work
blob
|
commitdiff
|
raw
|
diff to current
2011-06-01
Morgan Deters
type ascriptions (casts) for parameterized datatypes...
blob
|
commitdiff
|
raw
|
diff to current
2011-05-13
Andrew Reynolds
added support for parametric datatypes, updated cvc...
blob
|
commitdiff
|
raw
|
diff to current
2011-05-05
Morgan Deters
Merge from nonclausal-simplification-v2 branch:
blob
|
commitdiff
|
raw
|
diff to current
2011-05-03
Morgan Deters
output fixes for performance
blob
|
commitdiff
|
raw
|
diff to current
2011-05-02
Morgan Deters
Minor fixes to various parts of CVC4, including the...
blob
|
commitdiff
|
raw
|
diff to current
2011-04-25
Morgan Deters
Weekend work. The main points:
blob
|
commitdiff
|
raw
|
diff to current
2011-04-23
Morgan Deters
fix 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 Deters
numerous bugfixes
blob
|
commitdiff
|
raw
|
diff to current
2011-04-20
Morgan Deters
Minor mixed-bag commit. Expected performance impact...
blob
|
commitdiff
|
raw
|
diff to current
2011-04-20
Morgan Deters
Tuesday end-of-day commit.
blob
|
commitdiff
|
raw
|
diff to current
2011-04-18
Morgan Deters
more work on CVC language
blob
|
commitdiff
|
raw
|
diff to current
2011-04-18
Morgan Deters
mostly CVC presentation language parsing and printing
blob
|
commitdiff
|
raw
|
diff to current
2011-04-18
Morgan Deters
Partial merge from datatypes-merge branch:
blob
|
commitdiff
|
raw
|
diff to current
2011-04-13
Morgan Deters
add disequality token ("/=") and rules to CVC parser
blob
|
commitdiff
|
raw
|
diff to current
2011-03-05
Morgan Deters
adding three features to CVC parser that drastically...
blob
|
commitdiff
|
raw
|
diff to current
2010-10-20
Christopher L. Conway
Fixing minor whitespace bug in the parser
blob
|
commitdiff
|
raw
|
diff to current
2010-07-06
Christopher L. Conway
Adding arithmetic symbols to CVC parser (Fixes: #176)
blob
|
commitdiff
|
raw
|
diff to current
2010-07-06
Morgan Deters
Fixes 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. Conway
Fixing private/public header warnings in parser library
blob
|
commitdiff
|
raw
|
diff to current
2010-04-28
Christopher L. Conway
Refactoring 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. Conway
Minor refactorings, in response to code review (Bug...
blob
|
commitdiff
|
raw
|
diff to current
2010-04-02
Christopher L. Conway
Overriding ANTLR3 error recovery routine
blob
|
commitdiff
|
raw
|
diff to current
2010-04-01
Christopher L. Conway
Parser tweaks to address review
blob
|
commitdiff
|
raw
|
diff to current
2010-04-01
Morgan Deters
reran update-copyright.pl to get new contributors and...
blob
|
commitdiff
|
raw
|
diff to current
2010-04-01
Morgan Deters
PARSER STUFF:
blob
|
commitdiff
|
raw
|
diff to current
2010-03-31
Christopher L. Conway
Finishing parser cleanup. Code is now review-ready.
blob
|
commitdiff
|
raw
|
diff to current
2010-03-31
Christopher L. Conway
More parser cleanup. Should fix problems with last...
blob
|
commitdiff
|
raw
|
diff to current
2010-03-31
Christopher L. Conway
Code cleanup in parser
blob
|
commitdiff
|
raw
|
diff to current
2010-03-30
Christopher L. Conway
Merging from branches/antlr3 (r246:354)
blob
|
commitdiff
|
raw
|
diff to current