Activity
From 01/16/2019 to 02/14/2019
02/14/2019
- 05:11 PM Revision 768f60f0 (lustrec): Ada: first pretty printing functions for adb
- 05:02 PM Revision 69cd79c6 (lustrec): Ada: Temporary change
- 02:47 PM Revision 4ba20be4 (lustrec): Ada: Add local variable declaration for step
- 02:42 PM Revision 2ddbde7d (lustrec): Ada: Last correction was incorrect
- 02:38 PM Revision e6705d79 (lustrec): Ada: Correct a bad copy-paste
- 02:35 PM Revision fd834769 (lustrec): Ada: Add the generation of the wrapper file : the main ada file and the project. It is called
- 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 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