Project

General

Profile

Activity

From 04/12/2019 to 05/11/2019

04/17/2019

02:27 AM Bug #77 (Closed): lustrec-seal branch failed to compile a valid lustre file (compiled by master b...
lustrec -version
Lustrec compiler, version 1.7-1031-lustrec-seal (Xia/Huai-dev)
Attached is a lustre file that is...
Hamza Bourbouh

04/16/2019

01:50 AM Bug #71 (Closed): C code generation failed
every operator was using a boolean expression instead of a bool clock variable. Solved by creating local variable of ... Hamza Bourbouh
 

Also available in: Atom