src/options_management.ml · ad4774b0ab1728d9b99aba1c40b7d770eb955fb5 · LustreC / Lustrec - public version · GitLab

Snippets Groups Projects

7 years ago
ad4774b0
- Normalization parameters (alias and unfold_array) are now provided as parameter · ad4774b0
Pierre Loic Garoche authored 7 years ago
```
- program type renamed as program_t
- Initiating the lustrev tool with dependencies to z3 and seal.
```
ad4774b0

History
- Normalization parameters (alias and unfold_array) are now provided as parameter
Pierre Loic Garoche authored 7 years ago
```
- program type renamed as program_t
- Initiating the lustrev tool with dependencies to z3 and seal.
```

Code owners

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