Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 24, 2024

• Final commit.

  tengjiang

  committed
  44a01bd

  Copy full SHA for 44a01bd

Commits on Dec 23, 2024

• Add from_utfn harnesses.

  tengjiang

  committed
  8574cbc

  Copy full SHA for 8574cbc

• Update String.

  tengjiang

  committed
  566bf49

  Copy full SHA for 566bf49

• Update String (is_safe, and insert under construction)

  tengjiang

  committed
  5b06711

  Copy full SHA for 5b06711

• Passed, need to work on security checks.

  tengjiang

  committed
  f40413e

  Copy full SHA for f40413e

Commits on Dec 22, 2024

• Check remove_matches (one step further.)

  tengjiang

  committed
  87e128e

  Copy full SHA for 87e128e

• check_remove.

  tengjiang

  committed
  70e107d

  Copy full SHA for 70e107d

Commits on Dec 19, 2024

• Improve u16::carrying_mul harness performance (model-checking#230)

  Show description for 5da586f
  carolynzech

  authored
  5da586f

  Copy full SHA for 5da586f

Commits on Dec 12, 2024

• Proofs for Vec::swap_remove, Option::as_slice, and VecDeque::swap (model-checking#212)

  Show description for 955577c
  

  6 peopleauthored
  955577c

  Copy full SHA for 955577c

• Contract and harness for copy_to, copy_to_nonoverlapping, copy_from, and copy_from_nonoverlapping (model-checking#149)

  Show description for ea7a95f
  

  4 peopleauthored
  ea7a95f

  Copy full SHA for ea7a95f

• Cstr verify safety contracts of unsafe functions strlen, from_bytes_with_nul_unchecked (model-checking#193)

  Show description for eb21f69
  

  3 peopleauthored
  eb21f69

  Copy full SHA for eb21f69

Commits on Dec 11, 2024

• Contract & Harnesses for byte_sub, offset, map_addr and with_addr (model-checking#107)

  Show description for 9083ec2
  

  4 peopleauthored
  9083ec2

  Copy full SHA for 9083ec2

• CStr : Proof for from_ptr with contract (model-checking#204)

  Show description for 9058f0b
  

  rajathkotyal

  and

  Yenyun035

  authored
  9058f0b

  Copy full SHA for 9058f0b

Commits on Dec 10, 2024

• NonZero (rotate_left, rotate_right, max, min, clamp, count_ones, cmp) Proofs (model-checking#202)

  Show description for 367d8ff
  lang280

  authored
  367d8ff

  Copy full SHA for 367d8ff

• Write contracts + pre/post conditions for all unsafe methods in duration (model-checking#136)

  Show description for 8a248d9
  

  4 peopleauthored
  8a248d9

  Copy full SHA for 8a248d9

• Cleanup stray comment (model-checking#218)

  Show description for 002c7c0
  tautschnig

  authored
  002c7c0

  Copy full SHA for 002c7c0

• Harnesses verifying slice types for add, sub and offset (model-checking#179)

  Show description for b6552b8
  szlee118

  authored
  b6552b8

  Copy full SHA for b6552b8

• dyn Trait proof for contracts of byte_offset_from (model-checking#196)

  Show description for 82893c5
  stogaru

  authored
  82893c5

  Copy full SHA for 82893c5

Commits on Dec 9, 2024

• Added <dyn Trait> Proof for Contracts for byte_add, byte_sub, and byte_offset (model-checking#188)

  Show description for 6077459
  

  3 peopleauthored
  6077459

  Copy full SHA for 6077459

Commits on Dec 8, 2024

• Contracts and Harnesses for core::ptr::byte_offset_from (model-checking#186)

  stogaru

  authored
  8a0d0ce

  Copy full SHA for 8a0d0ce

Commits on Dec 7, 2024

• Add a few intrinsics contracts (model-checking#37)

  Show description for d92a7ea
  

  celinval

  and

  tautschnig

  authored
  d92a7ea

  Copy full SHA for d92a7ea

Commits on Dec 6, 2024

• Enable harnesses that were blocked by Kani's spurious CEX (model-checking#211)

  Show description for ee9b7c3
  celinval

  authored
  ee9b7c3

  Copy full SHA for ee9b7c3

Commits on Dec 5, 2024

• Contracts and harnesses for <*mut T>::offset_from (model-checking#168)

  Show description for a52b65a
  

  4 peopleauthored
  a52b65a

  Copy full SHA for a52b65a

• Contract and Harnesses for byte_add, byte_sub and byte_offset (model-checking#169)

  Show description for dd75225
  

  stogaru

  and

  xsxszab

  authored
  dd75225

  Copy full SHA for dd75225

• Contracts & Harnesses for [f16, f128] to_int_unchecked (model-checking#163)

  MWDZ

  authored
  30c756d

  Copy full SHA for 30c756d

• Contract and harness for as_ptr, cast, as_mut_ptr, and as_non_null_ptr (model-checking#126)

  Show description for c841a12
  

  4 peopleauthored
  c841a12

  Copy full SHA for c841a12

Commits on Dec 4, 2024

• Refactor Contracts and Harnesses for <*mut T>::add, sub and offset (model-checking#203)

  Show description for 2338dad
  xsxszab

  authored
  2338dad

  Copy full SHA for 2338dad

• Contracts & Harnesses for f{32,64}::to_int_unchecked (model-checking#134)

  Show description for 72323e4
  

  4 peopleauthored
  72323e4

  Copy full SHA for 72323e4

• CStr Invariant proofs for bytes, as_ptr, to_str (model-checking#192)

  Show description for d9780d6
  

  rajathkotyal

  and

  Yenyun035

  authored
  d9780d6

  Copy full SHA for d9780d6

Commits on Dec 3, 2024

• Contracts and Harnesses for <*const T>::add, sub and offset (model-checking#166)

  Show description for d0d9de2
  xsxszab

  authored
  d0d9de2

  Copy full SHA for d0d9de2

• Contracts & Harnesses for byte_add, byte_offset, and byte_offset_from (model-checking#103)

  Show description for 892ee59
  danielhumanmod

  authored
  892ee59

  Copy full SHA for 892ee59

• Cstr - add proof from_bytes_with_null (model-checking#198)

  Show description for ca85f7f
  rajathkotyal

  authored
  ca85f7f

  Copy full SHA for ca85f7f

• Contracts & Harnesses for write_volatile (model-checking#167)

  Show description for db71987
  Jimmycreative

  authored
  db71987

  Copy full SHA for db71987

Commits on Dec 1, 2024

• Harness for CStr::is_empty (model-checking#194)

  Show description for 7e8a03d
  Yenyun035

  authored
  7e8a03d

  Copy full SHA for 7e8a03d

Commits on Nov 29, 2024

• Merge commit '8fe8f562171f4b696234c1313a25418878c1b885' into sync-2024-11-26

  Show description for 810d584
  celinval

  committed
  810d584

  Copy full SHA for 810d584

Pagination

Previous

Next