Code

WIP: generate signatures from CDSL#84

Code

Draft

mmcloughlin wants to merge 8 commits intoverify-mainavanhatt/wasmtime:verify-mainfrom mbm/x-term-signaturesavanhatt/wasmtime:mbm/x-term-signaturesCopy head branch name to clipboard

+13,779-310

Commits

Commits on Nov 29, 2023

• tmp

  mmcloughlin

  committed
  56000dd

  Copy full SHA for 56000dd

• cdsl hacking

  mmcloughlin

  committed
  36bc89f

  Copy full SHA for 36bc89f

• generate isle signatures

  mmcloughlin

  committed
  2f8dfcb

  Copy full SHA for 2f8dfcb

• some todos

  mmcloughlin

  committed
  13ee807

  Copy full SHA for 13ee807

• regenerate veri-isle-clif-gen

  mmcloughlin

  committed
  5026363

  Copy full SHA for 5026363

• update syntax

  mmcloughlin

  committed
  b5adbdf

  Copy full SHA for b5adbdf

• regenerate veri-isle-clif-gen

  mmcloughlin

  committed
  e69edf7

  Copy full SHA for e69edf7

• delete duplicate instantiations

  mmcloughlin

  committed
  82e13d1

  Copy full SHA for 82e13d1