WIP: generate signatures from CDSL - #84

Draft

mmcloughlin wants to merge 8 commits into

verify-mainfrom

mbm/x-term-signatures

Commits on Nov 29, 2023

tmp
mmcloughlin
committed
56000dd
cdsl hacking
mmcloughlin
committed
36bc89f
generate isle signatures
mmcloughlin
committed
2f8dfcb
some todos
mmcloughlin
committed
13ee807
regenerate veri-isle-clif-gen
mmcloughlin
committed
5026363
update syntax
mmcloughlin
committed
b5adbdf
regenerate veri-isle-clif-gen
mmcloughlin
committed
e69edf7
delete duplicate instantiations
mmcloughlin
committed
82e13d1