Initial commit

runtimeverification · May 13, 2024 · 9cb1a42 · 9cb1a42
commit 9cb1a42
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -0,0 +1 @@
+# riscv-semantics
diff --git a/package/version b/package/version
@@ -0,0 +1 @@
+0.1.0