projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Minor fixes to get-abc script and configure stuff.
[cvc5.git] / config / antlr.m4
2013-02-02 lianahmerged master into branch blob | commitdiff | raw
2013-01-22 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw
2013-01-22 Morgan Detersupdate ANTLR URLs (antlr.org -> antlr3.org) blob | commitdiff | raw
2012-08-28 Morgan Detersfixes for Mac and automake 1.12 detection blob | commitdiff | raw | diff to current
2012-06-13 Morgan DetersDon't use the "inlined" feature of ANTLR 3.2, which... blob | commitdiff | raw | diff to current
2012-03-30 Dejan Jovanovićfixing some build systme warnings blob | commitdiff | raw | diff to current
2011-10-04 Morgan Detersoops, one more fix, hopefully the last blob | commitdiff | raw | diff to current
2011-10-04 Morgan DetersYet Another Antlr3 Mod---this time, all my fault: for... blob | commitdiff | raw | diff to current
2011-10-04 Morgan Detersmore fixes for libantlr3c v3.4 blob | commitdiff | raw | diff to current
2011-10-04 Morgan Deterssupport for configure-discovery of antlr3-3.4-beta4 blob | commitdiff | raw | diff to current
2010-06-03 Christopher L. ConwayChanging ANTLR3 detection in configure (Fixes #147) blob | commitdiff | raw | diff to current
2010-06-01 Christopher L. ConwayChecking for executable permission on antlr3 script blob | commitdiff | raw | diff to current
2010-04-04 Morgan Deters* Node::isAtomic() now looks at an "atomic" attribute... blob | commitdiff | raw | diff to current
2010-04-01 Morgan DetersPARSER STUFF: blob | commitdiff | raw | diff to current
2010-03-30 Christopher L. ConwayMerging from branches/antlr3 (r246:354) blob | commitdiff | raw | diff to current
2009-12-16 Christopher L. ConwayStandardizing configure arguments for ANTLR/CxxTest blob | commitdiff | raw | diff to current
2009-12-16 Morgan DetersFixes to the build system: blob | commitdiff | raw | diff to current
2009-12-09 Morgan Deterssome fixes and organizational adjustments to assert... blob | commitdiff | raw | diff to current
2009-12-04 Morgan Detersmore build system work blob | commitdiff | raw | diff to current
2009-12-04 Dejan JovanovićAdding support for ANTLR checking in autogen.sh (config... blob | commitdiff | raw | diff to current