- Mar 23, 2022
- Mar 21, 2022
-
-
erwan authored
The dependency on the clock was lost when the enum is translated into an integer (because some expression were still refering to the enum type). The fix was to index VarMap.t by string instead of Soc.var_expr in ActionsDeps.
- Sep 22, 2021
- Jul 13, 2021
- Jul 08, 2021
-
- Jul 05, 2021
- Jul 01, 2021
-
- Mar 15, 2021
- Mar 11, 2021
-
-
erwan authored
-
- Jun 19, 2020
-
- Jun 12, 2020
-
- Mar 17, 2020
-
- Mar 13, 2020
-
-
erwan authored
In the -2c mode, in presence of extern types, I was defining them as int. The idea was to have something that compiles, and then to ask the user to redefine its extern types. Now I define extern types as string (char*). The rationale of this change is that before, the generated code was only working for int, which is pretty useless as an extern type. Have string by default is actually much more useful, for instance to use string in a Lustre program. Also, adapt to changes done in lutils, where the string type has ben added. (sha:8619aa285ca8322ab9, i.e., > lutils 1.49.10)
-
- Mar 03, 2020
-
- Dec 10, 2019
-
-
erwan authored
-
- Sep 19, 2019
-
- Sep 04, 2019
-
- Aug 29, 2019
-
-
erwan authored
Remove a lot of warnings (considered as errors by dune).
-