CristalCaveGem » LustreC

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