-rw-r--r-- 358 saferewrite-20210904/src/encode_761x3/README
2021.09.01 tests with pip version of angr: A bug in angr's handling of
vpackuswb leads saferewrite to produce "z3failed" for this example,
aborting the equality comparison.

2021.09.04 tests with angr-dev: Everything now works fine thanks to
https://github.com/angr/angr/pull/2887. avx=ref and portable=ref with
both compilers now, ref=ref across compilers.