Skip to content
Back to pull request #2020

Use Listable to prove equality of registers and opcodes #5849

Sign in to view logs

Use Listable to prove equality of registers and opcodes

Use Listable to prove equality of registers and opcodes #5849

Build on no_std target (thumbv7em-none-eabi)

Build on no_std target (thumbv7em-none-eabi)
succeeded Mar 5, 2025 in 13s