6 Pull requests merged by 4 people

• Automatic cargo update to 2024-11-25

  #3735 merged Nov 26, 2024

• Fix size and alignment computation for intrinsics

  #3734 merged Nov 26, 2024

• Bump tests/perf/s2n-quic from 4c3ba69 to c84ba19

  #3736 merged Nov 25, 2024

• Fix issues with how we compute DST size

  #3687 merged Nov 22, 2024

• add support for enum, struct, tuple in llbc backend

  #3721 merged Nov 22, 2024

• Automatic toolchain upgrade to nightly-2024-11-19

  #3730 merged Nov 20, 2024

5 Pull requests opened by 4 people

• Add support for quantifiers

  #3737 opened Nov 25, 2024

• Cleanup a few internal compiler deps

  #3739 opened Nov 26, 2024

• Update toolchain to nightly-2024-11-26

  #3740 opened Nov 26, 2024

• replace checkoutv3 with clone

  #3741 opened Nov 26, 2024

• Add a Kani function that checks if the range of a float is valid for conversion to int

  #3742 opened Nov 27, 2024

3 Issues closed by 1 person

• Kani miss overflow when computing `size_of_val`

  #3616 closed Nov 26, 2024

• Memory predicates size computation is incorrect for ADTs with non-sized tail

  #3627 closed Nov 22, 2024

• Memory predicates won't work if function with contract is compiled as a dependency

  #3612 closed Nov 22, 2024

3 Issues opened by 3 people

• Check vtable validity when explicitly creating wide pointer

  #3738 opened Nov 25, 2024

• Compilation Error When Stubbing Functions That Return Pointers Using Function Contracts

  #3732 opened Nov 23, 2024

• Toolchain upgrade to nightly-2024-11-20 failed

  #3731 opened Nov 21, 2024

2 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.

• Add support for in_range

  #3711 commented on Nov 20, 2024 • 0 new comments

• Proposal for new Kani API similar to `CPROVER_r_ok` and `CPROVER_w_ok`

  #3672 commented on Nov 26, 2024 • 0 new comments