Project

General

Profile

Activity

From 12/20/2017 to 01/18/2018

01/18/2018

05:39 PM Bug #61 (Closed): lustret error
Pierre-Loïc Garoche
05:38 PM Bug #61 (Resolved): lustret error
Pierre-Loïc Garoche
05:38 PM Bug #61: lustret error
Solved by 5d5139a5e1821 Pierre-Loïc Garoche
02:09 AM Bug #61 (Closed): lustret error
/Users/hbourbou/Documents/babelfish/cocosim2/tools/verifiers/osx/lustrec/bin/lustret -I /Users/hbourbou/Documents/bab... Hamza Bourbouh
05:39 PM Bug #60 (Closed): lustret naming error for libraries
Pierre-Loïc Garoche
05:38 PM Bug #60 (Resolved): lustret naming error for libraries
Solved by 5d5139a5e1821 Pierre-Loïc Garoche
05:36 PM Revision 5d5139a5 (lustrec): [lustret] More effective mutants generation
Solved the misrenaming of imported nodes (eg int_to_real) Pierre-Loïc Garoche
05:34 PM Revision 70466917 (lustrec): [main] node locals are now sorted according to their dependencies wr...
Pierre-Loïc Garoche
05:33 PM Revision 94cf0fc5 (lustrec): [main] cleaned superfluous empty line in generated lustre output
Pierre-Loïc Garoche
05:31 PM Revision 13aec2da (lustrec): [main] enum typedef in C use the original lustre filename as identif...
Pierre-Loïc Garoche

01/17/2018

11:23 PM Bug #60 (Closed): lustret naming error for libraries
int_to_real devient int_to_real_mutant.
It is considered as lustre node, but it is an external library.
Hamza Bourbouh
05:12 PM Bug #59 (Closed): Lustret failed
Pierre-Loïc Garoche
05:11 PM Bug #59 (Resolved): Lustret failed
Solved in commit 87dd79374749a5c79 Pierre-Loïc Garoche
05:09 PM Revision 5487dd79 (lustrec): [mutations] solved issues with
- mutations that could not be performed (ie. changing an integer constants when no integer constant appear in the pro... Pierre-Loïc Garoche
05:08 PM Revision 76bed200 (lustrec): Added cmake basic functions
Improved the Cmake Lustre_Compile function Pierre-Loïc Garoche

01/16/2018

08:09 PM Revision 1ca48e48 (lustrec): No existing input file returns a 1 error code
Pierre-Loïc Garoche

12/20/2017

12:29 AM Revision 9ae027f8 (lustrec): [stateflow] some progress, linking the parsed json to lustrec engine...
Pierre-Loïc Garoche
12:29 AM Revision aa0cc4e8 (lustrec): [general] adding more entry rules for lustre parser to extract expre...
Pierre-Loïc Garoche
03:52 PM Lustrec-Tests Revision 762f339c (lustrec-tests): add new format
Bourbouh
 

Also available in: Atom