diff --git a/CHANGELOG.md b/CHANGELOG.md new file mode 100644 index 0000000000000000000000000000000000000000..af243a5b85578b6bd0bc622db7a6b784757f06f5 --- /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