From 81f008104fee2adc86327d7dc737bedcd1343fd7 Mon Sep 17 00:00:00 2001 From: Callum Waters Date: Fri, 11 Feb 2022 14:35:12 +0100 Subject: [PATCH] move ivy-proofs into spec --- {ivy-proofs => spec/ivy-proofs}/Dockerfile | 0 {ivy-proofs => spec/ivy-proofs}/README.md | 0 {ivy-proofs => spec/ivy-proofs}/abstract_tendermint.ivy | 0 {ivy-proofs => spec/ivy-proofs}/accountable_safety_1.ivy | 0 {ivy-proofs => spec/ivy-proofs}/accountable_safety_2.ivy | 0 {ivy-proofs => spec/ivy-proofs}/check_proofs.sh | 0 {ivy-proofs => spec/ivy-proofs}/classic_safety.ivy | 0 {ivy-proofs => spec/ivy-proofs}/count_lines.sh | 0 {ivy-proofs => spec/ivy-proofs}/docker-compose.yml | 0 {ivy-proofs => spec/ivy-proofs}/domain_model.ivy | 0 {ivy-proofs => spec/ivy-proofs}/network_shim.ivy | 0 {ivy-proofs => spec/ivy-proofs}/output/.gitignore | 0 {ivy-proofs => spec/ivy-proofs}/tendermint.ivy | 0 {ivy-proofs => spec/ivy-proofs}/tendermint_test.ivy | 0 14 files changed, 0 insertions(+), 0 deletions(-) rename {ivy-proofs => spec/ivy-proofs}/Dockerfile (100%) rename {ivy-proofs => spec/ivy-proofs}/README.md (100%) rename {ivy-proofs => spec/ivy-proofs}/abstract_tendermint.ivy (100%) rename {ivy-proofs => spec/ivy-proofs}/accountable_safety_1.ivy (100%) rename {ivy-proofs => spec/ivy-proofs}/accountable_safety_2.ivy (100%) rename {ivy-proofs => spec/ivy-proofs}/check_proofs.sh (100%) rename {ivy-proofs => spec/ivy-proofs}/classic_safety.ivy (100%) rename {ivy-proofs => spec/ivy-proofs}/count_lines.sh (100%) rename {ivy-proofs => spec/ivy-proofs}/docker-compose.yml (100%) rename {ivy-proofs => spec/ivy-proofs}/domain_model.ivy (100%) rename {ivy-proofs => spec/ivy-proofs}/network_shim.ivy (100%) rename {ivy-proofs => spec/ivy-proofs}/output/.gitignore (100%) rename {ivy-proofs => spec/ivy-proofs}/tendermint.ivy (100%) rename {ivy-proofs => spec/ivy-proofs}/tendermint_test.ivy (100%) diff --git a/ivy-proofs/Dockerfile b/spec/ivy-proofs/Dockerfile similarity index 100% rename from ivy-proofs/Dockerfile rename to spec/ivy-proofs/Dockerfile diff --git a/ivy-proofs/README.md b/spec/ivy-proofs/README.md similarity index 100% rename from ivy-proofs/README.md rename to spec/ivy-proofs/README.md diff --git a/ivy-proofs/abstract_tendermint.ivy b/spec/ivy-proofs/abstract_tendermint.ivy similarity index 100% rename from ivy-proofs/abstract_tendermint.ivy rename to spec/ivy-proofs/abstract_tendermint.ivy diff --git a/ivy-proofs/accountable_safety_1.ivy b/spec/ivy-proofs/accountable_safety_1.ivy similarity index 100% rename from ivy-proofs/accountable_safety_1.ivy rename to spec/ivy-proofs/accountable_safety_1.ivy diff --git a/ivy-proofs/accountable_safety_2.ivy b/spec/ivy-proofs/accountable_safety_2.ivy similarity index 100% rename from ivy-proofs/accountable_safety_2.ivy rename to spec/ivy-proofs/accountable_safety_2.ivy diff --git a/ivy-proofs/check_proofs.sh b/spec/ivy-proofs/check_proofs.sh similarity index 100% rename from ivy-proofs/check_proofs.sh rename to spec/ivy-proofs/check_proofs.sh diff --git a/ivy-proofs/classic_safety.ivy b/spec/ivy-proofs/classic_safety.ivy similarity index 100% rename from ivy-proofs/classic_safety.ivy rename to spec/ivy-proofs/classic_safety.ivy diff --git a/ivy-proofs/count_lines.sh b/spec/ivy-proofs/count_lines.sh similarity index 100% rename from ivy-proofs/count_lines.sh rename to spec/ivy-proofs/count_lines.sh diff --git a/ivy-proofs/docker-compose.yml b/spec/ivy-proofs/docker-compose.yml similarity index 100% rename from ivy-proofs/docker-compose.yml rename to spec/ivy-proofs/docker-compose.yml diff --git a/ivy-proofs/domain_model.ivy b/spec/ivy-proofs/domain_model.ivy similarity index 100% rename from ivy-proofs/domain_model.ivy rename to spec/ivy-proofs/domain_model.ivy diff --git a/ivy-proofs/network_shim.ivy b/spec/ivy-proofs/network_shim.ivy similarity index 100% rename from ivy-proofs/network_shim.ivy rename to spec/ivy-proofs/network_shim.ivy diff --git a/ivy-proofs/output/.gitignore b/spec/ivy-proofs/output/.gitignore similarity index 100% rename from ivy-proofs/output/.gitignore rename to spec/ivy-proofs/output/.gitignore diff --git a/ivy-proofs/tendermint.ivy b/spec/ivy-proofs/tendermint.ivy similarity index 100% rename from ivy-proofs/tendermint.ivy rename to spec/ivy-proofs/tendermint.ivy diff --git a/ivy-proofs/tendermint_test.ivy b/spec/ivy-proofs/tendermint_test.ivy similarity index 100% rename from ivy-proofs/tendermint_test.ivy rename to spec/ivy-proofs/tendermint_test.ivy