Skip to content

Releases: goblint/analyzer

Privatization fix

20 Aug 13:31
Compare
Choose a tag to compare
Privatization fix Pre-release
Pre-release

Always publish all (esp. private) globals when going multi-threaded to avoid dead code caused by bottom global invariants.