- Apr 13, 2022
-
-
BRUN Lelio authored
-
- Sep 27, 2021
-
-
BRUN Lelio authored
-
- Jun 30, 2021
-
-
BRUN Lelio authored
-
BRUN Lelio authored
-
- Jun 29, 2021
-
-
BRUN Lelio authored
-
- Jun 17, 2021
-
-
BRUN Lelio authored
-
- Feb 05, 2021
-
-
BRUN Lelio authored
-
- Nov 14, 2019
-
-
Pierre Loic Garoche authored
- real constants are hidden in Real.ml{i} module
-
- Jul 05, 2019
-
-
Pierre Loic Garoche authored
- copy_var_decl now keeps the generated type
-
Pierre Loic Garoche authored
-
- Nov 15, 2018
-
-
Pierre Loic Garoche authored
-
- Nov 13, 2018
-
-
Pierre Loic Garoche authored
-
- Mar 30, 2018
-
-
Pierre Loic Garoche authored
- Renamed type declarations as lustre_types and machine_code_types
-
- Jan 31, 2018
-
-
Pierre Loic Garoche authored
-
- Jan 18, 2018
-
-
Pierre Loic Garoche authored
Solved the misrenaming of imported nodes (eg int_to_real)
-
- Jan 17, 2018
-
-
Pierre Loic Garoche authored
- mutations that could not be performed (ie. changing an integer constants when no integer constant appear in the program) - infinite computation of mutants, because of unproper randomization.
-
- Dec 18, 2017
-
-
Pierre Loic Garoche authored
-
- Nov 14, 2017
-
-
Pierre Loic Garoche authored
-
- Apr 27, 2017
-
-
Pierre Loic Garoche authored
- no more classic display for ocamlc - compilation warnings removed
-
- Apr 06, 2017
-
-
THIRIOUX Xavier authored
-
- Apr 05, 2017
-
-
THIRIOUX Xavier authored
mostly a recovery of an ancient svn repo: mutations
-