Repository navigation

Contract and Harnesses for `<*const T>::offset_from` - #154

Merged

feliperodri merged 19 commits into

model-checking:mainfrom

stogaru:verify/ptr_const_offset_from

Nov 22, 2024

Merged

Contract and Harnesses for `<*const T>::offset_from`#154
feliperodri merged 19 commits into
model-checking:mainfrom
stogaru:verify/ptr_const_offset_from

Commits on Oct 24, 2024
- Writes contracts for offset_from and adds a harness for u32
  stogaru
  committed
  d07cf9c
Commits on Oct 29, 2024
- Removes PointerGenerator proof and corrects the contract for offset_from
  stogaru
  committed
  c778d36
Commits on Nov 1, 2024
- Corrects fonctracts and adds amacro for offset_from proofs
  stogaru
  committed
  0434a3e
- Improves the harness to have ptrs from same and diff allocation objects
  stogaru
  committed
  ba80848
Commits on Nov 6, 2024
- Moves the ptr within the object using byte_Add intead of add
  stogaru
  committed
  df35ec7
Commits on Nov 7, 2024
- Merge branch 'main' into verify/ptr_const_offset_from
  stogaru
  authored
  be1d594
- Write harnesses to verify slices
  stogaru
  committed
  93fded6
- Merge branch 'main' into verify/ptr_const_offset_from
  stogaru
  authored
  b3d996d
Commits on Nov 8, 2024
- Add comments
  stogaru
  committed
  401dd87
- Merge branch 'verify/ptr_const_offset_from' into verify/ptr_const_offset_from_slice
  stogaru
  authored
  0314ec4
- Merge pull request #16 from stogaru/verify/ptr_const_offset_from_slice
  stogaru
  authored
  317aef5
- Adds slices harnesses
  stogaru
  committed
  9d6c0fb
- Uses PointerGenerator for integer and composite, write harnesses for slice types
  stogaru
  committed
  d7294ea
Commits on Nov 14, 2024
- Merge branch 'main' into verify/ptr_const_offset_from
  stogaru
  authored
  b35cd9f
- Uses PointerGeenrator to suppot proofs with large arrays
  stogaru
  committed
  d46714e
- Runs rustfmt
  stogaru
  committed
  b05ceb3
Commits on Nov 15, 2024
- Merge branch 'main' into verify/ptr_const_offset_from
  stogaru
  authored
  c3aa7d7
Commits on Nov 16, 2024
- Merge branch 'main' into verify/ptr_const_offset_from
  stogaru
  authored
  41bca75
Commits on Nov 22, 2024
- Merge branch 'main' into verify/ptr_const_offset_from
  Carolyn Zech
  authored
  a18d80b

Commits

Commits on Oct 24, 2024

Commits on Oct 29, 2024

Commits on Nov 1, 2024

Commits on Nov 6, 2024

Commits on Nov 7, 2024

Commits on Nov 8, 2024

Commits on Nov 14, 2024

Commits on Nov 15, 2024

Commits on Nov 16, 2024

Commits on Nov 22, 2024