src/scheduling.ml · c825868ae4feff012f2625f299a4167816e899bb · LustreC / Lustrec - public version · GitLab

Snippets Groups Projects

10 years ago
c825868a
added a new option -print_reuse that prints clock disjoint variables and reuse policy. · c825868a
THIRIOUX Xavier authored 10 years ago
```
 useful for debugging and carrying correctness proofs to the C code level.
 non trivial result only when option -O 3 or above is activated.
```
c825868a

History
added a new option -print_reuse that prints clock disjoint variables and reuse policy.
THIRIOUX Xavier authored 10 years ago
```
 useful for debugging and carrying correctness proofs to the C code level.
 non trivial result only when option -O 3 or above is activated.
```

Code owners

Assign users and groups as approvers for specific file changes. Learn more.