Code

Add first proof#25

Code

Open

jaisnan wants to merge 38 commits intoadd-permissionsjaisnan/rust-dev:add-permissionsfrom add-result-contractjaisnan/rust-dev:add-result-contractCopy head branch name to clipboard

+23,631-13,445

Commits

Commits on Jul 10, 2024

• Add first proof

  jaisnan

  committed
  e351be9

  Copy full SHA for e351be9

Commits on Jul 11, 2024

• Add contracts for Layout and Alignment (#33)

  Show description for fd1c9c2
  tautschnig

  authored
  fd1c9c2

  Copy full SHA for fd1c9c2

Commits on Jul 16, 2024

• Move contracts out of library for now

  celinval

  committed
  af85a10

  Copy full SHA for af85a10

• Record library patch and delete library/

  Show description for eea60ef
  celinval

  committed
  eea60ef

  Copy full SHA for eea60ef

Commits on Jul 17, 2024

• Delete library folder so we can recreate subtree

  celinval

  committed
  47a29de

  Copy full SHA for 47a29de

• Merge commit '0cd155fda0d5b0b3ba666cd9df978d380f6c7067' as 'library'

  celinval

  committed
  bf2766f

  Copy full SHA for bf2766f

• Squashed 'library/' content from commit 88f0106

  Show description for 0cd155f
  celinval

  committed
  0cd155f

  Copy full SHA for 0cd155f

• Move contracts back to library/contracts

  celinval

  committed
  d11fcb2

  Copy full SHA for d11fcb2

• Reapply repository changes to library files

  celinval

  committed
  a70ad70

  Copy full SHA for a70ad70

• Squashed 'library/' changes from 88f0106..a2cf636

  Show description for dd0d265
  jaisnan

  committed
  dd0d265

  Copy full SHA for dd0d265

• Merge commit 'dd0d2657eb2c8466bbd9fa6ea4bf2b094565c680' into sync-2024-07-17

  jaisnan

  committed
  723914d

  Copy full SHA for 723914d

Commits on Jul 18, 2024

• Update toolchain to 07-17

  jaisnan

  committed
  b0cc943

  Copy full SHA for b0cc943

Commits on Jul 19, 2024

• Add a challenge for btree::node module (#26)

  Show description for 4f4d032
  zhassan-aws

  authored
  4f4d032

  Copy full SHA for 4f4d032

Commits on Aug 1, 2024

• char and ascii_char contracts (rust-lang#48)

  Show description for 0be79d6
  carolynzech

  authored
  0be79d6

  Copy full SHA for 0be79d6

Commits on Aug 12, 2024

• Add scripts for local subtree update (rust-lang#46)

  Show description for ec6d98e
  jaisnan

  authored
  ec6d98e

  Copy full SHA for ec6d98e

Commits on Aug 16, 2024

• prevent merge conflicts

  carolynzech

  committed
  01e4da0

  Copy full SHA for 01e4da0

• Squashed 'library/' changes from a2cf636..9cc3bc6

  Show description for 9d7b420
  carolynzech

  committed
  9d7b420

  Copy full SHA for 9d7b420

• Merge commit '9d7b4208352e30d0e2a3090a964ef6f711c407e9' into sync-2024-08-07

  carolynzech

  committed
  f5d8b9d

  Copy full SHA for f5d8b9d

• put kani imports back

  carolynzech

  committed
  9cec589

  Copy full SHA for 9cec589

• Update toolchain to 2024-08-07

  carolynzech

  committed
  1761d8a

  Copy full SHA for 1761d8a

• remove unstable ptr-to-ref-cast-checks and update submodules

  carolynzech

  committed
  24a0b16

  Copy full SHA for 24a0b16

• Merge branch 'main' into add-result-contract

  jaisnan

  authored
  262f391

  Copy full SHA for 262f391

Commits on Aug 20, 2024

• Contracts and harnesses for ptr::Unique (rust-lang#45)

  tautschnig

  authored
  c155b26

  Copy full SHA for c155b26

• Add harnesses for all functions in Alignment (rust-lang#42)

  tautschnig

  authored
  03c735b

  Copy full SHA for 03c735b

• Merge branch 'main' into add-result-contract

  tautschnig

  authored
  cc2c94b

  Copy full SHA for cc2c94b

• Challenge proposal: SmallSort (rust-lang#57)

  qinheping

  authored
  5595535

  Copy full SHA for 5595535

• Add MD extension to SmallSort challenge (rust-lang#60)

  Show description for 62e241a
  carolynzech

  authored
  62e241a

  Copy full SHA for 62e241a

• Add challenge on memory safety of String (rust-lang#55)

  Show description for 359fe20
  

  zhassan-aws

  and

  tautschnig

  authored
  359fe20

  Copy full SHA for 359fe20

Commits on Aug 22, 2024

• Add self to pull_requests.toml (rust-lang#65)

  Show description for 8f3252f
  patricklam

  authored
  8f3252f

  Copy full SHA for 8f3252f

• Introduce tool template (rust-lang#64)

  rahulku

  authored
  46352cf

  Copy full SHA for 46352cf

• Fix challenge number (rust-lang#63)

  Show description for b3fb221
  zhassan-aws

  authored
  b3fb221

  Copy full SHA for b3fb221

• Add "ranjitjhala" and "carolynzech" to commitee (rust-lang#68)

  Show description for 957d2bb
  jaisnan

  authored
  957d2bb

  Copy full SHA for 957d2bb

Commits on Aug 26, 2024

• Challenge proposal: NonNull (rust-lang#52)

  tautschnig

  authored
  962b36b

  Copy full SHA for 962b36b

Commits on Aug 27, 2024

• Challenge Proposal: core::time::Duration (rust-lang#73)

  Show description for e0d6676
  feliperodri

  authored
  e0d6676

  Copy full SHA for e0d6676

• NonZero Challenge (rust-lang#70)

  Show description for b588f71
  

  carolynzech

  and

  feliperodri

  authored
  b588f71

  Copy full SHA for b588f71

• Simplify pr workflow to require 2 approvals on all PR's (rust-lang#74)

  Show description for c191318
  jaisnan

  authored
  c191318

  Copy full SHA for c191318

• Challenge Proposal: Floats/Ints (rust-lang#58)

  carolynzech

  authored
  1f0fc95

  Copy full SHA for 1f0fc95

Commits on Aug 28, 2024

• Merge branch 'main' into add-result-contract

  jaisnan

  authored
  4b36a0e

  Copy full SHA for 4b36a0e