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.
- 05:12 PM Bug #59 (Closed): Lustret failed
- 05:11 PM Bug #59 (Resolved): Lustret failed
- Solved in commit 87dd79374749a5c79
Also available in: Atom