src/machine_code_common.mli · 9d69367573d6bf4206d5a20dd6c2d22a7371e419 · LustreC / Lustrec - public version · GitLab

Snippets Groups Projects

3 years ago
9d693675
the generation of ACSL from machine code reveal too fragile as it occurs after... · 9d693675
BRUN Lelio authored 3 years ago
```
the generation of ACSL from machine code reveal too fragile as it occurs after several transformations (eg. fusion)
```
9d693675

History
the generation of ACSL from machine code reveal too fragile as it occurs after...
BRUN Lelio authored 3 years ago
```
the generation of ACSL from machine code reveal too fragile as it occurs after several transformations (eg. fusion)
```

Code owners

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