projects
/
pspp
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
gui: Allow File|Open to select an encoding for system files.
[pspp]
/
src
/
libpspp
/
model-checker.h
2011-07-01
John Darrington
Merge remote branch 'savannah/master' into sourceview
blob
|
commitdiff
|
raw
2011-03-19
Ben Pfaff
Update all #include directives to the currently preferr...
blob
|
commitdiff
|
raw
2009-12-16
John Darrington
Merge commit 'origin/stable'
blob
|
commitdiff
|
raw
|
diff to current
2009-09-24
John Darrington
Merge commit 'origin/stable'
blob
|
commitdiff
|
raw
|
diff to current
2009-07-23
John Darrington
Merge commit 'origin/stable'
blob
|
commitdiff
|
raw
|
diff to current
2009-06-07
Ben Pfaff
model-checker: Add command-line parser for model checki...
blob
|
commitdiff
|
raw
|
diff to current
2009-06-07
Ben Pfaff
model-checker: Revise advice on checking for duplicates.
blob
|
commitdiff
|
raw
|
diff to current
2009-06-07
Ben Pfaff
model-checker: Add more progress functions.
blob
|
commitdiff
|
raw
|
diff to current
2009-06-07
Ben Pfaff
model-checker: Move summary printing function into...
blob
|
commitdiff
|
raw
|
diff to current
2009-06-07
Ben Pfaff
model-checker: Kill dependencies and move back to libpspp.
blob
|
commitdiff
|
raw
|
diff to current
2009-05-09
John Darrington
Merge commit 'origin/stable'
blob
|
commitdiff
|
raw
2009-04-22
John Darrington
Merge commit 'origin/stable'
blob
|
commitdiff
|
raw
2009-04-07
John Darrington
Merge commit 'origin/stable'
blob
|
commitdiff
|
raw
2009-03-31
John Darrington
Merge commit 'origin/stable'
blob
|
commitdiff
|
raw
2009-03-02
John Darrington
Merge branch 'master'; commit 'origin/stable'
blob
|
commitdiff
|
raw
2009-01-17
John Darrington
Merge commit 'origin/stable'
blob
|
commitdiff
|
raw
2008-11-11
John Darrington
Merge branch 'master' into rewrite-sheet
blob
|
commitdiff
|
raw
2008-10-10
Ben Pfaff
Merge commit 'origin/stable'
blob
|
commitdiff
|
raw
2008-10-05
John Darrington
Merge branch 'master' of ssh://jmd@git.sv.gnu.org/srv...
blob
|
commitdiff
|
raw
2008-10-05
John Darrington
Moved the datasheet testing code out of src/{libspp...
blob
|
commitdiff
|
raw
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
projects / pspp / history