Activity - LustreC

Activity

From 10/16/2017 to 11/14/2017

11/14/2017

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

11/09/2017

12:19 AM Revision 7eafa0e1 (lustrec): [EMF] Added the reset signal (the every argument) as input to the JS...: Pierre-Loïc Garoche
10:58 PM Revision c80e92d1 (lustrec): Solving a warning with ocaml 4.04 and uppercase_ascii. Provides back...: Pierre-Loïc Garoche
10:45 PM Revision 953879f0 (lustrec): Issue with clocked expressions. Now handled throught a local branch,...: 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