contracting): redefine using emetric
#2070

Merged

refactor(topology/metric_space/contracting): redefine using emetric #2070

mergify merged 9 commits into master from emetric-contracting

refactor(topology/metric_space/contracting): redefine using emetric

f6c158c4

Fix a typo produced by "copy+paste"

6647de91

sgouezel commented on 2020-03-01

urkud added awaiting-author

cipher1024 assigned

sgouezel 6 years ago

Merge branch 'master' into emetric-contracting

5f2f44ff

Merge branch 'master' into emetric-contracting

6337fce1

Merge branch 'master' into emetric-contracting

09024cc2

Fix compile

d108b0dd

Refactor `efixed_point`, `efixed_point'`

2c3fe918

urkud removed awaiting-author

urkud added awaiting-review

sgouezel commented on 2020-03-23

sgouezel approved these changes on 2020-03-23

sgouezel removed awaiting-review

sgouezel added ready-to-merge

Merge branch 'master' into emetric-contracting

d3599af0

Merge branch 'master' into emetric-contracting

bcc80bd6

mergify merged 9832fba5 into master 6 years ago

urkud deleted the emetric-contracting branch 6 years ago

Reviewers

sgouezel

Assignees

sgouezel

Labels

ready-to-merge

Milestone

No milestone