projects / pspp / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Applied patch #6515 : Allow dlls to be built on w32 platforms
[pspp] / src / libpspp / model-checker.h
2007-07-07 Ben PfaffChange license from GPLv2+ to GPLv3+. blob | commitdiff | raw
2007-06-08 John DarringtonDelete trailing whitespace at end of lines. blob | commitdiff | raw | diff to current
2007-04-23 Ben PfaffImplement model checker for testing purposes. blob | commitdiff | raw | diff to current
Unnamed repository; edit this file to name it for gitweb.