Project

General

Profile

Activity

From 01/21/2019 to 02/19/2019

02/18/2019

02:29 PM Revision dc429e2f (lustrec): Merge branch 'ada' of https://cavale.enseeiht.fr/git/lustrec into ada
Guillaume DAVY
02:29 PM Revision c203d676 (lustrec): Ada Change private to limited private for State type package.
Guillaume DAVY

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 ...
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 al...
Guillaume DAVY
02:47 PM Revision c419ca44 (lustrec): Ada: Changed type name for states and normalized variable name to ma...
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 param...
Guillaume DAVY
03:22 PM Revision b12a91e0 (lustrec): Ada: Move some functions from ada_backend_ads.ml to ada_backend_comm...
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