diff --git a/CHANGELOG b/CHANGELOG
index 3448a46b..c67648bc 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,8 +1,14 @@
 Verificarlo CHANGELOG
 
-# [master] unreleased
+# [v1.0.0] 2023/08/30
+
+## Added
   * Added support for Aarch64 (arm64) architectures
-  * verificarlo accepts LLVM byte-code as input and can produce byte-code as output
+  * Verificarlo accepts LLVM byte-code as input and can produce byte-code as output
+  * Interoperability with POCL
+
+## Fixed
+  * Fix binary64 precision checks in vprec backend
 
 # [v0.9.1] 2022/10/21
 
diff --git a/README.md b/README.md
index d215f4a7..368eca02 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-## Verificarlo v0.9.1
+## Verificarlo v1.0.0
 
 A tool for debugging and assessing floating point precision and reproducibility.
 
diff --git a/configure.ac b/configure.ac
index b4f23660..146b2fc0 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,12 +1,11 @@
 AC_PREREQ([2.69])
-AC_INIT([verificarlo], [0.9.1], [])
+AC_INIT([verificarlo], [1.0.0], [])
 AM_SILENT_RULES([yes])
 AC_CONFIG_AUX_DIR(autoconf)
 AC_CONFIG_MACRO_DIR([m4])
 AC_CONFIG_HEADERS([config.h])
 AC_REQUIRE_AUX_FILE([tap-driver.sh])
 AM_INIT_AUTOMAKE([subdir-objects silent-rules foreign])
-AC_PROG_LIBTOOL
 
 LT_INIT
 AC_PROG_CXX