7 Commits

Author	SHA1	Message	Date
zach	24622cd511	wip	2024-06-14 18:52:50 -07:00
zach	00f9155b9e	feat: switch to owi conc, avoid needing wasm2wat	2024-06-14 18:46:27 -07:00
zach	7c770e2f1c	feat(kernel): add proof for error handling	2024-06-14 18:46:27 -07:00
zach	33ad239c50	wip: reuse proof	2024-06-14 18:46:27 -07:00
zach	a62e37c21b	cleanup: reduce the size of the allocation used in load_store example	2024-06-14 18:46:27 -07:00
zach	20ee6620c6	cleanup: improve verification	2024-06-14 18:46:27 -07:00
zach	db0b04696c	cleanup: move proofs to examples directory	2024-06-14 18:46:27 -07:00