PSPP - Patches: patch #5873, Model checker and initial...
You are not allowed to post comments on this tracker with your current authentication level.
patch #5873: Model checker and initial datasheet review
Submitter: | Ben Pfaff <blp> | ||
Submitted: | Wed 18 Apr 2007 11:28:41 PM UTC | ||
Category: | None | Item Group: | None |
Status: | Done | Assigned to: | None |
Open/Closed: | Closed |
Mon 23 Apr 2007 01:27:13 AM UTC, comment #4: |
Ben Pfaff <blp> |
Sun 22 Apr 2007 08:47:41 PM UTC, comment #3: Oops, some more feedback I missed on first pass.
|
Ben Pfaff <blp> |
Sun 22 Apr 2007 05:05:55 PM UTC, comment #2: Thanks for the review.
|
Ben Pfaff <blp> |
Sat 21 Apr 2007 05:07:27 AM UTC, comment #1: Regarding the model checker, I haven't read the references you gave, but it seems that it's important to realize that it's testing only the model, and the 2nd implementation of it. Errors in the real implementation will go unchecked. Could the 2nd implementation not be a wrapper around the 1st?
|
John Darrington <jmd> |
Wed 18 Apr 2007 11:28:41 PM UTC, original submission:
This set of changes implements a model checker and a PSPP syntax interface to the model checker. My goal is to check these into the main branch after applying reviewers' comments; they are already in the simpler-proc branch.
|
Ben Pfaff <blp> |
Depends on the following items: None found
Items that depend on this one: None found
There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.
Follow 3 latest changes.
Date | Changed by | Updated Field | Previous Value | => | Replaced by |
---|---|---|---|---|---|
2007-04-23 | blp | Status | Ready For Test/Review | Done | |
Open/Closed | Open | Closed | |||
2007-04-18 | blp | Attached File | - | Added datasheet.tar.gz, #12524 |
Powered by Savane 3.13-02a9.
Corresponding source code
I checked this in.