The challenge of compiling for verified architectures
The challenge of compiling for verified architectures
Posted Oct 7, 2023 12:49 UTC (Sat) by segher (subscriber, #109337)In reply to: The challenge of compiling for verified architectures by mathstuf
Parent article: The challenge of compiling for verified architectures
Not just the instruction budget, but you need some optimisation to pass the verifiers at all (mostly -O1, but still).