From 9cb1a42b6373b21bc385ae94bd43296dd3c77eac Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tam=C3=A1s=20T=C3=B3th?=
 <tothtamas28@users.noreply.github.com>
Date: Mon, 13 May 2024 07:37:58 +0000
Subject: [PATCH] Initial commit

---
 README.md       | 1 +
 package/version | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 README.md
 create mode 100644 package/version

diff --git a/README.md b/README.md
new file mode 100644
index 00000000..413ff485
--- /dev/null
+++ b/README.md
@@ -0,0 +1 @@
+# riscv-semantics
diff --git a/package/version b/package/version
new file mode 100644
index 00000000..6e8bf73a
--- /dev/null
+++ b/package/version
@@ -0,0 +1 @@
+0.1.0