You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Vectors of resources are logged incorrectly by the shape glue #2614
Activity
catamorphism commentedon Nov 16, 2012
No longer an issue; we don't have resources or shape glue, and the equivalent version with structs produces correct output.
Auto merge of rust-lang#2614 - saethlin:stack-inspection-tools, r=Ral…
Bump CBMC version to 5.88.0 (rust-lang#2614)
Merge pull request rust-lang#2614 from rust-lang/rustc-pull
Merge pull request rust-lang#2614 from rust-lang/rustc-pull
Merge rust-lang#2614