src/compiler_stages.ml · f9f06e7d570e3e80aea87af8697258db8db5f269 · LustreC / Lustrec - public version · GitLab

Snippets Groups Projects

6 years ago
f9f06e7d
- Module.load_header and load_program were merged. · f9f06e7d
Pierre Loic Garoche authored 6 years ago
```
- Contract were extended with list of statements.
```
f9f06e7d

History
- Module.load_header and load_program were merged.
Pierre Loic Garoche authored 6 years ago
```
- Contract were extended with list of statements.
```

Code owners

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