Change license from GPLv2+ to GPLv3+.
[pspp-builds.git] / src / libpspp / model-checker.c
2007-07-07 Ben PfaffChange license from GPLv2+ to GPLv3+.
2007-06-08 John DarringtonDelete trailing whitespace at end of lines.
2007-04-25 Ben PfaffDon't use type sighandler_t, which is a GNU extension...
2007-04-23 Ben PfaffImplement model checker for testing purposes.