Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 17, 2024

• Function Contracts: Modify Slices (model-checking#3295)

  

  4 peopleauthored
  852fd8f

• Automatic toolchain upgrade to nightly-2024-07-16 (model-checking#3346)

  github-actions[bot]

  authored
  b1681e7

Commits on Jul 16, 2024

• Add a few examples of using shadow memory to check initialization of slices (model-checking#3237)

  

  3 peopleauthored
  053f45c

• Mitigate invalid transmute when checking memory initialization (model-checking#3338)

  artemagvanian

  authored
  ff91762

• Fix visibility of some Kani intrinsics (model-checking#3323)

  artemagvanian

  authored
  398729c

Commits on Jul 15, 2024

• Bump tests/perf/s2n-quic from cd20ac1 to 71f8d9f (model-checking#3343)

  dependabot[bot]

  authored
  441451c

• Automatic cargo update to 2024-07-15 (model-checking#3342)

  github-actions[bot]

  authored
  0b8acc4

• Automatic toolchain upgrade to nightly-2024-07-15 (model-checking#3341)

  github-actions[bot]

  authored
  da092ca

Commits on Jul 14, 2024

• Automatic toolchain upgrade to nightly-2024-07-14 (model-checking#3340)

  github-actions[bot]

  authored
  4592a4a

Commits on Jul 13, 2024

• Automatic toolchain upgrade to nightly-2024-07-13 (model-checking#3339)

  

  github-actions[bot]

  and

  celinval

  authored
  3d57f52

Commits on Jul 12, 2024

• Upgrade toolchain to 7/12 (model-checking#3337)

  jaisnan

  authored
  02e3327

• Improve performance and language support of memory initialization checks (model-checking#3313)

  

  artemagvanian

  and

  zhassan-aws

  authored
  068f63c

Commits on Jul 9, 2024

• Automatic cargo update to 2024-07-08 (model-checking#3329)

  github-actions[bot]

  authored
  3b4042c

• Make Kani reject mutable pointer casts if padding is incompatible and memory initialization is checked (model-checking#3332)

  artemagvanian

  authored
  923346c

• Bump tests/perf/s2n-quic from 37335c1 to cd20ac1 (model-checking#3330)

  dependabot[bot]

  authored
  34820bd

Commits on Jul 8, 2024

• Auto-upload macOS ARM binaries to draft release (model-checking#3320)

  tautschnig

  authored
  53b702d

• CI: Allow use of node16 for release jobs (model-checking#3322)

  adpaco-aws

  authored
  107daa7

Commits on Jul 3, 2024

• Bump Kani version to 0.53.0 (model-checking#3317)

  adpaco-aws

  authored
  fcc9d8b

• Remove deprecated --enable-stubbing (model-checking#3309)

  

  celinval

  and

  zhassan-aws

  authored
  f6d3385

Commits on Jul 2, 2024

• Towards Proving Memory Initialization (model-checking#3264)

  

  artemagvanian

  and

  celinval

  authored
  d926482

• Upgrade toolchain to nightly-2024-07-01 (model-checking#3314)

  adpaco-aws

  authored
  2fb97d2

• Automatic toolchain upgrade to nightly-2024-06-29 (model-checking#3315)

  github-actions[bot]

  authored
  67d6ac9

Commits on Jul 1, 2024

• Add support for f16 and f128 for toolchain upgrade to 6/28 (model-checking#3306)

  jaisnan

  authored
  d55f25b

• Function Contracts: Closure Type Inference (model-checking#3307)

  pi314mm

  authored
  6f0c0b5

• Automatic cargo update to 2024-07-01 (model-checking#3310)

  github-actions[bot]

  authored
  0994887

Commits on Jun 28, 2024

• Automatic toolchain upgrade to nightly-2024-06-27 (model-checking#3301)

  github-actions[bot]

  authored
  5a6a5f3

Commits on Jun 27, 2024

• Upgrade rust toolchain to 06-26 (model-checking#3299)

  jaisnan

  authored
  3b9665f

• C library: declare malloc (model-checking#3296)

  tautschnig

  authored
  3adb262

• Fix operand in fat pointer comparison (model-checking#3297)

  

  pi314mm

  and

  Matias Scharager

  authored
  c8746e2

• RFC: Quantifiers (model-checking#3242)

  feliperodri

  authored
  997c95c

Commits on Jun 25, 2024

• Automatic toolchain upgrade to nightly-2024-06-25 (model-checking#3292)

  

  github-actions[bot]

  and

  tautschnig

  authored
  1491dd6

• Automatic toolchain upgrade to nightly-2024-06-24 (model-checking#3291)

  github-actions[bot]

  authored
  d5f8a11

• Automatic cargo update to 2024-06-24 (model-checking#3286)

  

  3 peopleauthored
  82d79c5

• Automatic toolchain upgrade to nightly-2024-06-23 (model-checking#3290)

  

  github-actions[bot]

  and

  celinval

  authored
  0274128

• Bump tests/perf/s2n-quic from 7495f7b to 37335c1 (model-checking#3288)

  

  dependabot[bot]

  and

  zhassan-aws

  authored
  d25a629

Pagination

PreviousNext