Changes between Version 44 and Version 45 of WikiStart

Timestamp:

Nov 12, 2012, 12:47:03 AM (6 years ago)

Author:

frederic.loulergue@…

Comment:

--

WikiStart

@@ -78 +78 @@
 === Task 2 ===
 
- * [S14]        Release of the !SkeTo Library version 1.X
- * [S15]        Release of the OSL Library version 1.Y
+ * ''[S14]      Cancelled''
+ * [S15]        Release of the OSL Library version 1.0
  * [P16]        Report “Efficient C++ Meta-Programmed Algorithmic Skeleton Libraries”
- * [S17]        Release of the !SkeTo Library version 1.X'
- * [S18]        Release of the OSL Library version 1.Y'
+ * [S17]        Release of the !SkeTo Library version 2.0
+ * [S18]        Release of the OSL Library version 1.5
  * [P19]        Report “Hybrid Parallelism in C++ Algorithmic Skeleton Libraries”
  * [S20]        Release of a set of example applications for !SkeTo and OSL
  * [P21]        Report “Efficient Parallel Programming with !SkeTo and OSL”
- * [S22]        A Formal Semantics for !SkeTo and OSL in Coq: [http://frederic.loulergue.eu/ftp/OSLSemantics-0.1.tar.bz2 v0.1], [http://frederic.loulergue.eu/ftp/OSLSemantics-0.2.tar.bz2 v0.2]
- * [P23]        Report "A Formal Semantics for !SkeTo and OSL in Coq"
- * [S24]        A Verified Library of Algorithmic Skeletons: v1.0 (coming soon) 
- * [P25]        Report "[http://frederic.loulergue.eu/ftp/deliverable_p25.pdf A Verified Library of Algorithmic Skeletons]"
+ * '''[S22''']  A Formal Semantics for !SkeTo and OSL in Coq: [http://frederic.loulergue.eu/ftp/OSLSemantics-0.1.tar.bz2 v0.1], [http://frederic.loulergue.eu/ftp/OSLSemantics-0.2.tar.bz2 v0.2]
+ * '''[P23]'''  Report "[http://frederic.loulergue.eu/ftp/deliverable_p25.pdf Mechanised Semantics of an Algorithmic Skeleton Library]"
+ * [S24]        A Verified Library of Algorithmic Skeletons: v0.1 (coming soon) 
+ * '''[P25]'''  Report "[http://frederic.loulergue.eu/ftp/deliverable_p25.pdf A Verified Library of Algorithmic Skeletons]"
 
 === Task 3 ===