Skip to content

Conversation

@dafnamatsry
Copy link
Collaborator

No description provided.

@reviewable-StarkWare
Copy link

This change is Reviewable

Copy link
Collaborator Author

This stack of pull requests is managed by Graphite. Learn more about stacking.

@dafnamatsry dafnamatsry marked this pull request as ready for review January 18, 2026 07:28
Copy link
Collaborator

@matanl-starkware matanl-starkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@matanl-starkware reviewed 1 file and all commit messages, and made 1 comment.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @dafnamatsry).


-- commits line 2 at r1:
Please add more information to the commit message regarding the situation; it might happen that we start a new height with a round > 0.

Code quote:

remove round 0 assertion.

it might happen that we start a new height with a round > 0. e.g. if we already have enough Nil precommit votes cached for early rounds.
@dafnamatsry dafnamatsry force-pushed the dafna/remove-round-zero-assert branch from cb0af86 to 6dc7e78 Compare January 18, 2026 10:21
Copy link
Collaborator Author

@dafnamatsry dafnamatsry left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@dafnamatsry made 1 comment.
Reviewable status: all files reviewed (commit messages unreviewed), all discussions resolved (waiting on @dafnamatsry).


-- commits line 2 at r1:

Previously, matanl-starkware (Matan Lior) wrote…

Please add more information to the commit message regarding the situation; it might happen that we start a new height with a round > 0.

Done.

Copy link
Collaborator

@matanl-starkware matanl-starkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@matanl-starkware reviewed all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @dafnamatsry).

@dafnamatsry dafnamatsry added this pull request to the merge queue Jan 18, 2026
Merged via the queue into main-v0.14.1-committer with commit 826283b Jan 18, 2026
14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants