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
Automatically invoke the alert contract upon verification failure.
#95
Closed
Kukovec
closed
3 weeks ago