Activity
From 01/15/2019 to 02/13/2019
02/13/2019
- 07:38 PM Revision 7cbb6d8a (lustrec): Ada: Add to the machine state all its subinstance states. Improve also identifier cleaning
- 02:47 PM Revision c419ca44 (lustrec): Ada: Changed type name for states and normalized variable name to match ada requirements.
02/12/2019
- 08:00 PM Revision 3d85297f (lustrec): Ada: Add prototype of the four procedure in the adb generation
- 06:46 PM Revision c06b3b47 (lustrec): Ada: Add the state variable in the ads, type definition and as parameter of all procedure
- 03:22 PM Revision b12a91e0 (lustrec): Ada: Move some functions from ada_backend_ads.ml to ada_backend_common.ml
- 03:21 PM Revision 81e2ad2f (lustrec): Ada: Remove useless comment
- 02:57 PM 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 Revision 48a6309c (lustrec): Basic structure for Ada backend
02/11/2019
Also available in: Atom