Savannah Administration - Tasks: task #5045, Submission of Separation Logic in...
task #5045: Submission of Separation Logic in Coq
Follow 5 latest changes.
Date | Changed by | Updated Field | Previous Value | => | Replaced by |
---|---|---|---|---|---|
2006-01-03 | kickino | Status | Wait reply | Done | |
Open/Closed | Open | Closed | |||
2005-12-24 | kickino | Status | Need Info | Wait reply | |
2005-12-15 | kickino | Status | None | Need Info | |
Assigned to | None | kickino |
Powered by Savane 3.13-758e.
Corresponding source code