CristalCaveGem » LustreC

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

10/13/2017

02:58 PM Revision 050147ec (lustrec): json-parser: correct parser for regex for real variables with e|E

Christophe Garion

02:58 PM Revision befd32b5 (lustrec): json-parser: add test for real variable with e|E

Christophe Garion

11:18 AM Revision d8abc19b (lustrec): json-parser: correct bug on real variables value

Christophe Garion

11:16 AM Revision cbfee4a3 (lustrec): json-parser: add string_of_XXX functions for assertions

Christophe Garion

10/12/2017

03:36 PM Revision c3d8313d (lustrec): json-parser: test exception for variables

Christophe Garion