From 1ac29c8fa11d607827f3f501c1372549b7a8523d Mon Sep 17 00:00:00 2001
From: Bo-Yuan Huang <byhuang1992@gmail.com>
Date: Tue, 17 Sep 2019 22:37:42 -0400
Subject: [PATCH] Release v1.0.0

---
 CMakeLists.txt |  2 +-
 appveyor.yml   | 28 ----------------------------
 2 files changed, 1 insertion(+), 29 deletions(-)
 delete mode 100644 appveyor.yml

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 8ac9873c0..08d0641a4 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -11,7 +11,7 @@ endif()
 # PROJECT
 # name version language
 # ---------------------------------------------------------------------------- #
-project(ilang VERSION     0.9.5
+project(ilang VERSION     1.0.0
               LANGUAGES   CXX
 )
 
diff --git a/appveyor.yml b/appveyor.yml
deleted file mode 100644
index 8ec750f43..000000000
--- a/appveyor.yml
+++ /dev/null
@@ -1,28 +0,0 @@
-version: 1.0.{build}
-image:
-- Ubuntu1804
-clone_depth: 1
-build_script:
-- sh: >-
-    sudo apt update
-
-    sudo DEBIAN_FRONTEND=noninteractive apt install --yes bison libboost-all-dev z3 libz3-dev
-
-    sudo apt install --yes flex
-
-    # ILAng
-
-    cd $APPVEYOR_BUILD_FOLDER
-
-    mkdir -p build
-
-    cd build
-
-    cmake ..
-
-    make -j$(nproc)
-
-    sudo make install
-
-    make test
-