Repository navigation

v8.3.2

github-actions released this 15 Oct 09:17

· 254 commits to master since this release

a784a8b

Bugfixes

Smaller bugfixes

Busy wait loop detection missed some global writes
BV simplify didn't follow the SMT-LIB definitions everywhere (https://smt-lib.org/theories-FixedSizeBitVectors.shtml, https://smt-lib.org/logics-all.shtml#QF_BV)

Modified subprojects (since v8.3.1):
common/core
xcfa/xcfa
xcfa/xcfa-cli

Assets 16