Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/src/backends/C @ 1147e80a

Name Size Revision Age Author Comment
.merlin 3 Bytes ae7d913d almost 6 years Pierre-Loïc Garoche Merlin files
c_backend.ml 7.29 KB 71999483 over 5 years Pierre-Loïc Garoche Cleaning C backend - removing unused functiions...
c_backend_cmake.ml 3.92 KB
c_backend_common.ml 29.6 KB 1147e80a almost 5 years Pierre-Loïc Garoche Array access: solved issues in C backend when b...
c_backend_header.ml 16.6 KB 71999483 over 5 years Pierre-Loïc Garoche Cleaning C backend - removing unused functiions...
c_backend_lusic.ml 689 Bytes e8250987 almost 6 years Pierre-Loïc Garoche Unevaluation of types and clocks dimension has ...
c_backend_main.ml 8.71 KB f0a067e9 over 5 years Pierre-Loïc Garoche Better production of trace files. By default tr...
c_backend_makefile.ml 4.49 KB 5fccce23 almost 6 years Pierre-Loïc Garoche - Dep type with a tuple has been replaced by a ...
c_backend_mauve.ml 7.55 KB 5fccce23 almost 6 years Pierre-Loïc Garoche - Dep type with a tuple has been replaced by a ...
c_backend_spec.ml 8.62 KB 71999483 over 5 years Pierre-Loïc Garoche Cleaning C backend - removing unused functiions...
c_backend_src.ml 33.2 KB 1147e80a almost 5 years Pierre-Loïc Garoche Array access: solved issues in C backend when b...

Latest revisions

# Date Author Comment
1147e80a 11/20/2019 08:57 PM Pierre-Loïc Garoche

Array access: solved issues in C backend when basic operations in array access dimensions. Also better handling in EMF, ie further normalization through new equations
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
71999483 03/21/2019 05:18 PM Pierre-Loïc Garoche

Cleaning C backend - removing unused functiions
Preparing for coming ACSL
c3b0a8c9 03/16/2019 03:28 PM Pierre-Loïc Garoche

Merge branch 'salsa' into lustrec-seal
f0a067e9 03/15/2019 10:14 PM Pierre-Loïc Garoche

Better production of trace files.
By default traces are not produced. Requires the option -t to produce them
e8250987 11/22/2018 12:16 AM Pierre-Loïc Garoche

Unevaluation of types and clocks dimension has been already performed before producing the lusic.
5fccce23 11/21/2018 03:23 AM Pierre-Loïc Garoche

- Dep type with a tuple has been replaced by a record type
- Modules now is more integrated and performed the building of the type/clock env.
previously some computation were performed twice by different functions. Some of these functions have been moved from compiler_common to modules
59803095 11/16/2018 11:30 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal
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

View revisions

Also available in: Atom