Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 24, 2025

• Update Kani Metrics (#295)

  Show description for 0269891
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  0269891

  Copy full SHA for 0269891

Commits on Mar 22, 2025

• Fix link rendering in 0014-convert-num.md (#293)

  Show description for dc6a635
  

  JasonGross

  and

  tautschnig

  authored
  dc6a635

  Copy full SHA for dc6a635

Commits on Mar 21, 2025

• Fix link rendering in 0015-intrinsics-simd.md (#294)

  Show description for a0dc7f4
  JasonGross

  authored
  a0dc7f4

  Copy full SHA for a0dc7f4

• Close Challenges 6 & 14; remove optional correctness work in Challenge 12 (#247)

  Show description for 00169b7
  

  thanhnguyen-aws

  and

  carolynzech

  authored
  00169b7

  Copy full SHA for 00169b7

• Merge subtree update for toolchain nightly-2025-03-17 (#290)

  Show description for ebae8ab
  

  3 peopleauthored
  ebae8ab

  Copy full SHA for ebae8ab

Commits on Mar 20, 2025

• Track metrics for `core` and `std` crates, add loop metrics (#258)

  Show description for 9aa99c3
  tautschnig

  authored
  9aa99c3

  Copy full SHA for 9aa99c3

Commits on Mar 19, 2025

• Update Kani Metrics (#276)

  Show description for 18c4e95
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  18c4e95

  Copy full SHA for 18c4e95

• Subtree update automation: remove extraneous library folder (#288)

  Show description for 01e61b0
  

  tautschnig

  and

  thanhnguyen-aws

  authored
  01e61b0

  Copy full SHA for 01e61b0

• Merge subtree update for toolchain nightly-2025-03-13 (#274)

  Show description for 1184942
  

  3 peopleauthored
  1184942

  Copy full SHA for 1184942

Commits on Mar 13, 2025

• Subtree update automation: use fast version of subtree split (#270)

  Show description for 9b27cfb
  tautschnig

  authored
  9b27cfb

  Copy full SHA for 9b27cfb

• Update Kani Metrics (#268)

  Show description for bf524fe
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  bf524fe

  Copy full SHA for bf524fe

• Update list of PR approvers (#272)

  Show description for 4cec565
  tautschnig

  authored
  4cec565

  Copy full SHA for 4cec565

Commits on Mar 4, 2025

• Update Kani Metrics (#263)

  Show description for 05d9d56
  

  github-actions[bot]

  and

  tautschnig

  authored
  05d9d56

  Copy full SHA for 05d9d56

• Move std-analysis.sh script from Kani repository (#261)

  Show description for 214f966
  tautschnig

  authored
  214f966

  Copy full SHA for 214f966

• Subtree Update Automation Fixes (#250)

  Show description for 0027317
  

  3 peopleauthored
  0027317

  Copy full SHA for 0027317

Commits on Mar 3, 2025

• Update subtree to 2025-02-11 (#259)

  Show description for dcae9fe
  

  carolynzech

  and

  gitbot

  authored
  dcae9fe

  Copy full SHA for dcae9fe

Commits on Feb 24, 2025

• Update Kani Metrics (#257)

  Show description for eef04d8
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  eef04d8

  Copy full SHA for eef04d8

Commits on Feb 20, 2025

• Automate subtree update (#248)

  Show description for b764eeb
  

  tautschnig

  and

  carolynzech

  authored
  b764eeb

  Copy full SHA for b764eeb

Commits on Feb 19, 2025

• Add VeriFast CI (#239)

  Show description for b410f4e
  

  3 peopleauthored
  b410f4e

  Copy full SHA for b410f4e

Commits on Feb 17, 2025

• Update Kani Metrics (#246)

  Show description for 10424a1
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  10424a1

  Copy full SHA for 10424a1

Commits on Feb 11, 2025

• Add harnesses for safety of primitive conversions (#233)

  Show description for ff0b5bf
  ShoyuVanilla

  authored
  ff0b5bf

  Copy full SHA for ff0b5bf

Commits on Feb 10, 2025

• Update Kani Metrics (#245)

  Show description for e2146fa
  

  github-actions[bot]

  and

  github-merge-queue[bot]

  authored
  e2146fa

  Copy full SHA for e2146fa

Commits on Feb 5, 2025

• Update Kani Metrics (#244)

  Show description for a2c90fd
  

  3 peopleauthored
  a2c90fd

  Copy full SHA for a2c90fd

Commits on Feb 4, 2025

• transmute_unchecked contracts and harnesses (#185)

  Show description for db8e5a7
  AlexLB99

  authored
  db8e5a7

  Copy full SHA for db8e5a7

• Add goto-transcoder.md into summary (#243)

  Show description for 5699f3c
  rafaelsamenezes

  authored
  5699f3c

  Copy full SHA for 5699f3c

Commits on Jan 29, 2025

• Goto-transcoder action (#236)

  Show description for 566cd13
  rafaelsamenezes

  authored
  566cd13

  Copy full SHA for 566cd13

Commits on Jan 27, 2025

• Update Kani Metrics (#241)

  Show description for 01e4976
  

  3 peopleauthored
  01e4976

  Copy full SHA for 01e4976

Commits on Jan 24, 2025

• Fix challenge 15 (SIMD) link and title (#240)

  Show description for ca725a7
  tautschnig

  authored
  ca725a7

  Copy full SHA for ca725a7

Commits on Jan 23, 2025

• New Challenge 15 - High-Assurance SIMD Intrinsics for Rust (#174)

  Show description for 3cc0686
  karthikbhargavan

  authored
  3cc0686

  Copy full SHA for 3cc0686

Commits on Jan 21, 2025

• Generate Kani Metrics (#235)

  Show description for f919e45
  carolynzech

  authored
  f919e45

  Copy full SHA for f919e45

Commits on Jan 4, 2025

• Run format check in our CI and fix repo format (#205)

  Show description for 2b2baa8
  

  3 peopleauthored
  2b2baa8

  Copy full SHA for 2b2baa8

Commits on Dec 22, 2024

• Add missing line separator (#232)

  Show description for 1a38674
  zhassan-aws

  authored
  1a38674

  Copy full SHA for 1a38674

Commits on Dec 19, 2024

• Improve `u16::carrying_mul` harness performance (#230)

  Show description for 5da586f
  carolynzech

  authored
  5da586f

  Copy full SHA for 5da586f

• Parallelize & Partition Verification (#229)

  Show description for 67e2f1c
  carolynzech

  authored
  67e2f1c

  Copy full SHA for 67e2f1c

Commits on Dec 18, 2024

• add challenge for safety of primitive conversions (#217)

  Show description for 866a195
  

  4 peopleauthored
  866a195

  Copy full SHA for 866a195

Pagination

Previous

Next