Project

General

Profile

Activity

From 12/26/2017 to 01/24/2018

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

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
 

Also available in: Atom