CristalCaveGem » LustreC

11/14/2019

05:56 PM Revision 3066247f (lustrec): cleaning debug logs

Pierre-Loïc Garoche

05:56 PM Revision e47138b8 (lustrec): reactivating the unfolding of constants

Pierre-Loïc Garoche

05:55 PM Revision 2db953dd (lustrec): flatten dependencies in schedule to make sure all required equations are used

Pierre-Loïc Garoche

05:54 PM Revision 8a11dc80 (lustrec): cleaning debug logs

Pierre-Loïc Garoche

11/06/2019

10:19 AM Revision ab8388cf (lustrec): [emf] added the names of the cocospec properties in the output json

Pierre-Loïc Garoche

07:53 AM Revision e6b644f4 (lustrec): better negation of constants

Pierre-Loïc Garoche

11/05/2019

12:11 AM Revision 51aef490 (lustrec): Better treatment of arrays in EMF backend. Be careful it may have changed the way enum types are declared

Pierre-Loïc Garoche

12:11 AM Lustrec-Tests Revision 2a5c9911 (lustrec-tests): array example with spec

Pierre-Loïc Garoche