Skip to content
CI (Coq, Windows)

Use Listable to prove equality of registers and opcodes #4772

Sign in to view logs

Use Listable to prove equality of registers and opcodes

Use Listable to prove equality of registers and opcodes #4772

windows-check-all

windows-check-all
succeeded Mar 5, 2025 in 2s