Activity
From 01/18/2018 to 02/16/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.
01/18/2018
- 05:39 PM Bug #61 (Closed): lustret error
- 05:38 PM Bug #61 (Resolved): lustret error
- 05:38 PM Bug #61: lustret error
- Solved by 5d5139a5e1821
- 02:09 AM Bug #61 (Closed): lustret error
- /Users/hbourbou/Documents/babelfish/cocosim2/tools/verifiers/osx/lustrec/bin/lustret -I /Users/hbourbou/Documents/bab...
- 05:39 PM Bug #60 (Closed): lustret naming error for libraries
- 05:38 PM Bug #60 (Resolved): lustret naming error for libraries
- Solved by 5d5139a5e1821
Also available in: Atom