Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

consensus: rename TriggerHardForkNever to TriggerHardForkNotDuringThisExecution #396

Merged
merged 1 commit into from
Oct 5, 2023

Conversation

nfrisby
Copy link
Contributor

@nfrisby nfrisby commented Oct 3, 2023

See the single commit's message.

@nfrisby nfrisby requested a review from a team as a code owner October 3, 2023 15:32
@nfrisby nfrisby force-pushed the nfrisby/hfc-fix-confusing-name branch 2 times, most recently from 39668a4 to 6b1ca66 Compare October 3, 2023 15:46
Copy link
Member

@amesgen amesgen left a comment

Choose a reason for hiding this comment

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

Thanks, this is a strict improvement, and might even have prevented bugs such as the one fixed by IntersectMBO/ouroboros-network#3754

@nfrisby nfrisby force-pushed the nfrisby/hfc-fix-confusing-name branch 2 times, most recently from 1bc81a8 to 286a4c6 Compare October 4, 2023 14:39
@nfrisby nfrisby enabled auto-merge October 4, 2023 14:40
@nfrisby nfrisby changed the title consensus: rename TriggerHardForkNever to TriggerHardForkCannotBeKnown consensus: rename TriggerHardForkNever to TriggerHardForkNotDuringThisExecution Oct 4, 2023
@nfrisby nfrisby force-pushed the nfrisby/hfc-fix-confusing-name branch from 286a4c6 to e78d38b Compare October 4, 2023 14:42
…sExecution

We have found that the "never" wording was leading us to believe that this
setting was instructing the HFC to assume that the era never ended. That is
explicitly not the case (see UnsafeIndefiniteSafeZone instead).
@amesgen amesgen force-pushed the nfrisby/hfc-fix-confusing-name branch from e78d38b to f80c43e Compare October 5, 2023 08:38
@nfrisby nfrisby added this pull request to the merge queue Oct 5, 2023
Merged via the queue into main with commit 903ba3c Oct 5, 2023
10 of 11 checks passed
@nfrisby nfrisby deleted the nfrisby/hfc-fix-confusing-name branch October 5, 2023 09:05
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.

2 participants