Ragnar Groot Koerkamp

Results 109 issues of 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...