Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/include @ 8060f89a

Name Size Revision Age Author Comment
StdIn.java 8.66 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
arrow.c 306 Bytes 80f93e0a about 6 years Xavier Thirioux added deallocation for dynamic memory allocatio...
arrow.cpp 215 Bytes 52c5ba00 over 6 years David Doose adding c++ backend
arrow.h 823 Bytes 80f93e0a about 6 years Xavier Thirioux added deallocation for dynamic memory allocatio...
arrow.hpp 827 Bytes d1b9423d over 6 years David Doose mauve generator: first shot
arrow_spec.h 903 Bytes 8060f89a about 2 years Lélio Brun forgotten file
conv.c 429 Bytes e4811e4c almost 5 years Bourbouh add more conversion libraries
conv.lusi 532 Bytes e5d77428 about 4 years Pierre-Loïc Garoche Solved issue btw mpfr and conv functions (int_t...
dune 763 Bytes 971a4d81 over 2 years Lélio Brun missing header files in dune install targets
io_frontend.c 1.92 KB f0a067e9 about 4 years Pierre-Loïc Garoche Better production of trace files. By default tr...
io_frontend.h 660 Bytes f0a067e9 about 4 years Pierre-Loïc Garoche Better production of trace files. By default tr...
io_frontend.hpp 1.91 KB f0a067e9 about 4 years Pierre-Loïc Garoche Better production of trace files. By default tr...
lustrec_math.lusi 1.57 KB 4d841db7 almost 5 years Bourbouh add tanh
lustrec_math.smt2 869 Bytes 4d841db7 almost 5 years Bourbouh add tanh
mpfr_lustre.c 6.23 KB 8d164031 over 3 years Pierre-Loïc Garoche [MPFR] add more functions and better treatment ...
mpfr_lustre.lusi 2.12 KB 8d164031 over 3 years Pierre-Loïc Garoche [MPFR] add more functions and better treatment ...
simulink_math_fcn.c 607 Bytes 239f4429 almost 5 years Bourbouh fix rem and mod
simulink_math_fcn.lusi 238 Bytes 6f3a65e2 about 4 years hbourbou No need for open lustrec_math inside simulink_m...
z3librc.in 108 Bytes e491c34a over 4 years Pierre-Loïc Garoche Issues with linking Z3 on OSX

Latest revisions

# Date Author Comment
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.
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
7f2309bc 11/20/2018 07:02 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal
b2b2ac74 11/17/2018 06:26 AM Pierre-Loïc Garoche

Merge branch 'master' into unstable

View revisions

Also available in: Atom