Benjamin_Loison
b4ae058bf6
Remove unused variable new_locvars in src/passes.ml
2022-12-16 00:04:57 +01:00
Benjamin_Loison
0c8da12afe
Correct typo in verification that nodes always have arguments and make the main having such a verification too, as in Lustre
2022-12-16 00:00:11 +01:00
Benjamin_Loison
bfca80bb8b
Avoid crashes that can occur when using when with a statement that may crash if the when condition doesn't hold
...
For instance
```
node main () returns (o: int);
var i: int;
let
i = 0;
o = (1 / i) when false;
tel
```
used to crash with for instance:
```
Floating point exception
136
```
now returns `0` but in fact this value wouldn't be used in theory as the `when` condition doesn't hold.
2022-12-15 23:22:15 +01:00
Benjamin_Loison
bc8c752649
Add a comment concerning pp_resvars to avoid declaring multiple times two arrays while two would be enough
2022-12-15 21:05:20 +01:00
Benjamin_Loison
ca271eaf66
Correct typos in src/passes.ml and src/test.node
2022-12-15 20:13:18 +01:00
Benjamin_Loison
72ba196142
Merge branch 'master' of https://gitea.lemnoslife.com/Benjamin_Loison/Synchronous_reactive_systems
2022-12-15 19:52:02 +01:00
Benjamin_Loison
1a06fc9a6a
Add reset support in C
2022-12-15 19:51:46 +01:00
Benjamin_Loison
342aba4426
Correct copy-pasted int and bool cases
2022-12-15 16:08:22 +01:00
Benjamin_Loison
c441f8b1a6
Correct typo in comment in src/config.ml
2022-12-13 16:03:05 +01:00
Benjamin_Loison