Changes between Version 9 and Version 10 of Deliverables
- Timestamp:
- Jul 17, 2015, 5:10:49 PM (3 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Deliverables
v9 v10 39 39 * [P27*] Nested Atomic Sections with Thread Escape: Operational Semantics ([http://frederic.loulergue.eu/ftp/papdas_p27.pdf report]) 40 40 * [S28*] !TransactionsInCoq ([https://traclifo.univ-orleans.fr/PaPDAS/raw-attachment/wiki/TransactionsInCoq/TransactionsInCoq-0.1beta.tar.gz software]) 41 * [P36*] Nested Atomic Sections with Thread Escape: Operational Semantics([http://frederic.loulergue.eu/ftp/papdas_p36.pdf report])41 * [P36*] Nested Atomic Sections with Thread Escape: Compilation ([http://frederic.loulergue.eu/ftp/papdas_p36.pdf report]) 42 42 * [S29], [P30], [P31], [P32], [S33], [P34], [P35], [S37], [P38]: cancelled 43 43