aljaz/crypto-ecosystems
1
0
Fork 0
mirror of https://github.com/aljazceru/crypto-ecosystems.git synced 2026-01-22 23:24:21 +01:00
Code Issues Packages Projects Releases Wiki Activity

Added more repos for Runtime Verification

Browse Source
This commit is contained in:
Curtis Spencer
2020-01-28 07:59:29 -08:00
parent d226befcef
commit 2c5bcac301
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
data/ecosystems/r/runtime-verification.toml
View File

@@ -78,6 +78,9 @@ url = "https://github.com/runtimeverification/k-box"
[[repo]]
url = "https://github.com/runtimeverification/k-versus-evm"
[[repo]]
url = "https://github.com/runtimeverification/k-vs-coq-language-frameworks"
[[repo]]
url = "https://github.com/runtimeverification/kevm"
@@ -96,6 +99,9 @@ url = "https://github.com/runtimeverification/llvmmop"
[[repo]]
url = "https://github.com/runtimeverification/match"
[[repo]]
url = "https://github.com/runtimeverification/michelson-semantics"
[[repo]]
url = "https://github.com/runtimeverification/MINGW-packages"