From ace93b4ae1e21d4425eb3a04dc0c1c2399de6430 Mon Sep 17 00:00:00 2001 From: acassimiro Date: Fri, 25 Oct 2024 16:55:10 -0300 Subject: [PATCH] Re-adding the blockchain plugin --- .gitignore | 1 - .gitmodules | 2 +- deps/blockchain-k-plugin | 1 + 3 files changed, 2 insertions(+), 2 deletions(-) create mode 160000 deps/blockchain-k-plugin diff --git a/.gitignore b/.gitignore index f4bbed0..0b667e7 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,4 @@ .build .DS_store -blockchain-k-plugin tmp tmp.* diff --git a/.gitmodules b/.gitmodules index 3558764..aeb6745 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "blockchain-k-plugin"] path = deps/blockchain-k-plugin - url = https://github.com/runtimeverification/blockchain-k-plugin + url = https://github.com/runtimeverification/blockchain-k-plugin \ No newline at end of file diff --git a/deps/blockchain-k-plugin b/deps/blockchain-k-plugin new file mode 160000 index 0000000..a6b4c7d --- /dev/null +++ b/deps/blockchain-k-plugin @@ -0,0 +1 @@ +Subproject commit a6b4c7d851afd9e2729901b515c6e699464611d7