newsSeparation Logic in Coq - News: 17/01/06: module store extended with extensionality

 
 
Latest News
Upadte of Bigtoe posted by alalme, Wed 13 Dec 2006 01:48:39 AM UTC
Update to Coq v8.1 posted by alalme, Wed 13 Dec 2006 01:45:43 AM UTC
extraction of a certified verifier posted by alalme, Thu 21 Sep 2006 01:11:03 AM UTC
Completeness proof for Separation Logic posted by alalme, Thu 10 Aug 2006 08:58:53 AM UTC

17/01/06: module store extended with extensionality

Item posted by Reynald Affeldt <reynald> on Tue 17 Jan 2006 04:59:00 AM UTC.

This extension required a slight change of the module interface.
The core framework has been updated to cope with this change.
Topsy proofs are still temporarily broken.

 

Back to the top

Powered by Savane 3.13-aa77.
Corresponding source code