lustre-v6 issueshttps://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6/-/issues2018-04-25T15:09:18+02:00https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6/-/issues/5Slice in lhs are not supported in the C code generator2018-04-25T15:09:18+02:00erwanerwan.jahier@univ-grenoble-alpes.frSlice in lhs are not supported in the C code generator[left.lus](/uploads/e7cc67bdf5d1e01904a8c84c8cfbd19c/left.lus)
```sh
lv6 should_work/left.lus -2c
````[left.lus](/uploads/e7cc67bdf5d1e01904a8c84c8cfbd19c/left.lus)
```sh
lv6 should_work/left.lus -2c
````https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6/-/issues/4Bad package name is given to instanciated parametric nodes2018-04-25T14:44:01+02:00erwanerwan.jahier@univ-grenoble-alpes.frBad package name is given to instanciated parametric nodes[param_struct.lus](/uploads/2ed2c792872f04ff655bcdb4ab27530d/param_struct.lus)
```sh
lv6 ./should_work/param_struct.lus
```
generated a node named `mk_tab__param_struct::toto_toto_3`
whereas `param_struct::mk_tab__toto_toto_3` would ma...[param_struct.lus](/uploads/2ed2c792872f04ff655bcdb4ab27530d/param_struct.lus)
```sh
lv6 ./should_work/param_struct.lus
```
generated a node named `mk_tab__param_struct::toto_toto_3`
whereas `param_struct::mk_tab__toto_toto_3` would make more sense.https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6/-/issues/3Issue an error instead of generating incorrect ec code for extern nodes2018-04-25T14:34:42+02:00erwanerwan.jahier@univ-grenoble-alpes.frIssue an error instead of generating incorrect ec code for extern nodes[decl.lus](/uploads/a906220a2b2e0470855ab273dea7bc67/decl.lus)
````sh
lus2lic should_work/decl.lus -n decl -ec
````
generates incorrect ec code instead of raising an error.[decl.lus](/uploads/a906220a2b2e0470855ab273dea7bc67/decl.lus)
````sh
lus2lic should_work/decl.lus -n decl -ec
````
generates incorrect ec code instead of raising an error.https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6/-/issues/2Wrong line number in error msg when instanciating a node2018-04-25T14:25:08+02:00erwanerwan.jahier@univ-grenoble-alpes.frWrong line number in error msg when instanciating a node[parametric_node.lus](/uploads/6112fc37b6bd7e902ec3f7ea7b286ef7/parametric_node.lus)
```sh
lus2lic should_fail/type/parametric_node.lus
```[parametric_node.lus](/uploads/6112fc37b6bd7e902ec3f7ea7b286ef7/parametric_node.lus)
```sh
lus2lic should_fail/type/parametric_node.lus
```https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6/-/issues/1Lustre versus C valid identifiers2018-04-25T11:33:49+02:00erwanerwan.jahier@univ-grenoble-alpes.frLustre versus C valid identifiersThe C code generator produces invalid C code if an invalid C ident is used as a (valid) Lustre ident.
Such programs should at least be rejected with a proper msg, at least if the -2c option is used.
An alternative would be to rename t...The C code generator produces invalid C code if an invalid C ident is used as a (valid) Lustre ident.
Such programs should at least be rejected with a proper msg, at least if the -2c option is used.
An alternative would be to rename the ident.
```sh
lus2lic bad_ident.lus -n bad_ident -2c-exec
```
[bad_ident.lus](/uploads/673bcb80c6e7d6cd594612e8f3162952/bad_ident.lus)