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

Update devcontainer to soroban-cli 21-rc1 #98

Closed thpani closed 1 week ago

thpani commented 3 weeks ago

Update devcontainer to soroban-cli 21-rc1