- Jun 10, 2024
-
-
Leandre Lacourt authored
-
Leandre Lacourt authored
-
- Jun 07, 2024
-
-
Leandre Lacourt authored
-
Leandre Lacourt authored
-
- May 30, 2024
-
-
Leandre Lacourt authored
-
- May 29, 2024
-
-
Leandre Lacourt authored
-
Leandre Lacourt authored
-
- May 27, 2024
-
-
Leandre Lacourt authored
-
- Jan 19, 2024
-
-
erwan authored
-
- Jun 16, 2023
-
-
erwan authored
(and a --2smv one that is not finish)
-
- Jul 28, 2022
-
-
erwan authored
-
- Jul 01, 2021
-
- Mar 15, 2021
- Jun 19, 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)
-
- Feb 14, 2020
-
- Dec 02, 2019
-
-
erwan authored
-
- Aug 29, 2019
-
-
erwan authored
Remove a lot of warnings (considered as errors by dune).
-