projects
/
pspp-builds.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
model-checker: Add more progress functions.
[pspp-builds.git]
/
src
/
language
/
tests
/
check-model.q
2009-06-07
Ben Pfaff
model-checker: Add more progress functions.
blob
|
commitdiff
|
raw
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
|
diff to current
2009-04-22
John Darrington
Merge commit 'origin/stable'
blob
|
commitdiff
|
raw
|
diff to current
2009-04-07
John Darrington
Merge commit 'origin/stable'
blob
|
commitdiff
|
raw
|
diff to current
2009-03-31
John Darrington
Merge commit 'origin/stable'
blob
|
commitdiff
|
raw
|
diff to current
2009-03-02
John Darrington
Merge branch 'master'; commit 'origin/stable'
blob
|
commitdiff
|
raw
|
diff to current
2009-01-17
John Darrington
Merge commit 'origin/stable'
blob
|
commitdiff
|
raw
|
diff to current
2008-11-11
John Darrington
Merge branch 'master' into rewrite-sheet
blob
|
commitdiff
|
raw
|
diff to current
2008-10-11
Ben Pfaff
Fix build when build and source directories are separate.
blob
|
commitdiff
|
raw
|
diff to current
2008-10-10
Ben Pfaff
Merge commit 'origin/stable'
blob
|
commitdiff
|
raw
|
diff to current
2008-10-05
John Darrington
Merge branch 'master' of ssh://jmd@git.sv.gnu.org/srv...
blob
|
commitdiff
|
raw
|
diff to current
2008-10-05
John Darrington
Moved the datasheet testing code out of src/{libspp...
blob
|
commitdiff
|
raw
|
diff to current
2008-04-20
John Darrington
Fixed some recent problems with the mingw cross compile.
blob
|
commitdiff
|
raw
|
diff to current
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
projects / pspp-builds.git / history