2007-07-07 | Ben Pfaff | Change license from GPLv2+ to GPLv3+. | blob | commitdiff | raw |
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 |