You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
historical remark: termcomp@uibk had a much better solution: users could mark their solvers as "this should run in the next competition".
With the current setup, I'd have to parse such markers from starexec data, and this still requires some work (what to parse, and when to trigger a parse).
see http://lists.lri.fr/pipermail/termtools/2016-June/001096.html
The text was updated successfully, but these errors were encountered: