Project

General

Profile

Activity

From 01/18/2018 to 02/16/2018

02/13/2018

05:42 PM Revision 9c654082 (lustrec): [lustresf] work in progress. Added global env with initial values
Pierre-Loïc Garoche
05:17 PM Revision f4050bef (lustrec): Conditional activation of machine type plugin. currently a little bu...
Pierre-Loïc Garoche
05:16 PM Revision 94c457b7 (lustrec): Updated Salsa plugin to latest version of Salsa.
Some issues wrt machine type features.
Work in progress
Pierre-Loïc Garoche

02/01/2018

02:42 PM Revision 3c3414c5 (lustrec): Solved issue with typing of enumerated types
Pierre-Loïc Garoche
01:46 PM Revision 51a2c05a (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec in...
Xavier Thirioux

01/31/2018

10:01 AM Lustrec-Tests Revision d895591e (lustrec-tests): More functions
Pierre-Loïc Garoche
09:58 AM Lustrec-Tests Revision a603f261 (lustrec-tests): More tests
Pierre-Loïc Garoche
07:27 AM Revision 66359a5e (lustrec): [general] large modification: added machine types, a second typing p...
typing was transformed as a functor and parametrized by basic types (int/real/bool)
it can also be applied ...
Pierre-Loïc Garoche
07:23 AM Revision b7c3790e (lustrec): [lustret] improved enumeration of mutants
Pierre-Loïc Garoche
07:21 AM Revision cda2fcc8 (lustrec): [lustret] When generating MC/DC conditions, produce them as EMF XML ...
Pierre-Loïc Garoche
07:17 AM Revision a1230f68 (lustrec): Solved issues with configure and ocaml libs dependencies
Pierre-Loïc Garoche
06:13 AM Lustrec-Tests Revision 8af9a0b9 (lustrec-tests): New machine types related test cases
Pierre-Loïc Garoche

01/30/2018

03:01 PM Revision 185ddf4d (lustrec): Type issue Bytes vs string
Pierre-Loïc Garoche

01/24/2018

02:30 AM Feature #63 (New): Skip normalization step in mutation generation if it possible
Mutation file is not similar to original file, in order to trace back the mutation to original lustre is hard. Hamza Bourbouh
01:09 AM Feature #62 (New): specify main node in mutation generation
implement the capability of specifying main_node in mutation generation.
This will result in generating mutations on...
Hamza Bourbouh

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
 

Also available in: Atom