Poussin proof assistant - Tasks: task #7711, hierarchical type
You are not allowed to post comments on this tracker with your current authentication level.
task #7711: hierarchical type
Submitter: | nicolas marti <alalme> | ||
Submitted: | Sun 27 Jan 2008 02:54:39 PM UTC | ||
Should Start On: | Sat 26 Jan 2008 03:00:00 PM UTC | Should be Finished on: | Sat 26 Jan 2008 03:00:00 PM UTC |
Category: | None | Priority: | 5 - Normal |
Status: | Postponed | Privacy: | Public |
Assigned to: | alalme | Percent Complete: | 0% |
Open/Closed: | Open | Effort: | 0.00 |
No files currently attached
Depends on the following items: None found
Items that depend on this one: None found
Carbon-Copy List
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 |
---|---|---|---|---|---|
2008-03-13 | alalme | Status | Cancelled | Postponed | |
2008-02-20 | alalme | Status | None | Cancelled | |
2008-01-27 | alalme | Assigned to | None | alalme |
Powered by Savane 3.13-02a9.
Corresponding source code
Add a solver and a verifier for the hierarchy of Type (right now poussin is incoherent with the type rule 0 |- type:type )