Code

Add BoolSpec instances for verify#31

Code

Open

JasonGross wants to merge 1 commit intomit-plv:mastermit-plv/riscv-coq:masterfrom JasonGross:verify-decJasonGross/riscv-coq:verify-decCopy head branch name to clipboard

+106

Commits

Commits on Oct 13, 2022

• Add BoolSpec instances for verify

  JasonGross

  committed
  553a095

  Copy full SHA for 553a095