projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 09f28a6) | patch
Oh, here's another cute compatibility fix for libantlr3c 3.4-beta4. They #define...
authorMorgan Deters <mdeters@gmail.com>
Tue, 4 Oct 2011 01:25:35 +0000 (01:25 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 4 Oct 2011 01:25:35 +0000 (01:25 +0000)
commit87ea8ded0593debfda9d649bcce086286247c9fd
treeefb863e5f6b81f375926e52f7e8dd8fdecd7318etree
parent09f28a6a107e2599c2f53d1dd8d201d8c18e625fcommit | diff
Oh, here's another cute compatibility fix for libantlr3c 3.4-beta4.  They #define true and false to their own ANTLR3_TRUE and ANTLR3_FALSE, wreaking havoc on our parsers.  I'm really fed up with this package.
src/parser/cvc/Cvc.g diff | blob | history
src/parser/smt/Smt.g diff | blob | history
src/parser/smt2/Smt2.g diff | blob | history