Age | Commit message (Expand) | Author |
---|---|---|
2012-10-24 | Includes many fixes to build system for Solaris (thanks Tim!), and also | Morgan Deters |
2012-10-24 | Fix for systems that do not have the MAP_FILE macro defined. | Tim King |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-09-28 | Public interface review items: | Morgan Deters |
2011-10-04 | oops, one more fix, hopefully the last | Morgan Deters |
2011-10-04 | more fixes for libantlr3c v3.4 | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2010-07-06 | Fixes for doubled-statistics (bug 171), a fix to muzzled builds and some mino... | Morgan Deters |
2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
2010-04-01 | reran update-copyright.pl to get new contributors and add new header comments... | Morgan Deters |
2010-04-01 | PARSER STUFF: | Morgan Deters |
2010-03-30 | Merging from branches/antlr3 (r246:354) | Christopher L. Conway |