Ragnar Groot Koerkamp
Ragnar Groot Koerkamp
To disable 'bound not reached' warning for e.g. floats
Either try both with fallback, or require hardcoding this in the config
Could run weekly or something like that
And/or for compilation of validators to use c++17 instead of c++20 command line flag (could be ugly search&replace; we really need to enforce this)
It's chaos. `problemtitle` works, but only `fullproblemtitle` is defined
When doing `bt pdf -w`, it should print a message every time compilation is started and finished. (Ideally overwriting the line; maybe using the existing bar class.) When there are...