src/machine_code.ml · 2767740d93df1bf2be1a407693610b7fc92e7b75 · LustreC / Lustrec - public version · GitLab

Snippets Groups Projects

3 years ago
2767740d
use ghost variables instead of existential variables to avoid read / write... · 2767740d
BRUN Lelio authored 3 years ago
```
use ghost variables instead of existential variables to avoid read / write capture problems with variable reuse
```
2767740d

History
use ghost variables instead of existential variables to avoid read / write...
BRUN Lelio authored 3 years ago
```
use ghost variables instead of existential variables to avoid read / write capture problems with variable reuse
```

Code owners

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