Skip to content
CI (Coq, Arch Linux)

Use Listable to prove equality of registers and opcodes #549

Sign in to view logs

Use Listable to prove equality of registers and opcodes

Use Listable to prove equality of registers and opcodes #549

test-standalone

test-standalone
succeeded Mar 5, 2025 in 19s