Revision dd3965eb
Added by Teme Kahsai over 8 years ago
- ID dd3965eb4b025c77d27dba703a2a32393f023f29
- Child e2068500
| README.md | ||
|---|---|---|
| 1 |
# lustrec |
|
| 2 |
A modular Lustre to C / Horn clauses compiler |
|
Also available in: Unified diff
| README.md | ||
|---|---|---|
| 1 |
# lustrec |
|
| 2 |
A modular Lustre to C / Horn clauses compiler |
|
Also available in: Unified diff
Initial commit