search

freespek / solarkraft

Solakraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache
Apache License 2.0
10 stars 0 forks source link

Verifiable timelock monitor #99

Closed Kukovec closed 2 weeks ago

Kukovec commented 2 weeks ago

Create a monitor that is compatible with our instrumentation, based on #37