Repository navigation

chore: slight updates to properly publish as a crate - #1480

Merged

ajewellamz merged 11 commits into

mainfrom

ajewell/publish

Dec 4, 2024

Commits on Dec 4, 2024

chore: make dafny runtime publishable
ajewellamz
committed
2b620e9
m
ajewellamz
committed
2af5fd5
m
ajewellamz
committed
56443c0
m
ajewellamz
committed
3ce8edc
m
ajewellamz
committed
bd92393
m
ajewellamz
committed
462b7cd
m
ajewellamz
committed
b5b959a
m
ajewellamz
committed
80ec203
m
ajewellamz
committed
57c4ec8
m
ajewellamz
committed
b50d3f4
m
ajewellamz
committed
a49a1fe