From c8f66251748ea3565135145009b08d729b5aff27 Mon Sep 17 00:00:00 2001
From: German Nikolishin <german.nikolishin@gmail.com>
Date: Mon, 25 Mar 2024 02:56:59 +0000
Subject: [PATCH] remove auto generated folidity files

---
 .gitignore       |  4 +++-
 auto/README.md   |  3 ---
 auto/counter.fol | 40 ----------------------------------------
 3 files changed, 3 insertions(+), 44 deletions(-)
 delete mode 100644 auto/README.md
 delete mode 100644 auto/counter.fol

diff --git a/.gitignore b/.gitignore
index a42da7d..055dff1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -307,4 +307,6 @@ TSWLatexianTemp*
 Cargo.lock
 .DS_Store
 
-reports/ecsproject.pdf
\ No newline at end of file
+reports/ecsproject.pdf
+
+/auto
\ No newline at end of file
diff --git a/auto/README.md b/auto/README.md
deleted file mode 100644
index 786bf1a..0000000
--- a/auto/README.md
+++ /dev/null
@@ -1,3 +0,0 @@
-# Verifiable counter
-
-This is a simple counter smart contract.
\ No newline at end of file
diff --git a/auto/counter.fol b/auto/counter.fol
deleted file mode 100644
index 8985e6c..0000000
--- a/auto/counter.fol
+++ /dev/null
@@ -1,40 +0,0 @@
-state CounterState {
-    counter: int,
-} st [
-    # example bounds
-    counter < 1000,
-    counter > -1000
-]
-
-# This is an constructor.
-@init
-# Anyone can call this function.
-@(any)
-fn () initialise() when () -> CounterState {
-    move CounterState : { 0.0 };
-}
-
-@(any)
-fn () incr_by(value: int) when (CounterState s) -> CounterState
-st [
-    value > 100,
-    value < 100
-] {
-    let value = s.counter + value + a;
-    move CounterState : { value };
-}
-
-@(any)
-fn () decr_by(value: int) when (CounterState s) -> CounterState 
-st [
-    value > 100,
-    value < 100
-] {
-    let value = s.counter - value;
-    move CounterState : { value, s.counter };
-}
-
-@(any)
-view(CounterState s) fn int get_value() {
-    return s.counter;
-}
\ No newline at end of file