Project

General

Profile

Activity

From 02/13/2019 to 03/14/2019

03/14/2019

08:27 PM Lustrec-Tests Revision f470cec6 (lustrec-tests): add more cocospec examples
hbourbou

03/13/2019

05:23 PM Revision 57bf28d9 (lustrec): Merge branch 'unstable' into salsa
Pierre-Loïc Garoche
05:22 PM Revision 6eeafd52 (lustrec): bug solved: issues with main node input access when using scope plugin
Pierre-Loïc Garoche
01:27 PM Revision 525eebd1 (lustrec): Ada: Correct branch exporting to handle boolean match(using an ada if)
Guillaume DAVY
10:42 AM Revision 379715f7 (lustrec): Ada: Improve input/output of main ada file
Guillaume DAVY

03/12/2019

03:45 PM Revision 29eebf22 (lustrec): New -salsa-disable option
Pierre-Loïc Garoche
03:17 PM Revision 406818e7 (lustrec): Merge branch 'unstable' into salsa
Pierre-Loïc Garoche
02:26 PM Revision 663e3554 (lustrec): num as a package
Pierre-Loïc Garoche
01:18 PM Revision 6e3cdaf6 (lustrec): Ada: Add pretty printer for case
Guillaume DAVY
11:23 AM Revision f4cba4b8 (lustrec): Some progress on compiling cocospec contract.
Contract resolution still need to be done as well as dealing with the machine code level and so on. Pierre-Loïc Garoche
09:48 AM Revision 8d22ea35 (lustrec): Ada: Some indentation
Guillaume DAVY

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 printing to handle staless
instance. Guillaume DAVY
02:52 PM Revision 3de9f6e4 (lustrec): Ada: Refactor the instantiation code and instance code, instead of passing the machine list
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(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
 

Also available in: Atom