lutin issueshttps://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin/-/issues2019-07-26T14:18:29+02:00https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin/-/issues/3Add n-ary `xor` (and `boolred`) to lutin2019-07-26T14:18:29+02:00erwanerwan.jahier@univ-grenoble-alpes.frAdd n-ary `xor` (and `boolred`) to lutinhttps://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin/-/issues/2issue with free variables constrained in the type declaration2019-07-03T14:23:19+02:00erwanerwan.jahier@univ-grenoble-alpes.frissue with free variables constrained in the type declaration`ok` works fine, but not `ko`:
```lutin
node ko () returns (b: int [0; 0]; a: int) = a = b
node ok () returns (a: int [0; 0]; b: int) = a = b
````ok` works fine, but not `ko`:
```lutin
node ko () returns (b: int [0; 0]; a: int) = a = b
node ok () returns (a: int [0; 0]; b: int) = a = b
```https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin/-/issues/1rdbg-batch --sut-stdio "lutin -rif heater.lut" raises an RifIO.Reset2019-01-30T17:44:00+01:00erwanerwan.jahier@univ-grenoble-alpes.frrdbg-batch --sut-stdio "lutin -rif heater.lut" raises an RifIO.Resetnb: it is a pb with lutin as it works fine with lv6nb: it is a pb with lutin as it works fine with lv6erwanerwan.jahier@univ-grenoble-alpes.frerwanerwan.jahier@univ-grenoble-alpes.fr