Changes between Version 32 and Version 33 of WikiStart


Ignore:
Timestamp:
Mar 8, 2013, 11:09:21 AM (5 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v32 v33  
    6868== Team Members ==  
    6969 
     70 * Wadoud Bousdira (University of Orléans) 
    7071 * Noman Javed (Namal College, Pakistan) 
    7172 * Sylvain Jubertie (University of Orléans) 
    … …  
    7576== Software == 
    7677 
    77  * OSLSemantics (requires the [http://coq.inria.fr Coq] proof assistant): [http://frederic.loulergue.eu/ftp/OSLSemantics-0.2.tar.bz2 v0.2] (with heat diffusion simulation), [http://frederic.loulergue.eu/ftp/OSLSemantics-0.1.tar.bz2 v0.1]. 
    78  * OSL: v1.0 (coming in January 2013) 
     78* OSL -- The C++ Orléans Skeleton Library: v1.0 (coming in March 2013) 
     79* OSL Formal Semantics (requires the [http://coq.inria.fr Coq] proof assistant): [http://frederic.loulergue.eu/ftp/OSLSemantics-0.2.tar.bz2 v0.2] (with heat diffusion simulation), [http://frederic.loulergue.eu/ftp/OSLSemantics-0.1.tar.bz2 v0.1]. 
     80* OSL Verified Prototype (requires the [http://coq.inria.fr Coq] proof assistant): [v0.1 http://frederic.loulergue.eu/ftp/OSLPrototype-0.1.tar.gz] 
    7981 
    8082== Publications ==