2008-04-20 | John Darrington | Fixed some recent problems with the mingw cross compile. | blob | commitdiff | raw |
2007-10-12 | Ben Pfaff | magic-elimination.patch from patch #6230. | blob | commitdiff | raw | diff to current |
2007-09-13 | John Darrington | Freed the stuff generated by the parser. | blob | commitdiff | raw | diff to current |
2007-07-07 | Ben Pfaff | Change license from GPLv2+ to GPLv3+. | blob | commitdiff | raw | diff to current |
2007-06-08 | John Darrington | Delete trailing whitespace at end of lines. | blob | commitdiff | raw | diff to current |
2007-04-23 | Ben Pfaff | Implement model checker for testing purposes. | blob | commitdiff | raw | diff to current |