Activity
From 01/21/2019 to 02/19/2019
02/18/2019
- 02:29 PM LustreC Revision dc429e2f (lustrec): Merge branch 'ada' of https://cavale.enseeiht.fr/git/lustrec into ada
- 02:29 PM LustreC Revision c203d676 (lustrec): Ada Change private to limited private for State type package.
02/14/2019
- 05:11 PM LustreC Revision 768f60f0 (lustrec): Ada: first pretty printing functions for adb
- 05:02 PM LustreC Revision 69cd79c6 (lustrec): Ada: Temporary change
- 02:47 PM LustreC Revision 4ba20be4 (lustrec): Ada: Add local variable declaration for step
- 02:42 PM LustreC Revision 2ddbde7d (lustrec): Ada: Last correction was incorrect
- 02:38 PM LustreC Revision e6705d79 (lustrec): Ada: Correct a bad copy-paste
- 02:35 PM LustreC Revision fd834769 (lustrec): Ada: Add the generation of the wrapper file : the main ada file and ...
- only if the main node option is given to lustrec. This feature implied some refactoring. Also
added some OCaml Doc to...
02/13/2019
- 07:38 PM LustreC Revision 7cbb6d8a (lustrec): Ada: Add to the machine state all its subinstance states. Improve al...
- 02:47 PM LustreC Revision c419ca44 (lustrec): Ada: Changed type name for states and normalized variable name to ma...
02/12/2019
- 08:00 PM LustreC Revision 3d85297f (lustrec): Ada: Add prototype of the four procedure in the adb generation
- 06:46 PM LustreC Revision c06b3b47 (lustrec): Ada: Add the state variable in the ads, type definition and as param...
- 03:22 PM LustreC Revision b12a91e0 (lustrec): Ada: Move some functions from ada_backend_ads.ml to ada_backend_comm...
- 03:21 PM LustreC Revision 81e2ad2f (lustrec): Ada: Remove useless comment
- 02:57 PM LustreC Revision bdc471f3 (lustrec): 3 main modifications :
- - Create a new file : ada_backend_common.ml which contains all the function common to adb and ads.
- Add comment to... - 11:15 AM LustreC Revision 48a6309c (lustrec): Basic structure for Ada backend
02/11/2019
- 03:05 PM LustreC Revision f20d8ac7 (lustrec): Ada: skeletons for Ada compiler
Also available in: Atom