Project

General

Profile

Activity

From 12/19/2017 to 01/17/2018

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