src/evalConst.mli · 9f72564c94a5d48802c869c68985d1e904e006f1 · verimag / synchrone / lustre-v6 · GitLab

Snippets Groups Projects

gricad-gitlab sera indisponible mardi 08/04/2025 entre 12h00 et 13h30 pour une opération de maintenance.

17 years ago
10fb4a48
Plug the type checking of equations. It seems to work, apart from iterators · 10fb4a48
Erwan Jahier authored 17 years ago
```
and anonymous structures. I've even found some type errors in the non-reg files!
```
10fb4a48

History
Plug the type checking of equations. It seems to work, apart from iterators
Erwan Jahier authored 17 years ago
```
and anonymous structures. I've even found some type errors in the non-reg files!
```