Activity - LustreC

Activity

From 03/04/2020 to 04/02/2020

03/12/2020

11:26 AM Revision af49e9a4 (lustrec): forgotten to uodate log.ml: Xavier Thirioux
11:21 AM Revision 574c671b (lustrec): 1) log messages are now flushed. 2) very long computation times due to naive code to check for unused variables are now much shorter: Xavier Thirioux

Also available in: Atom