syndicate-lang
/
syndicate-protocols
1
0
Fork 1
Code Issues 3 Pull Requests 6 Projects Releases Wiki Activity

timer: assert SetTimer and receive TimerExpired message #14

Open
ehmry wants to merge 1 commits from ehmry/syndicate-protocols:timers into main
pull from: ehmry/syndicate-protocols:timers
merge into: syndicate-lang:main
Conversation 0 Commits 1 Files Changed 2 +3 -2
ehmry commented 2024-06-25 15:05:42 +00:00
Contributor
Copy Link

An alternative timer scheme that I think is less stateful and less reliant on dataspace semantics.

When it's all assertions I have a hard time reasoning about cleaning up after expiry, and assertions of relative timeouts confuse me.

I'm using it but don't have much experience with this version yet.

An alternative timer scheme that I think is less stateful and less reliant on dataspace semantics. When it's all assertions I have a hard time reasoning about cleaning up after expiry, and assertions of relative timeouts confuse me. I'm using it but don't have much experience with this version yet.
ehmry added 1 commit 2024-06-25 15:05:43 +00:00
This pull request can be merged automatically.
You are not authorized to merge this pull request.
You can also view command line instructions.

Step 1:

From your project repository, check out a new branch and test the changes.
git checkout -b ehmry-timers main
git pull timers

Step 2:

Merge the changes and update on Forgejo.
git checkout main
git merge --no-ff ehmry-timers
git push origin main
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No Label
Milestone
Clear milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
No Assignees
1 Participants
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: syndicate-lang/syndicate-protocols#14
No description provided.
Delete Branch "ehmry/syndicate-protocols:timers"

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?