Pipe should get terminated if a blocked selector is killed & punted awake. #3176
Labels
A-concurrency
Area: Concurrency
Comments
ghost
assigned 
RalfJung
pushed a commit
to RalfJung/rust
that referenced
this issue
Nov 25, 2023
Implement all 16 AVX compare operators for 128-bit SIMD vectors
`_mm_cmp_{ss,ps,sd,pd}` functions are AVX functions that use `llvm.x86.sse{,2}.` prefixed intrinsics, so they were "accidentally" partially implemented when SSE and SSE2 intrinsics were implemented.
The 16 AVX compare operators are now implemented and tested.
celinval
pushed a commit
to celinval/rust-dev
that referenced
this issue
Jun 4, 2024
For reference, here is the auto-generated changelog ## What's Changed * Upgrade toolchain to 2024-04-18 and improve toolchain workflow by @celinval in model-checking/kani#3149 * Automatic toolchain upgrade to nightly-2024-04-19 by @github-actions in model-checking/kani#3150 * Stabilize cover statement and update contracts RFC by @celinval in model-checking/kani#3091 * Automatic toolchain upgrade to nightly-2024-04-20 by @github-actions in model-checking/kani#3154 * Bump tests/perf/s2n-quic from `2d5e891` to `5f88e54` by @dependabot in model-checking/kani#3140 * Automatic cargo update to 2024-04-22 by @github-actions in model-checking/kani#3157 * Automatic toolchain upgrade to nightly-2024-04-21 by @github-actions in model-checking/kani#3158 * Bump tests/perf/s2n-quic from `5f88e54` to `9730578` by @dependabot in model-checking/kani#3159 * Fix cargo audit error by @jaisnan in model-checking/kani#3160 * Fix cbmc-update CI job by @tautschnig in model-checking/kani#3156 * Automatic cargo update to 2024-04-29 by @github-actions in model-checking/kani#3165 * Bump tests/perf/s2n-quic from `9730578` to `1436af7` by @dependabot in model-checking/kani#3166 * Do not assume that ZST-typed symbols refer to unique objects by @tautschnig in model-checking/kani#3134 * Fix copyright check for `expected` tests by @adpaco-aws in model-checking/kani#3170 * Remove kani::Arbitrary from the modifies contract instrumentation by @feliperodri in model-checking/kani#3169 * Automatic cargo update to 2024-05-06 by @github-actions in model-checking/kani#3172 * Bump tests/perf/s2n-quic from `1436af7` to `6dd41e0` by @dependabot in model-checking/kani#3174 * Avoid unnecessary uses of Location::none() by @tautschnig in model-checking/kani#3173 **Full Changelog**: model-checking/kani@kani-0.50.0...kani-0.51.0 By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses. --------- Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Like #3168, but for the select path instead.
The text was updated successfully, but these errors were encountered: