Commits

Branch selector

 asciiinvariant

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 26, 2025

• Merge branch 'main' into asciiinvariant

  thanhnguyen-aws

  authored
  bc371ee

  Copy full SHA for bc371ee

Commits on Aug 25, 2025

• Update Kani Metrics (#478)

  Show description for 8de7d8f
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  8de7d8f

  Copy full SHA for 8de7d8f

Commits on Aug 22, 2025

• safety -> kani

  thanhnguyen-aws

  committed
  ff93d97

  Copy full SHA for ff93d97

Commits on Aug 21, 2025

• fix format

  thanhnguyen-aws

  committed
  9629d00

  Copy full SHA for 9629d00

• Merge branch 'main' into asciiinvariant

  thanhnguyen-aws

  authored
  e13feed

  Copy full SHA for e13feed

• Merge subtree update for toolchain nightly-2025-08-20 (#476)

  Show description for 2a203c5
  

  67 peopleauthored
  2a203c5

  Copy full SHA for 2a203c5

Commits on Aug 20, 2025

• VeriFast solution for Challenge 5 (linked_list.rs) (#238)

  Show description for 1231f86
  btj

  authored
  1231f86

  Copy full SHA for 1231f86

Commits on Aug 19, 2025

• Update Kani Metrics (#469)

  Show description for ca49535
  

  github-actions[bot]

  and

  tautschnig

  authored
  ca49535

  Copy full SHA for ca49535

• Merge subtree update for toolchain nightly-2025-08-19 (#471)

  Show description for c2631f2
  

  67 peopleauthored
  c2631f2

  Copy full SHA for c2631f2

• Merge subtree update for toolchain nightly-2025-08-18 (#467)

  Show description for c090506
  

  66 peopleauthored
  c090506

  Copy full SHA for c090506

Commits on Aug 14, 2025

• VeriFast solution for challenge 19 (RawVec) (#422)

  Show description for f66ba41
  

  btj

  and

  feliperodri

  authored
  f66ba41

  Copy full SHA for f66ba41

Commits on Aug 13, 2025

• Add Flux to list of approved tools (#455)

  Show description for 80da01f
  

  tautschnig

  and

  feliperodri

  authored
  80da01f

  Copy full SHA for 80da01f

• Bump VeriFast to 25.07 (#453)

  Show description for f140b10
  btj

  authored
  f140b10

  Copy full SHA for f140b10

• Merge subtree update for toolchain nightly-2025-08-07 (#450)

  Show description for ee499dd
  

  66 peopleauthored
  ee499dd

  Copy full SHA for ee499dd

Commits on Aug 12, 2025

• Merge branch 'main' into asciiinvariant

  thanhnguyen-aws

  authored
  fbbe8c0

  Copy full SHA for fbbe8c0

• ci: only run update-kani-metrics in model-checking/verify-rust-std (#456)

  Show description for 6dfbad5
  zjp-CN

  authored
  6dfbad5

  Copy full SHA for 6dfbad5

• A bunch of LLM-generated contracts (#451)

  Show description for a0fca1c
  

  3 peopleauthored
  a0fca1c

  Copy full SHA for a0fca1c

• New challenges for Rc, Arc, and related Weak implementations (#367)

  Show description for cd5e611
  

  AlexLB99

  and

  patricklam

  authored
  cd5e611

  Copy full SHA for cd5e611

Commits on Aug 10, 2025

• Update Kani Metrics (#454)

  Show description for 9e522b6
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  9e522b6

  Copy full SHA for 9e522b6

Commits on Aug 8, 2025

• Merge branch 'main' into asciiinvariant

  thanhnguyen-aws

  authored
  e123036

  Copy full SHA for e123036

• fix typo

  thanhnguyen-aws

  committed
  0730d3c

  Copy full SHA for 0730d3c

• add loop invariants and harnesses for some ascii functions

  thanhnguyen-aws

  committed
  4a98087

  Copy full SHA for 4a98087

Commits on Aug 6, 2025

• Merge subtree update for toolchain nightly-2025-08-06 (#447)

  Show description for 517e11e
  

  66 peopleauthored
  517e11e

  Copy full SHA for 517e11e

• Update ESBMC link (#448)

  Show description for 8e9f2b7
  rafaelsamenezes

  authored
  8e9f2b7

  Copy full SHA for 8e9f2b7

• Merge subtree update for toolchain nightly-2025-08-01 (#441)

  Show description for ca5f7b8
  

  65 peopleauthored
  ca5f7b8

  Copy full SHA for ca5f7b8

• LLM-generated contracts for `__iterator_get_unchecked` (#435)

  Show description for bba1224
  

  4 peopleauthored
  bba1224

  Copy full SHA for bba1224

Commits on Aug 4, 2025

• Update Kani Metrics (#442)

  Show description for e4dcb19
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  e4dcb19

  Copy full SHA for e4dcb19

Commits on Aug 1, 2025

• Merge subtree update for toolchain nightly-2025-07-31 (#437)

  Show description for cca65d3
  

  62 peopleauthored
  cca65d3

  Copy full SHA for cca65d3

Commits on Jul 30, 2025

• Merge subtree update for toolchain nightly-2025-07-30 (#432)

  Show description for 177d0fd
  

  63 peopleauthored
  177d0fd

  Copy full SHA for 177d0fd

Commits on Jul 29, 2025

• Merge subtree update for toolchain nightly-2025-07-21 (#428)

  Show description for 71c5bf3
  

  69 peopleauthored
  71c5bf3

  Copy full SHA for 71c5bf3

Commits on Jul 28, 2025

• Add missing line breaks in 0020-str-pattern-pt1.md (#426)

  Show description for 4c08921
  btj

  authored
  4c08921

  Copy full SHA for 4c08921

• Fix table in 0025-vecdeque.md (#425)

  Show description for f56cf20
  btj

  authored
  f56cf20

  Copy full SHA for f56cf20

Commits on Jul 27, 2025

• Update Kani Metrics (#424)

  Show description for e3a6411
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  e3a6411

  Copy full SHA for e3a6411

Commits on Jul 24, 2025

• align_to and align_to_mut contract and harnesses (#405)

  Show description for 099ad08
  AlexLB99

  authored
  099ad08

  Copy full SHA for 099ad08

Commits on Jul 23, 2025

• Merge subtree update for toolchain nightly-2025-07-14 (#421)

  Show description for 34236a6
  

  72 peopleauthored
  34236a6

  Copy full SHA for 34236a6

Pagination

Previous

Next