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.

Sign up for GitHub

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

Jump to bottom

Remove arbitrary-constant sanity checks in cycle collector #2666

Closed

graydon opened this issue Jun 21, 2012 · 1 comment

Labels

C-cleanup E-easy

Milestone

old 1.0 milestone

Contributor

graydon commented Jun 21, 2012

As per fixmes.

Contributor

catamorphism commented Dec 13, 2012

Cycle collector has been removed, closing.

catamorphism closed this as completed

RalfJung pushed a commit to RalfJung/rust that referenced this issue


          Auto merge of rust-lang#2666 - RalfJung:josh, r=RalfJung

a046f62

update josh instructions

josh-project/josh#965 and josh-project/josh#994 have been merged so we don't need a forked josh any more. :)

However, this is blocked on josh-project/josh#1032 which currently prevents me from actually testing this...

Aaron1011 pushed a commit to Aaron1011/rust that referenced this issue


          Auto merge of rust-lang#2666 - RalfJung:josh, r=RalfJung

f3e6dd7

update josh instructions

josh-project/josh#965 and josh-project/josh#994 have been merged so we don't need a forked josh any more. :)

However, this is blocked on josh-project/josh#1032 which currently prevents me from actually testing this...

celinval pushed a commit to celinval/rust-dev that referenced this issue


          Bump Kani version to 0.34.0 (rust-lang#2666)

ca39285

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment