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

Snippets Groups Projects

11 years ago
d3e4c22f
- work in progress for stateless/stateful status computation · d3e4c22f
THIRIOUX Xavier authored 11 years ago
```
   (to turn conditionals into merges, which yield more efficient C code)
```
d3e4c22f

History
- work in progress for stateless/stateful status computation
THIRIOUX Xavier authored 11 years ago
```
   (to turn conditionals into merges, which yield more efficient C code)
```

Code owners

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