Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/include @ ca7ff3f7

Name Size Revision Age Author Comment
StdIn.java 8.66 KB 22fe1c93 over 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
arrow.c 438 Bytes 6d1693b9 7 months Lélio Brun work on spec generation almost done
arrow.cpp 215 Bytes 52c5ba00 almost 5 years David Doose adding c++ backend
arrow.h 567 Bytes 6d1693b9 7 months Lélio Brun work on spec generation almost done
arrow.hpp 827 Bytes d1b9423d almost 5 years David Doose mauve generator: first shot
arrow_spec.c 540 Bytes 6d1693b9 7 months Lélio Brun work on spec generation almost done
arrow_spec.h 1.71 KB aaa8e454 7 months Lélio Brun it works
conv.c 429 Bytes e4811e4c over 3 years Bourbouh add more conversion libraries
conv.lusi 532 Bytes e5d77428 over 2 years Pierre-Loïc Garoche Solved issue btw mpfr and conv functions (int_t...
dune 771 Bytes ca7ff3f7 7 months Lélio Brun reformatting
io_frontend.c 1.92 KB f0a067e9 almost 3 years Pierre-Loïc Garoche Better production of trace files. By default tr...
io_frontend.h 660 Bytes f0a067e9 almost 3 years Pierre-Loïc Garoche Better production of trace files. By default tr...
io_frontend.hpp 1.91 KB f0a067e9 almost 3 years Pierre-Loïc Garoche Better production of trace files. By default tr...
lustrec_math.lusi 1.57 KB 4d841db7 over 3 years Bourbouh add tanh
lustrec_math.smt2 869 Bytes 4d841db7 over 3 years Bourbouh add tanh
mpfr_lustre.c 6.23 KB 8d164031 about 2 years Pierre-Loïc Garoche [MPFR] add more functions and better treatment ...
mpfr_lustre.lusi 2.12 KB 8d164031 about 2 years Pierre-Loïc Garoche [MPFR] add more functions and better treatment ...
simulink_math_fcn.c 607 Bytes 239f4429 over 3 years Bourbouh fix rem and mod
simulink_math_fcn.lusi 238 Bytes 6f3a65e2 almost 3 years hbourbou No need for open lustrec_math inside simulink_m...
z3librc.in 108 Bytes e491c34a about 3 years Pierre-Loïc Garoche Issues with linking Z3 on OSX

Latest revisions

# Date Author Comment
ca7ff3f7 06/17/2021 11:33 AM Lélio Brun

reformatting
aaa8e454 06/16/2021 06:44 PM Lélio Brun

it works
6d1693b9 06/14/2021 07:06 PM Lélio Brun

work on spec generation almost done
6cbbe1c1 06/03/2021 04:44 PM Lélio Brun

start again with spec representation
8060f89a 04/21/2021 06:01 PM Lélio Brun

forgotten file
971a4d81 02/16/2021 12:33 PM Lélio Brun

missing header files in dune install targets
57c96fb7 02/15/2021 02:26 PM Lélio Brun

setup tests for dune
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
e5d77428 05/09/2019 10:19 AM Pierre-Loïc Garoche

Solved issue btw mpfr and conv functions (int_to_real was not handled)
6f3a65e2 04/17/2019 02:27 AM hbourbou

No need for open lustrec_math inside simulink_math_fcn. It creates an error when they are both imported in the same lustre file.

View revisions

Also available in: Atom