projects
/
pspp
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
work on missing value handling
[pspp]
/
src
/
libpspp
/
model-checker.c
2020-06-27
John Darrington
Replace some calls to xcalloc with XCALLOC
blob
|
commitdiff
|
raw
2019-12-29
Ben Pfaff
bit-vector: Add new functions for working with bit...
blob
|
commitdiff
|
raw
|
diff to current
2013-10-26
Ben Pfaff
Merge master into gtk3.
20131026032545/pspp
20131027032559/pspp
20131028032549/pspp
20131030030824/pspp
20131031032414/pspp
20131101032516/pspp
20131102032602/pspp
20131103032703/pspp
20131104032617/pspp
20131105032650/pspp
20131106032624/pspp
20131107032703/pspp
20131108032720/pspp
20131110032717/pspp
20131111032724/pspp
20131112032726/pspp
20131113032746/pspp
20131114032755/pspp
20131115032755/pspp
20131116032752/pspp
blob
|
commitdiff
|
raw
|
diff to current
2013-07-13
Ben Pfaff
model-checker: Fix memory leak in finish_mc().
blob
|
commitdiff
|
raw
|
diff to current
2011-07-01
John Darrington
Merge remote branch 'savannah/master' into sourceview
blob
|
commitdiff
|
raw
|
diff to current
2011-03-19
Ben Pfaff
Update all #include directives to the currently preferr...
blob
|
commitdiff
|
raw
|
diff to current
2010-11-19
Ben Pfaff
str: Change "char" to "byte" in function names.
blob
|
commitdiff
|
raw
|
diff to current
2010-10-17
John Darrington
Merge commit 'origin/master' into sso
blob
|
commitdiff
|
raw
|
diff to current
2010-09-15
John Darrington
Consolidate quoting style in printed strings.
blob
|
commitdiff
|
raw
|
diff to current
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: Don't discard error states.
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-11-11
Ben Pfaff
Patch #6262. New developers guide and resulting fixes...
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-25
Ben Pfaff
Don't use type sighandler_t, which is a GNU extension...
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