Revision f0195e96
Added by Pierre-Loïc Garoche over 3 years ago
| src/_tags.in | ||
|---|---|---|
| 25 | 25 |
"tools/stateflow/json-parser": include |
| 26 | 26 |
"tools/importer": include |
| 27 | 27 |
"tools/seal": include |
| 28 |
"tools/tiny": include |
|
| 28 | 29 |
|
| 29 | 30 |
# svn |
| 30 | 31 |
<**/.svn>: -traverse |
| ... | ... | |
| 36 | 37 |
<**/*verifier.native> or <**/*.ml{,i}> : package(yojson)
|
| 37 | 38 |
|
| 38 | 39 |
<**/*.native> : use_str |
| 39 |
<**/main_lustre_compiler.native>: use_unix
|
|
| 40 |
<**/main_lustre_testgen.native> : use_unix
|
|
| 41 |
<**/main_lustre_verifier.native> : use_unix
|
|
| 42 |
<**/sf_sem.native> : use_unix
|
|
| 40 |
<**/main_lustre_compiler.native>: package(unix)
|
|
| 41 |
<**/main_lustre_testgen.native> : package(unix)
|
|
| 42 |
<**/main_lustre_verifier.native> : package(unix)
|
|
| 43 |
<**/sf_sem.native> : package(unix)
|
|
| 43 | 44 |
<**/*> : package(num) |
| 45 |
<**/*> : package(zarith) |
|
| 44 | 46 |
<**/*.ml> : package(logs) |
| 45 | 47 |
<**/*.native> : package(logs) |
| 46 | 48 |
<**/json_parser.ml> : package(yojson) |
Also available in: Unified diff
- Primitive Tiny backend
- Renamed Mpfr to lustrec_mpfr
- Introduced dependency in Zarith. Trying to move away from Num