issues
search
runtimeverification
/
simbolik-vscode
BSD 3-Clause "New" or "Revised" License
12
stars
2
forks
source link
Support backend plugins via entry points.
#11
Open
RaoulSchaffranek
opened
3 months ago