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
```