12 Pull requests merged by 6 people

• Autoharness: exit code 1 upon harness failure

  #4043 merged Apr 24, 2025

• Scanner: log crate-level visibility of functions

  #4041 merged Apr 24, 2025

• Automatic toolchain upgrade to nightly-2025-04-24

  #4042 merged Apr 24, 2025

• Analyze unsafe code reachability

  #4037 merged Apr 24, 2025

• Automatic toolchain upgrade to nightly-2025-04-23

  #4040 merged Apr 23, 2025

• Support trait_upcasting

  #4001 merged Apr 23, 2025

• Introduce BoundedArbitrary trait and macro for bounded proofs

  #4000 merged Apr 23, 2025

• Automatic toolchain upgrade to nightly-2025-04-22

  #4039 merged Apr 22, 2025

• Automatic toolchain upgrade to nightly-2025-04-21

  #4035 merged Apr 22, 2025

• Bump tests/perf/s2n-quic from 0413d9a to f42521d

  #4038 merged Apr 21, 2025

• Automatic cargo update to 2025-04-21

  #4036 merged Apr 21, 2025

• Automatic toolchain upgrade to nightly-2025-04-20

  #4034 merged Apr 20, 2025

1 Pull request opened by 1 person

• Prefix property descriptions of panics with "Panic:"

  #4045 opened Apr 25, 2025

2 Issues closed by 1 person

• Update vtable implementation for upcoming Rust trait upcasting

  #358 closed Apr 23, 2025

• Trait upcasting doesn't work properly with multiple supertraits

  #3998 closed Apr 23, 2025

2 Issues opened by 2 people

• Autoharness include/exclude pattern does not support whitespace

  #4046 opened Apr 25, 2025

• Toolchain upgrade to nightly-2025-04-25 failed

  #4044 opened Apr 25, 2025

6 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Kani fails on s2n-quic

  #3997 commented on Apr 23, 2025 • 0 new comments

• hangs on string.repeat() ?

  #2235 commented on Apr 23, 2025 • 0 new comments

• Compiler warning about ABI of current target

  #3878 commented on Apr 23, 2025 • 0 new comments

• Fix the bug: Loop contracts are not composable with function contracts

  #3979 commented on Apr 22, 2025 • 0 new comments

• Add support for quantifiers

  #3993 commented on Apr 24, 2025 • 0 new comments

• Add target-feature neon

  #4010 commented on Apr 25, 2025 • 0 new comments