julia
effects: look for `:terminate_globally` override in backedge termination check
#44106
Merged
Overview
Commits
1
Changes
View On GitHub

effects: look for `:terminate_globally` override in backedge termination check #44106

aviatesk merged 1 commit into master from avi/effects
aviatesk
aviatesk aviatesk requested a review from Keno Keno 4 years ago
aviatesk aviatesk changed the title inference: set `:terminates_locally` with `:terminate_globally` setting inference: set `:terminates_locally` with `:terminates_globally` setting 4 years ago
aviatesk aviatesk force pushed from 0ffec997 to 57d386cd 4 years ago
vtjnash
vtjnash approved these changes on 2022-02-12
Keno
Keno commented on 2022-02-12
aviatesk inference: look for `:terminate_globally` override in backedge termin…
27586a87
aviatesk aviatesk force pushed from 57d386cd to 27586a87 4 years ago
aviatesk aviatesk changed the title inference: set `:terminates_locally` with `:terminates_globally` setting effects: look for :terminate_globally override in backedge termination check 4 years ago
aviatesk aviatesk changed the title effects: look for :terminate_globally override in backedge termination check effects: look for `:terminate_globally` override in backedge termination check 4 years ago
aviatesk aviatesk merged 5e7b6dd0 into master 4 years ago
aviatesk aviatesk deleted the avi/effects branch 4 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum