8 Aug
2022
8 Aug
'22
3:37 p.m.
Dear all, ttt2 still has time-outs in the certifier, even though we compiled CeTA with recent GHC, and -O2, and Akihisa increased the time limit considerably (to 45 min) I made this analysis - and sort-of partial work-around https://github.com/jwaldmann/ceta-postproc/issues/25#issuecomment-1208128726 So, matchbox was lucky to not use matchbounds (for srs std cert) ... - Johannes.