Go to issue

Labels Milestones New Issue

5 Open 54 Closed

Label

Show archived labels Use alt + click/enter to exclude labels

All labels No label

bug

enhancement

investigation

wontfix

missing-test-coverage

Milestone

All milestones No milestones

Open milestones

1.0 1.1

Project

All projects No project

Author

All users

Assignee

Assigned to nobody Assigned to anybody

andrew weaselbot

Sort

Newest Oldest Most recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date

5 Open 54 Closed

Close

Label

Clear labels

bug

enhancement

investigation

wontfix

missing-test-coverage

Milestone

No milestone

Open milestones

1.0

1.1

Projects

Clear projects

Assignee

Clear assignees

andrew

weaselbot

arm64 + ASan: clang miscompiles preserve_none continuation chains (2,727 CI test failures)

#38

opened 2026-06-12 20:16:39 +00:00 by andrew

Test with type sanitizer in jenkins

#37

opened 2025-01-07 02:24:15 +00:00 by andrew

Enhance fuzz tests to allow for more varied call orderings enhancement

#33

opened 2024-08-24 21:56:17 +00:00 by andrew

Update paper to incorporate recent scan performance improvements enhancement

#28

opened 2024-06-27 21:18:16 +00:00 by andrew

Finish paper draft enhancement

#19

opened 2024-03-28 19:50:36 +00:00 by andrew

1.0