src/clocks.ml · 8ac7a0c74a381debf7e8b32d950acb1562058e54 · LustreC / Lustrec - public version · GitLab

Snippets Groups Projects

10 years ago
8ac7a0c7
- missing case in clock disjunction predicate, the absence of which produced · 8ac7a0c7
THIRIOUX Xavier authored 10 years ago
```
   weak (but still correct) optimization results.
```
8ac7a0c7

History
- missing case in clock disjunction predicate, the absence of which produced
THIRIOUX Xavier authored 10 years ago
```
   weak (but still correct) optimization results.
```

Code owners

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