Changes between Version 44 and Version 45 of WikiStart


Ignore:
Timestamp:
Nov 26, 2013, 2:21:06 AM (5 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v44 v45  
    2121== Software == 
    2222 
     23* Library "Systematic Development of Parallel Programs" [http://tesson.julien.free.fr/research/project/SDPP-nii2013.tar.gz version nii2013] (includes CertifiedBSML, ProgramCalculationInCoq version 0.16 
    2324* Library "Program Calculation in Coq": [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.1.tar.bz2 version 0.1], [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.15.tar.bz2 version 0.15], [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.16.tar.bz2 version 0.16] (for Coq 8.3), [https://traclifo.univ-orleans.fr/SDPP/raw-attachment/wiki/WikiStart/ProgramCalculationInCoq-nii2013.tar.gz version nii2013] (for Coq 8.4) 
    24  * Library "Systematic Development of Parallel Programs" and "Certified BSML" [http://tesson.julien.free.fr/research/project/SDPP-full-0.2.tar.gz version 0.2] 
    25  * Library "Systematic Development of Parallel Programs" [http://frederic.loulergue.eu/ftp/sdpp-0.1.tar.bz2 version 0.1] 
     25* Library "Systematic Development of Parallel Programs" [http://frederic.loulergue.eu/ftp/sdpp-0.1.tar.bz2 version 0.1] 
    2626  
    2727== Publications ==