Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Apr 19, 2026

• Update Kani Metrics (#586)

  Show description for 2f8269d
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  2f8269d

  Copy full SHA for 2f8269d

Commits on Apr 13, 2026

• Update Kani Metrics (#584)

  Show description for 863c770
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  863c770

  Copy full SHA for 863c770

Commits on Apr 5, 2026

• Update Kani Metrics (#583)

  Show description for 3840a6f
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  3840a6f

  Copy full SHA for 3840a6f

Commits on Mar 31, 2026

• Add GitHub Copilot code review instructions (#581)

  Show description for 314fbd7
  feliperodri

  authored
  314fbd7

  Copy full SHA for 314fbd7

Commits on Mar 29, 2026

• Update Kani Metrics (#579)

  Show description for 0b8a9a9
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  0b8a9a9

  Copy full SHA for 0b8a9a9

Commits on Mar 23, 2026

• Update Kani Metrics (#563)

  Show description for 2840898
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  2840898

  Copy full SHA for 2840898

Commits on Mar 15, 2026

• Update Kani Metrics (#556)

  Show description for 7af3f89
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  7af3f89

  Copy full SHA for 7af3f89

Commits on Mar 9, 2026

• README.md: Sync rewards (#515)

  Show description for 1f5b4db
  

  btj

  and

  feliperodri

  authored
  1f5b4db

  Copy full SHA for 1f5b4db

• Update Kani Metrics (#555)

  Show description for 65cf645
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  65cf645

  Copy full SHA for 65cf645

Commits on Mar 5, 2026

• Use minimal GITHUB_TOKEN permissions for metrics and subtree workflow (#552)

  Show description for c69b9b9
  AdnaneKhan

  authored
  c69b9b9

  Copy full SHA for c69b9b9

• New challenge: safety of boxed (#525)

  Show description for 68525fc
  

  AlexLB99

  and

  feliperodri

  authored
  68525fc

  Copy full SHA for 68525fc

• New challenge: flt2dec (#523)

  Show description for 7056130
  

  AlexLB99

  and

  feliperodri

  authored
  7056130

  Copy full SHA for 7056130

Commits on Mar 2, 2026

• Update Kani Metrics (#553)

  Show description for be3bf0e
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  be3bf0e

  Copy full SHA for be3bf0e

Commits on Feb 23, 2026

• Update Kani Metrics (#551)

  Show description for 3508a8f
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  3508a8f

  Copy full SHA for 3508a8f

Commits on Feb 16, 2026

• Update Kani Metrics (#548)

  Show description for f25c24e
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  f25c24e

  Copy full SHA for f25c24e

Commits on Feb 8, 2026

• Update Kani Metrics (#542)

  Show description for 18299e0
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  18299e0

  Copy full SHA for 18299e0

Commits on Feb 2, 2026

• Update Kani Metrics (#536)

  Show description for 9bbdb30
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  9bbdb30

  Copy full SHA for 9bbdb30

Commits on Jan 26, 2026

• Update Kani Metrics (#534)

  Show description for c5cfe81
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  c5cfe81

  Copy full SHA for c5cfe81

Commits on Jan 18, 2026

• Update Kani Metrics (#522)

  Show description for bb7bdc9
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  bb7bdc9

  Copy full SHA for bb7bdc9

• Improve the VeriFast scripts (#507)

  Show description for dd1e82c
  

  btj

  and

  tautschnig

  authored
  dd1e82c

  Copy full SHA for dd1e82c

Commits on Jan 16, 2026

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

  Show description for ac622da
  

  73 peopleauthored
  ac622da

  Copy full SHA for ac622da

Commits on Dec 21, 2025

• Update Kani Metrics (#521)

  Show description for afb1875
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  afb1875

  Copy full SHA for afb1875

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