Release v1.4.0

Ivan-Velickovic · Ivan-Velickovic · commit 169c7c0f62bd · 2024-08-05T19:32:55.000+10:00
Signed-off-by: Ivan Velickovic &lt;i.velickovic@unsw.edu.au&gt;
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-1.3.0-dev
+1.4.0
diff --git a/build_sdk.py b/build_sdk.py
@@ -26,7 +26,7 @@
 from typing import Any, Dict, Union, List, Tuple, Optional
 
 NAME = "microkit"
-VERSION = "1.3.0"
+VERSION = "1.4.0"
 
 ENV_BIN_DIR = Path(executable).parent
 
diff --git a/docs/manual.md b/docs/manual.md
@@ -4,7 +4,7 @@
 -->
 
 ---
-title: Microkit User Manual (v1.3.0)
+title: Microkit User Manual (v1.4.0)
 documentclass: article
 classoption:
 - english
diff --git a/tool/microkit/Cargo.lock b/tool/microkit/Cargo.lock
diff --git a/tool/microkit/Cargo.toml b/tool/microkit/Cargo.toml
@@ -6,7 +6,7 @@
 
 [package]
 name = "microkit-tool"
-version = "1.3.0-dev"
+version = "1.4.0"
 edition = "2021"
 
 [[bin]]
