Project

General

Profile

Activity

From 02/10/2019 to 03/11/2019

03/11/2019

09:58 PM Bug #69 (Closed): fatal error: bracket nesting level exceeded maximum of 256
I solved the issuer by adding "-fbracket-depth=10000" to GCC option while running make. Hamza Bourbouh
09:55 PM Bug #71 (Closed): C code generation failed
lustrec -node ForIterator_bio_bug_PP ForIterator_bio_bug_PP.LUSTREC.lus
make -f ForIterator_bio_bug_PP.LUSTREC.makef...
Hamza Bourbouh
07:38 PM Revision 09d7b39f (lustrec): Ada: Add generation of step calls and refactor prototypes and ads pr...
instance. Guillaume DAVY
02:52 PM Revision 3de9f6e4 (lustrec): Ada: Refactor the instantiation code and instance code, instead of p...
to the pp_file and all subfunction in adb generation we pass a list of typed instance which
contains the submachines ...
Guillaume DAVY

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(li...
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...
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/lustre...
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 cal...
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, insta...
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 ...
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