Changes between Version 7 and Version 8 of WikiStart


Ignore:
Timestamp:
Feb 5, 2014, 8:00:14 PM (4 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v7 v8  
    2323== Software == 
    2424 
    25 * Library "Systematic Development of Parallel Programs" [http://frederic.loulergue.eu/ftp/SDPP-nii2013.tar.bz2 version nii2013] (includes CertifiedBSML version nii2013, !ProgramCalculationInCoq version 0.16, LIFO) 
    26 * 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) 
    27 * Library "Systematic Development of Parallel Programs" [http://frederic.loulergue.eu/ftp/sdpp-0.1.tar.bz2 version 0.1] 
    28   
     25* '''SyDPaCC''' version ''Jan2014'' will be online on February 7, 2014 
     26* Library "Systematic Development of Parallel Programs" [http://frederic.loulergue.eu/ftp/sdpp-0.1.tar.bz2 version 0.1], [http://frederic.loulergue.eu/ftp/SDPP-nii2013.tar.bz2 version nii2013] (includes CertifiedBSML version nii2013, !ProgramCalculationInCoq version 0.16, LIFO) 
     27* 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)  
     28 
    2929== Publications == 
    3030