Changes between Version 53 and Version 54 of WikiStart


Ignore:
Timestamp:
Jun 1, 2015, 6:43:10 PM (3 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v53 v54  
    1919== Software == 
    2020 
    21 * '''OSL''' The C++ Orléans Skeleton Library: v1.0 
     21* '''OSL''' The C++ Orléans Skeleton Library: [http://frederic.loulergue.eu/ftp/osl-1.0pre.tar.bz2 v1.0pre] 
    2222* 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]. 
    2323* OSL Verified Prototype (requires the [http://coq.inria.fr Coq] proof assistant): [http://frederic.loulergue.eu/ftp/OSLPrototype-0.1.tar.gz v0.1]