Bump version to 0.14.0

.travis.yml

@@ -6,6 +6,6 @@ services:
   - docker
 
 script:
-- docker run -v /home/travis/build/occlum/occlum:/root/occlum occlum/occlum:0.13.1-ubuntu18.04 /bin/bash -c 'cd /root/occlum;
+- docker run -v /home/travis/build/occlum/occlum:/root/occlum occlum/occlum:0.14.0-ubuntu18.04 /bin/bash -c 'cd /root/occlum;
                 info=$(make format-check); if [ -n "$info" ]; then echo "Format error detected."; exit 1; fi;
                 make submodule; SGX_MODE=SIM make; SGX_MODE=SIM make test'

README.md

@@ -177,7 +177,7 @@ Step 1-3 are to be done on the host OS (Linux):
 
 3. Run the Occlum Docker container, which has Occlum and its demos preinstalled:
     ```
-    docker run -it --device /dev/isgx occlum/occlum:0.13.1-ubuntu18.04
+    docker run -it --device /dev/isgx occlum/occlum:0.14.0-ubuntu18.04
     ```
 
 Step 4-5 are to be done on the guest OS running inside the Docker container:

src/libos/Cargo.lock

@@ -2,7 +2,7 @@
 # It is not intended for manual editing.
 [[package]]
 name = "Occlum"
-version = "0.13.1"
+version = "0.14.0"
 dependencies = [
  "bitflags",
  "bitvec",

src/libos/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "Occlum"
-version = "0.13.1"
+version = "0.14.0"
 edition = "2018"
 
 [lib]

src/pal/include/occlum_version.h

@@ -1,8 +1,9 @@
 #ifndef _OCCLUM_VERSION_H_
 #define _OCCLUM_VERSION_H_
 
+// Version = 0.14.0
 #define OCCLUM_MAJOR_VERSION    0
-#define OCCLUM_MINOR_VERSION    13
+#define OCCLUM_MINOR_VERSION    14
 #define OCCLUM_PATCH_VERSION    0
 
 #define STRINGIZE_PRE(X) #X