Changes between Version 5 and Version 6 of Deliverables


Ignore:
Timestamp:
Jun 1, 2015, 3:23:00 PM (3 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Deliverables

    v5 v6  
    4040 * [S28*] !TransactionsInCoq ([https://traclifo.univ-orleans.fr/PaPDAS/raw-attachment/wiki/TransactionsInCoq/TransactionsInCoq-0.1beta.tar.gz software]) 
    4141 * [P36*] Nested Atomic Sections with Thread Escape: Operational Semantics ([http://frederic.loulergue.eu/ftp/papdas_p36.pdf report]) 
    42  * [S37] ModularCompCertTSO (software) 
    43  * [P38] ModularCompCertTSO (report) 
    44  * [S29], [P30], [P31], [P32], [S33], [P34], [P35]: cancelled 
     42 * [S29], [P30], [P31], [P32], [S33], [P34], [P35], [S37], [P38]: cancelled 
    4543 
    4644