src/syntaxTreeDump.ml · 849f747a5ac8b88cb67872467729e310ae640eb5 · verimag / synchrone / lustre-v6 · GitLab

Snippets Groups Projects

16 years ago
3edcf49d
Perform the clock checking in the node profile (the clock checking of · 3edcf49d
Erwan Jahier authored 16 years ago
```
equations is not done at all yet). Also, print the clock decorations
(when clk) in the generated file.
```
3edcf49d

History
Perform the clock checking in the node profile (the clock checking of
Erwan Jahier authored 16 years ago
```
equations is not done at all yet). Also, print the clock decorations
(when clk) in the generated file.
```

syntaxTreeDump.ml 21.75 KiB