freespek / solarkraft

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

add a simple implementation of `solarkraft list` #64

Closed konnov closed 1 month ago

konnov commented 1 month ago

This PR implements solarkraft list. Since our file storage is very simple, the implementation is also simple.