Commits · 5e34c383567b89b7cc3d8c4950bced7d93d80099 · LustreC / Lustrec

May 25, 2022
- new way of handling contracts : use ghost contract function + contract transition relations · 5e34c383
  BRUN Lelio authored 2 years ago
  
  5e34c383
Jun 30, 2021
- start instrumenting the main C function · d978c46e
  BRUN Lelio authored 3 years ago
  
  d978c46e
Jun 18, 2021
- implement optimization on spec: IT WORKS · 0406ab94
  BRUN Lelio authored 3 years ago
  
  0406ab94
Jun 17, 2021
- reformatting · ca7ff3f7
  BRUN Lelio authored 3 years ago
  
  ca7ff3f7
Jun 16, 2021
- it works · aaa8e454
  BRUN Lelio authored 3 years ago
  
  aaa8e454
Jun 14, 2021
- work on spec generation almost done · 6d1693b9
  BRUN Lelio authored 3 years ago
  
  6d1693b9
Jun 03, 2021
- start again with spec representation · 6cbbe1c1
  BRUN Lelio authored 3 years ago
  
  6cbbe1c1
Apr 21, 2021
- forgotten file · 8060f89a
  BRUN Lelio authored 4 years ago
  
  8060f89a
Feb 16, 2021
- missing header files in dune install targets · 971a4d81
  BRUN Lelio authored 4 years ago
  
  971a4d81
Feb 15, 2021
- setup tests for dune · 57c96fb7
  BRUN Lelio authored 4 years ago
  
  57c96fb7
Dec 09, 2019
- [MPFR] add more functions and better treatment of print output variables in main.c · 8d164031
  Pierre Loic Garoche authored 5 years ago
  
  8d164031
May 09, 2019
- Solved issue btw mpfr and conv functions (int_to_real was not handled) · e5d77428
  Pierre Loic Garoche authored 5 years ago
  
  e5d77428
Apr 17, 2019
- No need for open lustrec_math inside simulink_math_fcn. It creates an error... · 6f3a65e2
  Hamza Bourbouh authored 6 years ago
  
  No need for open lustrec_math inside simulink_math_fcn. It creates an error when they are both imported in the same lustre file.
  6f3a65e2
Mar 15, 2019
- Better production of trace files. · f0a067e9
  Pierre Loic Garoche authored 6 years ago
  
  By default traces are not produced. Requires the option -t to produce them
  f0a067e9
Nov 17, 2018
- Issues with linking Z3 on OSX · e491c34a
  Pierre Loic Garoche authored 6 years ago
  
  e491c34a
Nov 16, 2018
- math fun lib support in MPFR · d948c0bd
  Pierre Loic Garoche authored 6 years ago
  
  d948c0bd
Aug 03, 2018
- add more conversion libraries · e4811e4c
  Hamza Bourbouh authored 6 years ago
  
  e4811e4c
Jul 24, 2018
- fix rem and mod · 239f4429
  Hamza Bourbouh authored 6 years ago
  
  239f4429
- add tanh · 4d841db7
  Hamza Bourbouh authored 6 years ago
  
  4d841db7
May 28, 2018
- [lustrev] forced the z3 lib to be loaded before others when using the provided bash script. · 5275a6fd
  Pierre Loic Garoche authored 6 years ago
  
  5275a6fd
Mar 15, 2018
- Add the script to update LD_LIBRARY_PATH for z3 · c5de2e97
  Pierre Loic Garoche authored 7 years ago
  
  c5de2e97
- add lustrec math functions · dd29e0c7
  Hamza Bourbouh authored 7 years ago
  
  dd29e0c7
- Recursive resolution of dependencies · 0bca9d53
  Pierre Loic Garoche authored 7 years ago
  
  0bca9d53
Dec 06, 2017
- add fmod function in include/simulink_math_fcn.lusi · 2ca4d0c9
  Hamza Bourbouh authored 7 years ago
  
  2ca4d0c9
Nov 28, 2017
- Added some libm functions to lustrec_math.lusi · db7468fd
  Pierre Loic Garoche authored 7 years ago
  
  db7468fd
Jul 14, 2017
- A math library for some functions used in Simulink · 40ad675e
  Pierre Loic Garoche authored 7 years ago
  
  40ad675e
- Renamed math lib into lustrec_math to avoid conflicting calls to <math.h> · 30f46c0c
  Pierre Loic Garoche authored 7 years ago
  
  30f46c0c
Jun 22, 2017
- io_frontend header with new functions · 9a7268ba
  Pierre Loic Garoche authored 7 years ago
  
  9a7268ba
- Flushing after printing in io_frontend functions · f5a568dd
  Pierre Loic Garoche authored 7 years ago
  
  f5a568dd
- Removed duplicate tan definition in math.lusi · d6976d31
  Pierre Loic Garoche authored 7 years ago
  
  d6976d31
- add tan function to math.lusi · 2800921b
  Hamza Bourbouh authored 8 years ago
  
  2800921b
Jun 21, 2017
- _Bool are unsigned integer. The cast as a _Bool is delayed until the end of the function · e0597d49
  Pierre Loic Garoche authored 8 years ago
  
  e0597d49
Jun 20, 2017
- add tan function in math.lusi · afbf8da2
  Hamza Bourbouh authored 7 years ago
  
  afbf8da2
Mar 03, 2017
- added deallocation for dynamic memory allocation scheme · 80f93e0a
  THIRIOUX Xavier authored 8 years ago
  
  80f93e0a
Mar 02, 2017
- mauve generator: first shot · d1b9423d
  David Doose authored 8 years ago
  
  d1b9423d
Mar 01, 2017
- adding c++ backend · 52c5ba00
  David Doose authored 8 years ago
  
  52c5ba00
Jan 10, 2017
- Remove generated files (.h for include for as well as .in files of configure) · 3ebf9aa2
  Pierre Loic Garoche authored 8 years ago
  
  3ebf9aa2
- Changed the generated C file to produce input and output csv files (named inXX and outXX) · 6fa45cb6
  Pierre Loic Garoche authored 8 years ago
  
  6fa45cb6
Jan 06, 2017
- missing files · e301f1fb
  Temesghen Kahsai authored 8 years ago
  
  e301f1fb
- adding math.smt2 · 9f77bff7
  Temesghen Kahsai authored 8 years ago
  
  9f77bff7