-
Notifications
You must be signed in to change notification settings - Fork 86
Pull requests: smackers/smack
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Split allocation tracking by SeaDsa class
#834
opened Jul 13, 2026 by
shaobo-he
Contributor
Loading…
Avoid unnecessary global allocations in memory-safety checks
#833
opened Jul 13, 2026 by
shaobo-he
Contributor
Loading…
Prune dominated duplicate integer overflow checks
#825
opened Jul 6, 2026 by
shaobo-he
Contributor
Loading…
Implement documentation roadmap and fix no-op asserts in examples
#818
opened Jul 5, 2026 by
shaobo-he
Contributor
Loading…
Add context-sensitive DSA with per-function memory regions
#810
opened Mar 30, 2026 by
shaobo-he
Contributor
Loading…
Add function inlining pass to improve DSA precision
#809
opened Mar 14, 2026 by
shaobo-he
Contributor
Loading…
ProTip!
Updated in the last three days: updated:>2026-07-09.