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
fns using c-stack-cdecl native ABI cannot be used as values #1058
Activity
re-enable tests for rust-lang#1058 and rust-lang#1059
re-enable tests for rust-lang#1058 and rust-lang#1059
nikomatsakis commentedon Nov 19, 2011
Fixed in @b6af844
Merge pull request rust-lang#1058 from bjorn3/misc_rustc_test_suite_f…
Convert _mm256_blend_{ps,pd} to const generics (rust-lang#1058)
Rejoin kani-verifer into the overall workspace (rust-lang#1058)
Merge rust-lang#1058
verifast-proofs/core/slice: README: link the upstream proposals (veri…