Activity
From 03/05/2020 to 04/03/2020
03/12/2020
- 02:54 PM Bug #70 (Closed): Lustrec does not terminate
- 02:54 PM Bug #70 (Resolved): Lustrec does not terminate
- Solved by thirioux in af49e9a4 (unstable)
- 11:26 AM Revision af49e9a4 (lustrec): forgotten to uodate log.ml
- 11:21 AM Revision 574c671b (lustrec): 1) log messages are now flushed. 2) very long computation times due ...
03/11/2020
- 01:01 PM Bug #70: Lustrec does not terminate
- The missing file
Also available in: Atom