Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / include @ 04a188ec

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

Latest revisions

# Date Author Comment
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

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

e4811e4c 08/04/2018 12:58 AM Bourbouh

add more conversion libraries

View revisions

Also available in: Atom