issues
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
Support custom types in monitor executor
#73
Closed
thpani
closed
1 month ago
thpani
commented
1 month ago
Add support for
enum
and
struct
types
Add support for
enum
andstruct
types