Login
Preferences
Help/Guide
About Trac
Wiki
Context Navigation
←
Previous Change
Wiki History
Next Change
→
Changes between
Version 2
and
Version 3
of
WikiStart
View differences
inline
side by side
Show
lines around each change
Show the changes in full context
Ignore:
Blank lines
Case changes
White space changes
Timestamp:
Nov 11, 2009, 9:41:32 PM (
9 years
ago)
Author:
julien.tesson@…
Comment:
--
Legend:
Unmodified
Added
Removed
Modified
WikiStart
v2
v3
1
1
= Welcome to SDPP home Page =
2
2
3
SDPP is a framework for Systematic Develop
e
ment of Parallel Programs.
3
SDPP is a framework for Systematic Develop
ment of Parallel Programs.
4
4
5
5
We use [http://coq.inria.fr coq] for automatically derive [http://bsmllib.free.fr bsml] programs.