projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
New C++ API: Fix isDefinedKind() to not be ambigious with respect to … (#2384)
[cvc5.git]
/
config
/
antlr.m4
2017-08-24
Andrew Reynolds
Merge pull request #191 from timothy-king/cleanup-regexp
blob
|
commitdiff
|
raw
2017-08-14
Mathias Preiner
Use antlr-3.4 directory if already present in CVC4...
blob
|
commitdiff
|
raw
2013-02-02
lianah
merged master into branch
blob
|
commitdiff
|
raw
|
diff to current
2013-01-22
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-22
Morgan Deters
update ANTLR URLs (antlr.org -> antlr3.org)
blob
|
commitdiff
|
raw
|
diff to current
2012-08-28
Morgan Deters
fixes for Mac and automake 1.12 detection
blob
|
commitdiff
|
raw
|
diff to current
2012-06-13
Morgan Deters
Don'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 Deters
oops, one more fix, hopefully the last
blob
|
commitdiff
|
raw
|
diff to current
2011-10-04
Morgan Deters
Yet Another Antlr3 Mod---this time, all my fault: for...
blob
|
commitdiff
|
raw
|
diff to current
2011-10-04
Morgan Deters
more fixes for libantlr3c v3.4
blob
|
commitdiff
|
raw
|
diff to current
2011-10-04
Morgan Deters
support for configure-discovery of antlr3-3.4-beta4
blob
|
commitdiff
|
raw
|
diff to current
2010-06-03
Christopher L. Conway
Changing ANTLR3 detection in configure (Fixes #147)
blob
|
commitdiff
|
raw
|
diff to current
2010-06-01
Christopher L. Conway
Checking 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 Deters
PARSER STUFF:
blob
|
commitdiff
|
raw
|
diff to current
2010-03-30
Christopher L. Conway
Merging from branches/antlr3 (r246:354)
blob
|
commitdiff
|
raw
|
diff to current
2009-12-16
Christopher L. Conway
Standardizing configure arguments for ANTLR/CxxTest
blob
|
commitdiff
|
raw
|
diff to current
2009-12-16
Morgan Deters
Fixes to the build system:
blob
|
commitdiff
|
raw
|
diff to current
2009-12-09
Morgan Deters
some fixes and organizational adjustments to assert...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-04
Morgan Deters
more 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