Changes between Version 53 and Version 54 of WikiStart
- Timestamp:
- Jun 1, 2015, 6:43:10 PM (3 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart
v53 v54 19 19 == Software == 20 20 21 * '''OSL''' The C++ Orléans Skeleton Library: v1.021 * '''OSL''' The C++ Orléans Skeleton Library: [http://frederic.loulergue.eu/ftp/osl-1.0pre.tar.bz2 v1.0pre] 22 22 * 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]. 23 23 * OSL Verified Prototype (requires the [http://coq.inria.fr Coq] proof assistant): [http://frederic.loulergue.eu/ftp/OSLPrototype-0.1.tar.gz v0.1]