Add note in documentation and changelog regarding the aarch64 port

yohanchatelain · Aug 29, 2023 · 8bc54ea · 8bc54ea
1 parent 06192b3
commit 8bc54ea
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/CHANGELOG b/CHANGELOG
@@ -1,5 +1,9 @@
 Verificarlo CHANGELOG
 
+# [master] unreleased
+  * Added support for Aarch64 (arm64) architectures
+  * verificarlo accepts LLVM byte-code as input and can produce byte-code as output
+
 # [v0.9.1] 2022/10/21
 
 ## Fixed

diff --git a/README.md b/README.md
@@ -29,7 +29,7 @@ A tool for debugging and assessing floating point precision and reproducibility.
 
 ## Installation
 
-To install Verificarlo please refer to the [installation documentation](doc/01-Install.md).
+To install Verificarlo please refer to the [installation documentation](doc/01-Install.md). Verificarlo supports both amd64 and aarch64 architectures.
 
 ## Using Verificarlo through its Docker image