projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ecb0c7) | patch
Adding support for ANTLR checking in autogen.sh (config/antlr.m4). Commiting antlr...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Fri, 4 Dec 2009 04:06:54 +0000 (04:06 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Fri, 4 Dec 2009 04:06:54 +0000 (04:06 +0000)
commit7ae25006aa380df63469f593b523ddf6dd0d2e53
treef8da669e0d8e90ef463482e966b98ecb45d45ad0tree
parent9ecb0c727cf214809395afa0a1b615ea2e64f934commit | diff
Adding support for ANTLR checking in autogen.sh (config/antlr.m4). Commiting antlr SMT grammar that should compile, but is not yet integrated. Tests of compilation and antlr crashes appreciated.
.settings/org.eclipse.cdt.core.prefs diff | blob | history
config/antlr.m4 [new file with mode: 0644] blob
src/parser/Makefile.am diff | blob | history
src/parser/antlr_parser.cpp [new file with mode: 0644] blob
src/parser/antlr_parser.h [new file with mode: 0644] blob
src/parser/smt/Makefile.am [new file with mode: 0644] blob
src/parser/smt/SmtLexer.g [new file with mode: 0644] blob
src/parser/smt/SmtParser.g [new file with mode: 0644] blob