Project

General

Profile

Activity

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

02/19/2019

11:02 PM Revision f3e8fc18 (lustrec): Ada: typo
Christophe Garion
11:01 PM Revision 08c4ec02 (lustrec): fix conflicts
Christophe Garion
10:59 PM Revision fd8aeeac (lustrec): Ada: pretty printing of reset function
Christophe Garion
05:40 PM Revision 903317e7 (lustrec): Ada: Remove generation of init and clear and some refactoring around
prototype. Guillaume DAVY
12:48 PM Revision 12946cbe (lustrec): Added component instantiation flattening
Arnaud Dieumegard
12:47 PM Revision 59b5eb05 (lustrec): Utility vhdl_name prefixing function
Arnaud Dieumegard
12:47 PM Revision 6cfa0edc (lustrec): MiniVHDL printer corrections
Arnaud Dieumegard
09:42 AM Revision 50fb3395 (lustrec): Use clause printing correction
Arnaud Dieumegard

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 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