src/normalization.mli · 95944ba1078264fcbe30c6eb576c0304902ec586 · LustreC / Lustrec - public version · GitLab

Snippets Groups Projects

6 years ago
95944ba1
Cleaning up stuff in normalization. Mainly replace arguments with only required elements · 95944ba1
Pierre Loic Garoche authored 6 years ago
```
node_Table hashtbl is now only available through functions of the corelang.mli
```
95944ba1

History
Cleaning up stuff in normalization. Mainly replace arguments with only required elements
Pierre Loic Garoche authored 6 years ago
```
node_Table hashtbl is now only available through functions of the corelang.mli
```

Code owners

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