Project

General

Profile

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
Christophe Garion
05:02 PM Revision 69cd79c6 (lustrec): Ada: Temporary change
Guillaume DAVY
02:47 PM Revision 4ba20be4 (lustrec): Ada: Add local variable declaration for step
Guillaume DAVY
02:42 PM Revision 2ddbde7d (lustrec): Ada: Last correction was incorrect
Guillaume DAVY
02:38 PM Revision e6705d79 (lustrec): Ada: Correct a bad copy-paste
Guillaume DAVY
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...
Guillaume DAVY

02/13/2019

07:38 PM Revision 7cbb6d8a (lustrec): Ada: Add to the machine state all its subinstance states. Improve also identifier cleaning
Guillaume DAVY
02:47 PM Revision c419ca44 (lustrec): Ada: Changed type name for states and normalized variable name to match ada requirements.
Guillaume DAVY

02/12/2019

08:00 PM Revision 3d85297f (lustrec): Ada: Add prototype of the four procedure in the adb generation
Guillaume DAVY
06:46 PM Revision c06b3b47 (lustrec): Ada: Add the state variable in the ads, type definition and as parameter of all procedure
Guillaume DAVY
03:22 PM Revision b12a91e0 (lustrec): Ada: Move some functions from ada_backend_ads.ml to ada_backend_common.ml
Guillaume DAVY
03:21 PM Revision 81e2ad2f (lustrec): Ada: Remove useless comment
Guillaume DAVY
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...
Guillaume DAVY
11:15 AM Revision 48a6309c (lustrec): Basic structure for Ada backend
Guillaume DAVY

02/11/2019

03:05 PM Revision f20d8ac7 (lustrec): Ada: skeletons for Ada compiler
Christophe Garion
 

Also available in: Atom