src/normalization.ml · 3436d1a6b14e3553bc40b460eb43319ae8e9c797 · LustreC / Lustrec - public version · GitLab

Snippets Groups Projects

7 years ago
3436d1a6
New global option to normalize simple call to std lib functions (+,-,*, comparison ops, etc). · 3436d1a6
Pierre Loic Garoche authored 7 years ago
```
This is used in EMF backend.
```
3436d1a6

History
New global option to normalize simple call to std lib functions (+,-,*, comparison ops, etc).
Pierre Loic Garoche authored 7 years ago
```
This is used in EMF backend.
```

Code owners

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