summaryrefslogtreecommitdiff
path: root/config/antlr.m4
AgeCommit message (Expand)Author
2017-08-14Use antlr-3.4 directory if already present in CVC4 root directory (#213)Mathias Preiner
2013-01-22update ANTLR URLs (antlr.org -> antlr3.org)Morgan Deters
2012-08-28fixes for Mac and automake 1.12 detectionMorgan Deters
2012-06-13Don't use the "inlined" feature of ANTLR 3.2, which causes a buffer overflow ...Morgan Deters
2012-03-30fixing some build systme warningsDejan Jovanović
2011-10-04oops, one more fix, hopefully the lastMorgan Deters
2011-10-04Yet Another Antlr3 Mod---this time, all my fault: for configuration auto-dete...Morgan Deters
2011-10-04more fixes for libantlr3c v3.4Morgan Deters
2011-10-04support for configure-discovery of antlr3-3.4-beta4Morgan Deters
2010-06-03Changing ANTLR3 detection in configure (Fixes #147)Christopher L. Conway
2010-06-01Checking for executable permission on antlr3 scriptChristopher L. Conway
2010-04-04* Node::isAtomic() now looks at an "atomic" attribute of argumentsMorgan Deters
2010-04-01PARSER STUFF:Morgan Deters
2010-03-30Merging from branches/antlr3 (r246:354)Christopher L. Conway
2009-12-16Standardizing configure arguments for ANTLR/CxxTestChristopher L. Conway
2009-12-16Fixes to the build system:Morgan Deters
2009-12-09some fixes and organizational adjustments to assert code, parsers/lexers, and...Morgan Deters
2009-12-04more build system workMorgan Deters
2009-12-04Adding support for ANTLR checking in autogen.sh (config/antlr.m4). Commiting ...Dejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback