basic): b = c if b - a = c - a (assuming a ≤ b and a ≤ c)
#862

Merged

feat(data/nat/basic): b = c if b - a = c - a (assuming a ≤ b and a ≤ c) #862

mergify merged 5 commits into master from sub_cancel

cipher1024 assigned

digama0 6 years ago

kim-em requested a review 6 years ago

cipher1024 dismissed these changes on 2019-04-05

cipher1024 added ready-to-merge

ChrisHughes24 removed ready-to-merge

ChrisHughes24 added ready-to-merge

feat(data/nat/basic): b = c if b - a = c - a

27f23133

rwbarton force pushed from e8856b2b to 27f23133 6 years ago

mergify dismissed their stale review 6 years ago

Pull request has been modified.

rwbarton dismissed these changes on 2019-04-05

Merge branch 'master' into 'sub_cancel'

f2af7546

Merge branch 'master' into sub_cancel

06522ff9

mergify dismissed their stale review 6 years ago

Pull request has been modified.

ChrisHughes24 dismissed these changes on 2019-04-06

Merge branch 'master' into sub_cancel

c6419d1f

mergify dismissed their stale review 6 years ago

Pull request has been modified.

ChrisHughes24 approved these changes on 2019-04-06

cipher1024 removed ready-to-merge

cipher1024 added ready-to-merge

Merge branch 'master' into 'sub_cancel'

1b78d016

mergify merged 7e70ebd0 into master 6 years ago

mergify deleted the sub_cancel branch 6 years ago

Reviewers

ChrisHughes24

rwbarton

cipher1024

Assignees

digama0

Labels

ready-to-merge

Milestone

No milestone