Project

General

Profile

Activity

From 01/28/2019 to 02/26/2019

02/26/2019

01:55 PM Revision 1ed1c8b8 (lustrec): Ada: Corrections of some bugs discovered with lustrec-tests
Guillaume DAVY

02/25/2019

01:40 PM Revision 03143434 (lustrec): Ada: Add readers and printers for main.adb to match c tests.
Guillaume DAVY
01:39 PM Revision 2edf6b6d (lustrec): Ada: Add the prefix ada for variable named with an Ada reserved name.
Guillaume DAVY
01:38 PM Revision dda9eb32 (lustrec): Ada: Correct contract printing
Guillaume DAVY
01:07 PM Revision 83f4b59c (lustrec): Ada: Correct the subcalls to reset for node with polymorphic type(like arrow)
Guillaume DAVY
12:33 PM Revision 808da3ff (lustrec): Ada: Correct state print for variable assignement
Guillaume DAVY
11:35 AM Revision b1ac8bbf (lustrec): Ada: Add a pp_with for general with ada statement
Guillaume DAVY
11:34 AM Revision 695db4da (lustrec): Ada: - Replace MStep and Mbranch output by Null to have compilable Ada.
- Correct pp_value to print state access when the variable is memory Guillaume DAVY
10:01 AM Revision 721ce555 (lustrec): Ada: Removed useless function
Guillaume DAVY

02/24/2019

11:24 PM Lustrec-Tests Revision 1e3ae41f (lustrec-tests): add another contract example
Bourbouh
11:21 PM Lustrec-Tests Revision dd2eeba6 (lustrec-tests): add another contract example
Bourbouh

02/21/2019

10:04 PM Revision ec473179 (lustrec): ada: pretty print assignment statement for state
Christophe Garion
03:49 PM Revision 09b24e7a (lustrec): Ada: Start exporting spec
Guillaume DAVY
03:43 PM Revision a2922b84 (lustrec): Merge branch 'ada' of https://cavale.enseeiht.fr/git/lustrec into ada
Christophe Garion
03:42 PM Revision 19f000f6 (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec into ada
Christophe Garion
03:42 PM Revision c85c2e3d (lustrec): Ada: pretty printing functions for values and assignments in adb
Christophe Garion
02:27 PM Revision f2c916b4 (lustrec): Ada: Correct some errors on the type checking due to polymorphic type.
Guillaume DAVY
02:27 PM Revision 8c8d009b (lustrec): Ada: Removed from adb the print of clear and init.
Guillaume DAVY
02:26 PM Revision e4b630c5 (lustrec): Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustrec into ada
Guillaume DAVY
10:45 AM Revision e6492c59 (lustrec): Ada: Change some loggging feature
Guillaume DAVY
10:01 AM Revision 5e54ab9c (lustrec): Ada: Add new function to print package name from node spec to be called by adb backend.
Guillaume DAVY

02/20/2019

06:23 PM Revision e20d2d2e (lustrec): Merge branch 'ada' of https://cavale.enseeiht.fr/git/lustrec into ada
Guillaume DAVY
06:09 PM Revision 9e5f8085 (lustrec): Ada: Add support for arrows as an independent generic package, instantiated in each
package using it. It required a lot of refactoring. Guillaume DAVY

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