Use the gerbil-patches branch of the Gambit mirror #1510
No reviewers
Labels
No labels
UX
active development
backlog
blocker
bootstrap
bounty
bug
dependencies
discussion
documentation
duplicate
enhancement
flaky test
help wanted
invalid
javascript
question
release
tendentious
wontfix
No milestone
No project
No assignees
2 participants
Notifications
Due date
No due date set.
Dependencies
No dependencies set
Reference
mighty-gerbils/gerbil!1510
Loading…
Reference in a new issue
No description provided.
Delete branch "vyzo/v0.19-gambit-patches"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Configure integrated Gambit from the mirror's gerbil-patches branch,
record that tracking branch in .gitmodules, and update the submodule
pointer to ea114fc3d2f120abbe20393c1f9aeafdd3f8c89f.
That commit invalidates stale stack-overflow undo metadata when
continuations are captured or replaced, preserving saved stack frames
across thread switches. The fix and its regression are published at:
mighty-gerbils/gambit@ea114fc3d2Validation: configure shell syntax and the exact three-file diff; Gambit's
new test12 fails with the original header and passes with the patch.
An instrumented version of the correction passed 150 fresh-process
16-case Host runs plus a full 39-case run that exercised the protected
transition with the earlier boundary guard disabled.
LGTM