-
Notifications
You must be signed in to change notification settings - Fork 224
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
Removed amino folder #592
Removed amino folder #592
Changes from 32 commits
e243c70
007bb09
f7bd911
0b05bdb
4d55b61
9bcdbaf
d5cd63c
535e5a1
c66fe9d
428a369
631f5c2
da4db48
b46bc85
90ecfc8
66a3a54
8600b54
fcef436
8f9f0ba
696efd3
661e294
19dddbb
9fade2b
5a63cb9
3829909
665fe72
f5b1202
96b6f7f
8cc3d23
ff3cb43
2557cf4
54be939
1d84575
1e1255a
e2d3773
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -4,6 +4,7 @@ use contracts::*; | |
|
||
use crate::store::LightStore; | ||
use crate::types::Height; | ||
use std::convert::TryInto; | ||
|
||
/// The scheduler decides what block to verify next given the current and target heights. | ||
/// | ||
|
@@ -122,5 +123,7 @@ pub fn valid_schedule( | |
#[pre(low <= high)] | ||
#[post(low <= ret && ret <= high)] | ||
fn midpoint(low: Height, high: Height) -> Height { | ||
(low.value() + (high.value() + 1 - low.value()) / 2).into() | ||
(low.value() + (high.value() + 1 - low.value()) / 2) | ||
.try_into() | ||
.unwrap() // Will panic if midpoint is higher than i64::MAX | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Can we label these with something consistent so it's easy to find them in the future if we change how we handle this? Maybe should be an XXX or something easy to find... There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Good idea, although in this case it's more of a theoretical possibility than a real one. Maybe it's better to remove it, since it's theoretical only. |
||
} |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1,2 @@ | ||
_*/* | ||
*/_* |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
🔥