Project

General

Profile

Activity

From 11/02/2017 to 12/01/2017

11/28/2017

06:33 PM Revision db7468fd (lustrec): Added some libm functions to lustrec_math.lusi
Pierre-Loïc Garoche

11/15/2017

09:12 AM Revision 3e1d20e0 (lustrec): [MCDC] Solved some issues and transformed the code from iterators to fold
Pierre-Loïc Garoche
12:48 AM Revision ef8ef3ed (lustrec): [lustret] bug solved in file path
Pierre-Loïc Garoche
12:43 AM Revision 0d6c2694 (lustrec): [lustret] mutation report is create in initial folder
Pierre-Loïc Garoche
12:32 AM Revision 55a8633c (lustrec): [lustret] Improved mutation with json traceability
Pierre-Loïc Garoche
12:31 AM Revision fd19d190 (lustrec): New function in Location to access to line number
Pierre-Loïc Garoche
12:31 AM Revision 04257b1e (lustrec): Moved stage1 in separate file: it is shared among binaries
Pierre-Loïc Garoche

11/14/2017

07:22 PM Revision 7c79dd93 (lustrec): [EMF] adding original name field in the JSON
Pierre-Loïc Garoche

11/10/2017

12:19 AM Revision 7eafa0e1 (lustrec): [EMF] Added the reset signal (the every argument) as input to the JSON struct
Pierre-Loïc Garoche

11/09/2017

10:58 PM Revision c80e92d1 (lustrec): Solving a warning with ocaml 4.04 and uppercase_ascii. Provides backward compatibility for 4.02
Pierre-Loïc Garoche
10:45 PM Revision 953879f0 (lustrec): Issue with clocked expressions. Now handled throught a local branch, ie. a single action block in Simulink
Pierre-Loïc Garoche
10:45 PM Revision 103f6f60 (lustrec): Missing last fprintf @. in the lustre output
Pierre-Loïc Garoche
 

Also available in: Atom