add a simple implementation of ADR002

freespek / solarkraft

Solakraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache

Apache License 2.0

10 stars 0 forks source link

Closed konnov closed 1 month ago

konnov commented 1 month ago

This PR implements ADR002.