src/inliner.ml · f4cba4b83aff1c874ab71c233b00d1540cf64947 · LustreC / Lustrec - public version · GitLab

Snippets Groups Projects

6 years ago
f4cba4b8
Some progress on compiling cocospec contract. · f4cba4b8
Pierre Loic Garoche authored 6 years ago
```
Contract resolution still need to be done as well as dealing with the machine code level and so on.
```
f4cba4b8

History
Some progress on compiling cocospec contract.
Pierre Loic Garoche authored 6 years ago
```
Contract resolution still need to be done as well as dealing with the machine code level and so on.
```

Code owners

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