Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / include @ 0bca9d53

Name Size Revision Age Author Comment
StdIn.java 8.66 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
arrow.c 306 Bytes 80f93e0a almost 3 years Xavier Thirioux added deallocation for dynamic memory allocatio...
arrow.cpp 215 Bytes 52c5ba00 almost 3 years David Doose adding c++ backend
arrow.h 823 Bytes 80f93e0a almost 3 years Xavier Thirioux added deallocation for dynamic memory allocatio...
arrow.hpp 827 Bytes d1b9423d almost 3 years David Doose mauve generator: first shot
conv.c 104 Bytes 3dacdcc2 almost 6 years Pierre-Loïc Garoche Convertion operators git-svn-id: https://cava...
conv.lusi 130 Bytes 3dacdcc2 almost 6 years Pierre-Loïc Garoche Convertion operators git-svn-id: https://cava...
io_frontend.c 2.27 KB f5a568dd over 2 years Pierre-Loïc Garoche Flushing after printing in io_frontend functions
io_frontend.h 744 Bytes 9a7268ba over 2 years Pierre-Loïc Garoche io_frontend header with new functions
io_frontend.hpp 2.27 KB 9a7268ba over 2 years Pierre-Loïc Garoche io_frontend header with new functions
lustrec_math.lusi 1.27 KB db7468fd over 2 years Pierre-Loïc Garoche Added some libm functions to lustrec_math.lusi
lustrec_math.smt2 195 Bytes 30f46c0c over 2 years Pierre-Loïc Garoche Renamed math lib into lustrec_math to avoid con...
mpfr_lustre.c 1.82 KB 66e25f0f over 3 years Xavier Thirioux ...
mpfr_lustre.lusi 599 Bytes 66e25f0f over 3 years Xavier Thirioux ...
simulink_math_fcn.c 511 Bytes 0bca9d53 almost 2 years Pierre-Loïc Garoche Recursive resolution of dependencies
simulink_math_fcn.lusi 259 Bytes 0bca9d53 almost 2 years Pierre-Loïc Garoche Recursive resolution of dependencies

Latest revisions

# Date Author Comment
0bca9d53 03/15/2018 02:58 AM Pierre-Loïc Garoche

Recursive resolution of dependencies

2ca4d0c9 12/06/2017 09:27 AM Hamza Bourbouh

add fmod function in include/simulink_math_fcn.lusi

db7468fd 11/28/2017 06:33 PM Pierre-Loïc Garoche

Added some libm functions to lustrec_math.lusi

40ad675e 07/14/2017 06:32 AM Pierre-Loïc Garoche

A math library for some functions used in Simulink

30f46c0c 07/14/2017 06:30 AM Pierre-Loïc Garoche

Renamed math lib into lustrec_math to avoid conflicting calls to <math.h>

9a7268ba 06/22/2017 05:22 PM Pierre-Loïc Garoche

io_frontend header with new functions

f5a568dd 06/22/2017 05:14 PM Pierre-Loïc Garoche

Flushing after printing in io_frontend functions

d6976d31 06/22/2017 03:49 AM Pierre-Loïc Garoche

Removed duplicate tan definition in math.lusi

2800921b 06/22/2017 03:47 AM Bourbouh

add tan function to math.lusi

5d6fc968 06/22/2017 03:37 AM Pierre-Loïc Garoche

Merge branch 'unstable' into seahorn_a6df3

View revisions

Also available in: Atom