Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
horn_backend.ml 4.25 KB ca7e8027 12 months Lélio Brun fix almost all warnings
horn_backend_collecting_sem.ml 7.69 KB ca7e8027 12 months Lélio Brun fix almost all warnings
horn_backend_common.ml 5.3 KB ca7e8027 12 months Lélio Brun fix almost all warnings
horn_backend_printers.ml 26.5 KB 6d1693b9 7 months Lélio Brun work on spec generation almost done
horn_backend_traces.ml 8.48 KB ca7e8027 12 months Lélio Brun fix almost all warnings

Latest revisions

# Date Author Comment
6d1693b9 06/14/2021 07:06 PM Lélio Brun

work on spec generation almost done

ca7e8027 02/05/2021 02:36 PM Lélio Brun

fix almost all warnings

719ae9fd 02/03/2021 02:47 PM Lélio Brun

migration draft on dune

e8f55c25 11/15/2019 12:34 AM Pierre-Loïc Garoche

- tag_true and tag_false moved to lustre_types
- real constants are hidden in Real.ml{i} module

42f91c0b 03/21/2019 05:19 PM Pierre-Loïc Garoche

Better EMF output, solved some invalid JSON produced

19a1e66b 11/21/2018 05:58 AM Pierre-Loïc Garoche

Added include directive that directly inject a lustre source file in the prog

59803095 11/16/2018 11:30 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal

ae7d913d 11/16/2018 04:18 AM Pierre-Loïc Garoche

Merlin files

c35de73b 11/15/2018 03:18 AM Pierre-Loïc Garoche

Pretty serious update:
- a bug in regressio ntest Simulink/integrator_ext_IC_matrix_test revealed the following (serious issue):
when building the list of instruction (in the machine code) the access to variable were hardcoded to LocalVar or StateVAr depending whether the variables was part of the identified memories....

0d54d8a8 11/13/2018 02:01 AM Pierre-Loïc Garoche

Removed Contract contruct: imported node should be enough. Solved some warning at compile time

View revisions

Also available in: Atom