projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87ea8de) | patch
Yet Another Antlr3 Mod---this time, all my fault: for configuration auto-detection...
authorMorgan Deters <mdeters@gmail.com>
Tue, 4 Oct 2011 01:42:45 +0000 (01:42 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 4 Oct 2011 01:42:45 +0000 (01:42 +0000)
commite92cc97ab7eea62b97cfea9f9fa08d4b6719be77
treeaa59529618743e04466304141144d0c4755fb0fctree
parent87ea8ded0593debfda9d649bcce086286247c9fdcommit | diff
Yet Another Antlr3 Mod---this time, all my fault: for configuration auto-detection of libantlr3c, I chose an innocent-looking function that was present in both versions.  But it's signature had changed, breaking source compatibility in both directions.  Just like the other function that started the whole mess.  Silly me.
config/antlr.m4 diff | blob | history
src/expr/expr_manager.i diff | blob | history