projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a8588cb) | patch
Rethrow rewrite in antlr_parser. Taking LT(0) to locate the error causes the build...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Tue, 2 Feb 2010 21:00:02 +0000 (21:00 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Tue, 2 Feb 2010 21:00:02 +0000 (21:00 +0000)
commitcea1eb23c8a0c8088bd1db9baad0567c3dbdbfa0
tree76ab569a73e79045ed5cef223b28e963543df1c8tree
parenta8588cb23c5257bb11a70348346476b55317faa3commit | diff
Rethrow rewrite in antlr_parser. Taking LT(0) to locate the error causes the build to break on 64-bit machines. Changed to LT(1), it works now, but i'll ask around how this actually works.
src/parser/antlr_parser.cpp diff | blob | history
src/parser/antlr_parser.h diff | blob | history
src/parser/cvc/cvc_parser.g diff | blob | history
src/parser/smt/smt_parser.g diff | blob | history