Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 1, 2025

• Update Kani Metrics (#519)

  Show description for 3b82716
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  3b82716

  Copy full SHA for 3b82716

Commits on Nov 27, 2025

• Add a tour of the RawVec proof (#481)

  Show description for d673526
  btj

  authored
  d673526

  Copy full SHA for d673526

Commits on Nov 24, 2025

• Update Kani Metrics (#517)

  Show description for b22e2fa
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  b22e2fa

  Copy full SHA for b22e2fa

Commits on Nov 17, 2025

• Update Kani Metrics (#514)

  Show description for 3ad3d85
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  3ad3d85

  Copy full SHA for 3ad3d85

Commits on Nov 10, 2025

• Update Kani Metrics (#511)

  Show description for bf0ae0e
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  bf0ae0e

  Copy full SHA for bf0ae0e

Commits on Oct 21, 2025

• Clarify documentation of `can_dereference` with write permissions (#510)

  Show description for b5775bd
  dawidl022

  authored
  b5775bd

  Copy full SHA for b5775bd

Commits on Oct 20, 2025

• Update Kani Metrics (#509)

  Show description for 78e9eb3
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  78e9eb3

  Copy full SHA for 78e9eb3

• Fixup merge resolution: Add and update rewards to open challenges lacking one (#502)

  Show description for 02cd117
  tautschnig

  authored
  02cd117

  Copy full SHA for 02cd117

Commits on Oct 9, 2025

• Add loop_invariant and harness for array reverse (#430)

  Show description for 3bb48f0
  

  3 peopleauthored
  3bb48f0

  Copy full SHA for 3bb48f0

• Add loop invariants and harnesses for DecimalSeq functions (#439)

  Show description for c0c576a
  

  3 peopleauthored
  c0c576a

  Copy full SHA for c0c576a

• LLM-generated contracts (#473)

  Show description for 525c2f0
  

  4 peopleauthored
  525c2f0

  Copy full SHA for 525c2f0

• Merge subtree update for toolchain nightly-2025-09-09 (#488)

  Show description for 28ab0a2
  

  80 peopleauthored
  28ab0a2

  Copy full SHA for 28ab0a2

Commits on Oct 8, 2025

• Update README.md now that Challenge 1 is resolved (#486)

  Show description for b007ef7
  

  tautschnig

  and

  feliperodri

  authored
  b007ef7

  Copy full SHA for b007ef7

• Remove spurious comments about the need for quantifiers (#457)

  Show description for 6be9ca4
  

  tautschnig

  and

  feliperodri

  authored
  6be9ca4

  Copy full SHA for 6be9ca4

• Add and update rewards to open challenges lacking one (#459)

  Show description for 53e9e1b
  

  tautschnig

  and

  feliperodri

  authored
  53e9e1b

  Copy full SHA for 53e9e1b

Commits on Oct 5, 2025

• Update Kani Metrics (#497)

  Show description for 195e1b6
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  195e1b6

  Copy full SHA for 195e1b6

Commits on Sep 28, 2025

• Update Kani Metrics (#496)

  Show description for 7be2745
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  7be2745

  Copy full SHA for 7be2745

Commits on Sep 24, 2025

• Testable Models for SIMD Intrinsics (#423)

  Show description for ffda6a8
  

  karthikbhargavan

  and

  maximebuyse

  authored
  ffda6a8

  Copy full SHA for ffda6a8

• Update Kani Metrics (#494)

  Show description for af09d6d
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  af09d6d

  Copy full SHA for af09d6d

• README.md: Fix broken links (#495)

  Show description for 9187a7f
  btj

  authored
  9187a7f

  Copy full SHA for 9187a7f

Commits on Sep 14, 2025

• Update Kani Metrics (#492)

  Show description for 8e3d846
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  8e3d846

  Copy full SHA for 8e3d846

Commits on Sep 9, 2025

• Add Flux specifications to path/bstr/hash/time (#438)

  Show description for 398ff24
  

  nilehmann

  and

  ranjitjhala

  authored
  398ff24

  Copy full SHA for 398ff24

• Show contest status in repo README (#482)

  Show description for 88422c8
  btj

  authored
  88422c8

  Copy full SHA for 88422c8

• Merge subtree update for toolchain nightly-2025-08-26 (#480)

  Show description for 13a59e3
  

  69 peopleauthored
  13a59e3

  Copy full SHA for 13a59e3

• Challenge 1 status update (#433)

  Show description for 047eac5
  

  AlexLB99

  and

  thanhnguyen-aws

  authored
  047eac5

  Copy full SHA for 047eac5

• Workaround sporadic git submodule failure (#484)

  Show description for 4761a01
  tautschnig

  authored
  4761a01

  Copy full SHA for 4761a01

• Update Kani Metrics (#483)

  Show description for 3675c7b
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  3675c7b

  Copy full SHA for 3675c7b

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 21, 2025

• 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

Pagination

Previous

Next