28 Jul
2022
28 Jul
'22
11:50
Dear all,
(just a short status message, since Akihisa is busy right now)
René, Akihisa and I have investigated the time-outs and stack-overflows of CeTA. We understand what's happening (it's nothing about the source code, but about compilation) and we have an improvement (locally, for now). It takes some time to install on starexec.
Best regards, Johannes.