Activity
From 02/20/2019 to 03/21/2019
03/21/2019
- 09:42 PM Revision 08788a01 (lustrec): Merge branch 'ada' into lustrec-seal
- 09:42 PM Revision 4034b51c (lustrec): more explanation in case of failure. Still dirty
- 09:41 PM Lustrec-Tests Revision ffe46d5f (lustrec-tests): Top level contracts are comments
- 09:38 PM Lustrec-Tests Revision 3debaf88 (lustrec-tests): Removed mode labels
- 09:29 PM Lustrec-Tests Revision 2a9aa5e1 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
- 09:29 PM Lustrec-Tests Revision 4784e95f (lustrec-tests): Small modifications to have the tests ok: we do not handle yet the ::mode_id syntax
- 09:28 PM Lustrec-Tests Revision f0e4e301 (lustrec-tests): Moved files content in a single file
- 08:25 PM Lustrec-Tests Revision 6ccfcb12 (lustrec-tests): add regulators cocospec example
- 07:55 PM Revision f5769e61 (lustrec): Better JSON for EMF backend
- 07:41 PM Revision 861f327f (lustrec): Resolved sort order of nodes
- 07:23 PM Revision 61e0c3c4 (lustrec): Ada:
- - Correct the merge with lustrec-seal
- Improve support for builtin function(still work to do)
- Add generation o... - 05:20 PM Revision 1fd3d002 (lustrec): Cocospec: parsing, normalizing and processing machines for contracts.
- 05:19 PM Revision 42f91c0b (lustrec): Better EMF output, solved some invalid JSON produced
- 05:18 PM Revision 71999483 (lustrec): Cleaning C backend - removing unused functiions
- Preparing for coming ACSL
- 05:16 PM Lustrec-Tests Revision b8c35852 (lustrec-tests): Merge branch 'guarantees'
- 05:15 PM Lustrec-Tests Revision 61a7e719 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
- 05:15 PM Lustrec-Tests Revision 85dbaa74 (lustrec-tests): Merge branch 'master' into guarantees
- 05:12 PM Lustrec-Tests Revision bd3f748f (lustrec-tests): guarantee(s)
- 12:32 AM Lustrec-Tests Revision 99a9d521 (lustrec-tests): remove corrupted lustre files
03/20/2019
- 02:48 AM Lustrec-Tests Revision 17b2e00a (lustrec-tests): add ADA strategy and call it in Simulink folder
03/19/2019
- 03:21 AM Lustrec-Tests Revision 36b093bd (lustrec-tests): cleanup src_many_files, regenerate input/output references
03/18/2019
- 10:29 PM Revision 4d2d6777 (lustrec): INSTALL file
- 08:31 PM Revision de671495 (lustrec): Merging branches, disabling the specification print in Ada backend. Should be re-enabled at some point
- 04:52 PM Revision ab26e196 (lustrec): Merge branch 'lustrec-seal' into ada
- 04:31 PM Revision d5ec9f63 (lustrec): Minor modif on seal
- 03:34 PM Revision 6517aa0e (lustrec): Reorganizing folders
03/16/2019
- 04:00 PM Lustrec-Tests Revision cd1faebc (lustrec-tests): No temporary file on repo!
- 03:28 PM Revision c3b0a8c9 (lustrec): Merge branch 'salsa' into lustrec-seal
- 06:23 AM Revision 61df3cb9 (lustrec): Reformating plugin signatures. Better report management
03/15/2019
- 10:14 PM Revision f0a067e9 (lustrec): Better production of trace files.
- By default traces are not produced. Requires the option -t to produce them
- 12:40 AM Revision 70be4acf (lustrec): Serious refactoring of scopes plug-in:
- - now properly records the scopes
- only register requested ones
03/14/2019
- 08:27 PM Lustrec-Tests Revision f470cec6 (lustrec-tests): add more cocospec examples
03/13/2019
- 05:23 PM Revision 57bf28d9 (lustrec): Merge branch 'unstable' into salsa
- 05:22 PM Revision 6eeafd52 (lustrec): bug solved: issues with main node input access when using scope plugin
- 01:27 PM Revision 525eebd1 (lustrec): Ada: Correct branch exporting to handle boolean match(using an ada if)
- 10:42 AM Revision 379715f7 (lustrec): Ada: Improve input/output of main ada file
03/12/2019
- 03:45 PM Revision 29eebf22 (lustrec): New -salsa-disable option
- 03:17 PM Revision 406818e7 (lustrec): Merge branch 'unstable' into salsa
- 02:26 PM Revision 663e3554 (lustrec): num as a package
- 01:18 PM Revision 6e3cdaf6 (lustrec): Ada: Add pretty printer for case
- 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.
- 09:48 AM Revision 8d22ea35 (lustrec): Ada: Some indentation
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.
- 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... - 07:38 PM Revision 09d7b39f (lustrec): Ada: Add generation of step calls and refactor prototypes and ads printing to handle staless
- instance.
- 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 ...
02/26/2019
02/25/2019
- 01:40 PM Revision 03143434 (lustrec): Ada: Add readers and printers for main.adb to match c tests.
- 01:39 PM Revision 2edf6b6d (lustrec): Ada: Add the prefix ada for variable named with an Ada reserved name.
- 01:38 PM Revision dda9eb32 (lustrec): Ada: Correct contract printing
- 01:07 PM Revision 83f4b59c (lustrec): Ada: Correct the subcalls to reset for node with polymorphic type(like arrow)
- 12:33 PM Revision 808da3ff (lustrec): Ada: Correct state print for variable assignement
- 11:35 AM Revision b1ac8bbf (lustrec): Ada: Add a pp_with for general with ada statement
- 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
- 10:01 AM Revision 721ce555 (lustrec): Ada: Removed useless function
02/24/2019
- 11:24 PM Lustrec-Tests Revision 1e3ae41f (lustrec-tests): add another contract example
- 11:21 PM Lustrec-Tests Revision dd2eeba6 (lustrec-tests): add another contract example
02/21/2019
- 10:04 PM Revision ec473179 (lustrec): ada: pretty print assignment statement for state
- 03:49 PM Revision 09b24e7a (lustrec): Ada: Start exporting spec
- 03:43 PM Revision a2922b84 (lustrec): Merge branch 'ada' of https://cavale.enseeiht.fr/git/lustrec into ada
- 03:42 PM Revision 19f000f6 (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec into ada
- 03:42 PM Revision c85c2e3d (lustrec): Ada: pretty printing functions for values and assignments in adb
- 02:27 PM Revision f2c916b4 (lustrec): Ada: Correct some errors on the type checking due to polymorphic type.
- 02:27 PM Revision 8c8d009b (lustrec): Ada: Removed from adb the print of clear and init.
- 02:26 PM Revision e4b630c5 (lustrec): Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustrec into ada
- 10:45 AM Revision e6492c59 (lustrec): Ada: Change some loggging feature
- 10:01 AM Revision 5e54ab9c (lustrec): Ada: Add new function to print package name from node spec to be called by adb backend.
02/20/2019
- 06:23 PM Revision e20d2d2e (lustrec): Merge branch 'ada' of https://cavale.enseeiht.fr/git/lustrec into ada
- 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.
Also available in: Atom