2026-10-02 - 2026-11-02

Overview

5 Active Pull Requests
5 Active Issues
Excluding merges, 1 author has pushed 8 commits to main and 23 commits to all branches. On main, 3 files have changed and there have been 88 additions and 94 deletions.

5 Pull requests merged by 2 users

4 Issues closed from 1 user

5 Issues created by 1 user

5 Unresolved Conversations

Open #19 Finish paper draft 2026-10-18 10:12:18 +00:00

Open #28 Update paper to incorporate recent scan performance improvements 2026-10-18 10:12:18 +00:00

Open #33 Enhance fuzz tests to allow for more varied call orderings 2026-10-18 10:12:18 +00:00

Open #37 Test with type sanitizer in jenkins 2026-10-18 10:12:18 +00:00

Open #38 arm64 + ASan: clang miscompiles preserve_none continuation chains (2,727 CI test failures) 2026-10-18 10:12:18 +00:00