From be1ee38f7f6df1d0e12e2e5666ad9b6db85b9bdb Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Thu, 4 Nov 2021 17:57:22 +0100
Subject: [PATCH] update to latest KLEE and llvm 12

---
 CHANGELOG.md | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 CHANGELOG.md

diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
index 0000000..af243a5
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,7 @@
+# Changelog
+
+## 2021-11-04
+
+- added `KLEE` option `--disable-verify` to suppress [937](https://github.com/klee/klee/issues/937)
+  
+- added `clang` option `--rtlib=compiler-rt` to link `__muloti4`, see e.g., [295](https://github.com/android/ndk/issues/295)
\ No newline at end of file
-- 
GitLab