projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Tuesday end-of-day commit.
[cvc5.git]
/
src
/
parser
/
parser.h
2011-04-20
Morgan Deters
Tuesday end-of-day commit.
blob
|
commitdiff
|
raw
2011-04-18
Morgan Deters
Partial merge from datatypes-merge branch:
blob
|
commitdiff
|
raw
|
diff to current
2011-04-10
Morgan Deters
merge from replay branch
blob
|
commitdiff
|
raw
|
diff to current
2010-10-31
Morgan Deters
enable dependence graphs in doxygen; fix lots of doxyge...
blob
|
commitdiff
|
raw
|
diff to current
2010-10-26
Christopher L. Conway
Cleaning up some header files
blob
|
commitdiff
|
raw
|
diff to current
2010-10-23
Christopher L. Conway
Adding Parser::setInput and using it in InteractiveShel...
blob
|
commitdiff
|
raw
|
diff to current
2010-10-20
Christopher L. Conway
Adding support for interactive mode
blob
|
commitdiff
|
raw
|
diff to current
2010-10-09
Morgan Deters
reverting some changes to parser from last commit
blob
|
commitdiff
|
raw
|
diff to current
2010-10-09
Morgan Deters
support for SMT-LIBv2 :named attributes, and attributes...
blob
|
commitdiff
|
raw
|
diff to current
2010-10-06
Morgan Deters
declare-sort, define-sort working but not thoroughly...
blob
|
commitdiff
|
raw
|
diff to current
2010-10-05
Morgan Deters
parser and core support for SMT-LIBv2 commands get...
blob
|
commitdiff
|
raw
|
diff to current
2010-07-02
Morgan Deters
re-generated comment headers of source files
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-12
Christopher L. Conway
Adding ParserBuilder, reducing visibility of Parser...
blob
|
commitdiff
|
raw
|
diff to current
2010-05-12
Christopher L. Conway
true and false are only defined if the core theory...
blob
|
commitdiff
|
raw
|
diff to current
2010-05-12
Christopher L. Conway
Adding class Smt2 to handle declaration of logic and...
blob
|
commitdiff
|
raw
|
diff to current
2010-05-06
Christopher L. Conway
Adding --strict-parsing option
blob
|
commitdiff
|
raw
|
diff to current
2010-04-29
Dejan Jovanović
Added the capability to construct expressions by passin...
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-03-30
Christopher L. Conway
Merging from branches/antlr3 (r246:354)
blob
|
commitdiff
|
raw
2010-02-27
Christopher L. Conway
Adding --mmap option to use memory-mapped file input...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-22
Morgan Deters
* configure.ac: Remove doc/ from search path for Makefi...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-18
Christopher L. Conway
Adding --no-checking option to disable semantic checks...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-04
Morgan Deters
remove -*- c++ -*- emacs tag from source files (it...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-04
Morgan Deters
minor fix for update-copyright.pl; ran update-copyright...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-03
Morgan Deters
Addressed many of the concerns of bug 10 (build system...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-01
Dejan Jovanović
Fixing the CVC grammar for parsing Boolean expressions...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-18
Morgan Deters
more build system fix-ups
blob
|
commitdiff
|
raw
|
diff to current
2009-12-18
Dejan Jovanović
Lots of parser changes to make Chris happy. Yet more...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-17
Morgan Deters
update-copyright.pl now retrieves and incorporates...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-11
Dejan Jovanović
Extracted the public Expr and ExprManager interface...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-10
Dejan Jovanović
killing expr into node...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-09
Morgan Deters
some fixes and organizational adjustments to assert...
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
Morgan Deters
parsing/expr/command/result/various other fixes
blob
|
commitdiff
|
raw
|
diff to current
2009-11-26
Dejan Jovanović
Enough parsing for tonight. Added:
blob
|
commitdiff
|
raw
|
diff to current
2009-11-25
Morgan Deters
additional work on parser hookup, configuration + build
blob
|
commitdiff
|
raw
|
diff to current
2009-11-24
Morgan Deters
various fixes and updates to use and support parser
blob
|
commitdiff
|
raw
|
diff to current
2009-11-19
Morgan Deters
testing framework, configure fixes, incorporations...
blob
|
commitdiff
|
raw
|
diff to current
2009-11-17
Morgan Deters
from meeting
blob
|
commitdiff
|
raw
|
diff to current