Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/include @ 971a4d81

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

Latest revisions

# Date Author Comment
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
e491c34a 11/17/2018 01:56 AM Pierre-Loïc Garoche

Issues with linking Z3 on OSX

View revisions

Also available in: Atom