Activity
From 09/09/2018 to 10/08/2018
10/08/2018
- 05:14 PM Lustrec-Tests Revision 0b109a10 (lustrec-tests): Scheduling issue
- 05:03 PM Revision ba371202 (lustrec): Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec into cocospec
- 04:53 PM Revision a6b15b13 (lustrec): Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec into cocospec
- 04:52 PM Revision 2d27eedd (lustrec): - Global type env and clock env now availble as a global reference (Global module)
- - Adapted the parsing of specification with a cocospec compatible one
- The data structure of contracts is now almost... - 04:49 PM Lustrec-Tests Revision 2d37a1e1 (lustrec-tests): Renaminig lustre contracts from ensures to guarantees
- Will require the latest cocospec branch to compile (before it is integrated in the unstable/master branches)
- 11:01 AM Revision d4b28a09 (lustrec): cocospec: fixing merge conflicts on parser
- 09:25 AM Revision 873647ba (lustrec): Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec into cocospec
10/05/2018
- 10:00 PM Bug #70: Lustrec does not terminate
- The redmine may be in bad shape due to the migration. I'll investigate. Please send it by email.
- 09:45 PM Bug #70: Lustrec does not terminate
- I get always Internal Server Error. I will send it by email
- 09:39 PM Bug #70: Lustrec does not terminate
- Where is the file?
- 08:43 PM Bug #70: Lustrec does not terminate
- It terminates, but take a very long time to finish.
- 08:36 PM Bug #70 (Closed): Lustrec does not terminate
- Lustrec does not terminate and is stuck while generating the C code for the attached file.
- 07:54 PM Revision 778c80fd (lustrec): Some refactoring
- Adapted the parser/types/constructors for cocospec syntax
- 07:53 PM Lustrec-Tests Revision 5dfe059d (lustrec-tests): Cocospec
- 03:55 PM Revision d17a251e (lustrec): Some progress on Lustre-> VHDL backend. The structure is prepared but almost empty. More work to be done.
10/01/2018
- 09:32 AM Revision e8c89553 (lustrec): Adding lustrei target to makefile
- Compute dependencies in configure.ac
09/28/2018
- 07:04 PM Lustrec-Tests Revision c3af3032 (lustrec-tests): add more contracts examples
09/26/2018
- 05:00 PM Revision dae7afb1 (lustrec): Comments update
- 02:52 PM Lustrec-Tests Revision bc44cd9e (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
- 02:51 PM Lustrec-Tests Revision 222162a5 (lustrec-tests): Correct version of the two_counters exported json file
- 02:50 PM Revision 02440160 (lustrec): vhdl and mini_vhdl pp: remove empty lines and useless linebreaks in maps
- 12:40 PM Revision a972e0f8 (lustrec): Help comments on mini_vhdl to lustre transformation
- 11:31 AM Revision 639e5db9 (lustrec): Added node variables generation from signals/variables definitions in architecture
- 10:51 AM Revision 35107b42 (lustrec): Code cosmetics
- 09:50 AM Revision dd48d8c9 (lustrec): Mini_vhdl to lsutre code cleaning
09/25/2018
- 05:59 PM Revision b98638f7 (lustrec): Added new functions to generate i/o and nodes
- 03:56 PM Revision 13872a54 (lustrec): Added missing transformation methods squelettons for mini_vhdl to lustre transformation
- 03:55 PM Revision 0cb37f54 (lustrec): Added missing Open pattern matching case
- 01:16 PM Revision 8b30c441 (lustrec): Added lustrei README file
- 01:08 PM Lustrec-Tests Revision 6c964a9b (lustrec-tests): Cocospec files
- 01:07 PM Lustrec-Tests Revision 489a769e (lustrec-tests): Added two_counters example
- 11:23 AM Revision 8fa4e28e (lustrec): [bug solved] do not normalize eexpr in annotations, only in specification.
- 10:16 AM Revision 987fa573 (lustrec): Merge branch 'git-configure' into cocospec
- 10:12 AM Revision 3471cb4d (lustrec): Better management of git branch in configure.ac
09/24/2018
- 02:22 PM Lustrec-Tests Revision d6042e96 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
- 02:22 PM Lustrec-Tests Revision 47142ed7 (lustrec-tests): Counters, programmable pulse, d-latch VHDL examples
- 02:18 PM Revision 949b2e1e (lustrec): Normalizing eexpr
- 02:15 PM Revision 3b16e10b (lustrec): Extraction of signals assignments in component instantiation concurrent statements
- 10:45 AM Revision 08cbfc23 (lustrec): Added Open vhdl_name_t case in pattern matchings
09/21/2018
09/18/2018
- 11:00 PM Bug #69 (Closed): fatal error: bracket nesting level exceeded maximum of 256
- >lustrec -d build -node wind_model_PP wind_model_PP.lus
>cd build; make -f wind_model_PP.makefile
gcc -O0 -I/Users/...
09/14/2018
- 06:02 PM Revision 27446b88 (lustrec): Improving connection with CDash
- 04:34 PM Revision 92458d14 (lustrec): doc: add HTML grammar file
- 04:32 PM Revision e82e03c6 (lustrec): doc: add HTML grammar file
- 04:27 PM Lustrec-Tests Revision dd62ff27 (lustrec-tests): Improving integration with CDash
- 02:49 PM Revision a0b18d45 (lustrec): parser: fix Menhir end-of-stream errors
- 01:44 PM Revision 1ac315e3 (lustrec): clean Lustre parser file (mainly by commenting...)
- 10:43 AM Revision 57392da1 (lustrec): solve error in lexer introduced by previous merge
- 10:36 AM Revision 3b5419a8 (lustrec): finishing solving strange conflicts for merge...
09/13/2018
- 03:36 PM Revision 4f26dcf5 (lustrec): Renamed annots into contracts. Preparing for syntax extension
- 03:14 PM Revision 17e1d0f4 (lustrec): - Removed the kind2 file (parser/lexer/types)
- - Cleaned a little bit our parser: removal of old prelude constructs
- 02:58 PM Revision f09146ae (lustrec): Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec into cocospec
- 01:55 PM Revision 37d3e0eb (lustrec): Cocospec discussions in the TODO.org
09/10/2018
Also available in: Atom