-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
value_range/flow track under-adopted — deepest tier reaches ~1 rule family
enhancementNew feature or requestNew feature or requestStatus: Open.#23 In ericsssan/zbc;comptime not modeled (CFG excludes it; no comptime-aware rules)
enhancementNew feature or requestNew feature or requestStatus: Open.#22 In ericsssan/zbc;No general concurrency/data-race reasoning (only syntactic thread idioms)
enhancementNew feature or requestNew feature or requestStatus: Open.#21 In ericsssan/zbc;Inter-procedural analysis bounded to 1 import hop / private free fns
enhancementNew feature or requestNew feature or requestStatus: Open.#20 In ericsssan/zbc;Labeled corpus + precision/recall metrics (regression harness landed)
enhancementNew feature or requestNew feature or requestStatus: Open.#19 In ericsssan/zbc;