swift
[rbi] Rewrite isolation-history notes on top of real partition rewinding
#91247

Open

[rbi] Rewrite isolation-history notes on top of real partition rewinding #91247

gottesmm wants to merge 6 commits into swiftlang:main from gottesmm:rbi-isolation-history-pairwise-rewind

[VariableNameUtils] Let a client name a call result after its callee

6dddb741

[rbi] Redo isolation-history notes on top of proper partition rewinding

c39fe8cb

[rbi] Shrink the isolation-history walk's Frame from 688 to 192 bytes

8e4d1159

[rbi] Only copy a predecessor's exit partition when the walk forks in…

9d422906

[rbi] Move couldAnswer onto PartitionWrapper

6add6d6d

[rbi] Split the predecessor forking out of processFrame [NFC]

c44d0d36

gottesmm requested a review from

ktoso 1 day ago

gottesmm requested a review from

eeckstein 1 day ago

gottesmm requested a review from

jckarter 1 day ago

gottesmm enabled auto-merge 1 day ago

disabled auto-merge 16 hours ago
Manually disabled by user

Reviewers

ktoso

eeckstein

jckarter

Assignees

No one assigned

Labels

None yet

Milestone

No milestone