Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
c_backend.ml 7.15 KB ca7e8027 12 months Lélio Brun fix almost all warnings
c_backend_cmake.ml 3.92 KB
c_backend_common.ml 29.8 KB ca7e8027 12 months Lélio Brun fix almost all warnings
c_backend_header.ml 16.6 KB 57c96fb7 11 months Lélio Brun setup tests for dune
c_backend_lusic.ml 689 Bytes e8250987 about 3 years Pierre-Loïc Garoche Unevaluation of types and clocks dimension has ...
c_backend_main.ml 8.69 KB ca7e8027 12 months Lélio Brun fix almost all warnings
c_backend_makefile.ml 4.51 KB 57c96fb7 11 months Lélio Brun setup tests for dune
c_backend_mauve.ml 7.35 KB ca7e8027 12 months Lélio Brun fix almost all warnings
c_backend_spec.ml 8.57 KB ca7e8027 12 months Lélio Brun fix almost all warnings
c_backend_src.ml 33.2 KB ca7e8027 12 months Lélio Brun fix almost all warnings

Latest revisions

# Date Author Comment
57c96fb7 02/15/2021 02:26 PM Lélio Brun

setup tests for dune

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

f0195e96 01/28/2020 05:26 AM Pierre-Loïc Garoche

- Primitive Tiny backend
- Renamed Mpfr to lustrec_mpfr
- Introduced dependency in Zarith. Trying to move away from Num

8d164031 12/09/2019 04:43 PM Pierre-Loïc Garoche

[MPFR] add more functions and better treatment of print output variables in main.c

04a188ec 11/21/2019 03:45 AM Pierre-Loïc Garoche

- Refactored Error exception and messages
- Bugs in partial evaluation for equalities among bool constants
and a nice recursive call generating a stack overflow! Now solved
- Setup a timeout for z3 in seal
- Better log for seal

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

View revisions

Also available in: Atom