jacksonopp/twill
Watch
1
0
Fork
You've already forked twill
 0
Code Issues 46 Pull requests Projects 1 Releases Packages Wiki Activity Actions

Check mutates(Region) against actual region access #17

New issue
Open
opened 2026-08-19 02:28:31 +00:00 by jacksonopp · 0 comments
jacksonopp commented 2026-08-19 02:28:31 +00:00
Owner
Copy link

Verify a function only mutates regions it has declared via mutates(...), laying groundwork for Step 7's concurrency overlap checks.

Verify a function only mutates regions it has declared via mutates(...), laying groundwork for Step 7's concurrency overlap checks.
jacksonopp added this to the twill project 2026-08-19 02:32:11 +00:00
jacksonopp removed this from the twill project 2026-08-19 02:33:15 +00:00
Sign in to join this conversation.
No Branch/Tag specified
Branches Tags
main
us59/check-return-against-fn-return-type
us72/map-list-array-builtins
us71/generic-res-for-array-map-comptime-value-params
us69/list-generic-instantiation
us57/map-literals
us56/check-array-list-literals
fix/array-and-list-structure
us55/field-access-on-structs
us54/check-if-else
us58/check-string-interpolation
us7/reject-bad-programs-snapshot
us6/type-params-and-list-t
us5/type-check-operator-precedence
ci/add-ci-pipelines
No results found.
Labels
Clear labels   
bug
Something isn't working correctly

  
design
Something that requires design decisions

  
epic
Tracks a project-plan Step as a milestone-level epic

  
risk
Flags an open design question or high-uncertainty area

  
user-story
A concrete, closeable unit of work within an epic

No labels
bug
design
epic
risk
user-story
Milestone
Clear milestone
No items
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
jacksonopp/twill#17
No description provided.