
18 Jul
2025
18 Jul
'25
9:48 a.m.
Hi Johannes,
additional argument '--cert' would do.
perhaps --cert=$format ? (cpf/ceta, cetera) for future-proofing
Will cetera use a different format than ceta? We use a uniform input format for solvers, so I guess it would be nice to have a uniform input format for certifiers as well (if possible)?
--name ... reasonably short (and just one line)
yes, so, not a full commit hash? I guess you will have to automatically trim the name anyway, for uniform display. To how many characters?
As far as I can see, the longest name last year was matchbox-2024-06-19 (19 characters). So let's say 20 characters max (unless using a longer name is important to someone -- in this case, please let me know). Best Florian