Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/src/plugins @ 95944ba1

Name Size Revision Age Author Comment
  mpfr 95944ba1 almost 5 years Pierre-Loïc Garoche Cleaning up stuff in normalization. Mainly repl...
  salsa ae7d913d almost 5 years Pierre-Loïc Garoche Merlin files
  scopes ae7d913d almost 5 years Pierre-Loïc Garoche Merlin files
.merlin 3 Bytes ae7d913d almost 5 years Pierre-Loïc Garoche Merlin files

Latest revisions

# Date Author Comment
95944ba1 11/21/2018 11:53 PM Pierre-Loïc Garoche

Cleaning up stuff in normalization. Mainly replace arguments with only required elements
node_Table hashtbl is now only available through functions of the corelang.mli
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
1a05d45a 11/16/2018 07:19 AM Pierre-Loïc Garoche

Cleaning warning in mpfr
d948c0bd 11/16/2018 04:18 AM Pierre-Loïc Garoche

math fun lib support in MPFR
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....
05ca2715 11/15/2018 03:16 AM Pierre-Loïc Garoche

Moved back mpfr to its folder. Previsouly there was two competing files :(
2bb5ab71 05/17/2018 04:57 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal
8e6cab20 05/15/2018 11:49 AM Pierre-Loïc Garoche

Tuning the pretty printing of Salsa plugin

View revisions

Also available in: Atom