Code

Function Contracts: Modify Slices#3295

Code

Merged

feliperodri merged 39 commits intomodel-checking:mainmodel-checking/kani:mainfrom pi314mm:modifies_fatpi314mm/kani:modifies_fatCopy head branch name to clipboardJul 17, 2024

+314-29

Commits

Commits on Jun 25, 2024

• initial working for bytesize

  

  Matias Scharager

  committed
  33be618

  Copy full SHA for 33be618

• add tests

  

  Matias Scharager

  committed
  3437710

  Copy full SHA for 3437710

Commits on Jun 26, 2024

• arbitrary size slices

  

  Matias Scharager

  committed
  90a5d3f

  Copy full SHA for 90a5d3f

• new test

  

  Matias Scharager

  committed
  13ebd4e

  Copy full SHA for 13ebd4e

• Merge branch 'main' into modifies_fat

  pi314mm

  authored
  971b4c3

  Copy full SHA for 971b4c3

• any instead of any_modifies

  

  Matias Scharager

  committed
  c1163ff

  Copy full SHA for c1163ff

• Merge branch 'modifies_fat' of github.com:pi314mm/kani into modifies_fat

  

  Matias Scharager

  committed
  2e497f1

  Copy full SHA for 2e497f1

Commits on Jul 1, 2024

• Merge branch 'main' into modifies_fat

  

  Matias Scharager

  committed
  11f8a5b

  Copy full SHA for 11f8a5b

• new compilation phase

  

  Matias Scharager

  committed
  0248c77

  Copy full SHA for 0248c77

Commits on Jul 8, 2024

• hack

  

  Matias Scharager

  committed
  1fd0849

  Copy full SHA for 1fd0849

• Merge branch 'main' into modifies_fat

  pi314mm

  authored
  e5bf457

  Copy full SHA for e5bf457

• strings

  

  Matias Scharager

  committed
  d3706a7

  Copy full SHA for d3706a7

• Merge branch 'modifies_fat' of github.com:pi314mm/kani into modifies_fat

  

  Matias Scharager

  committed
  b0da8b0

  Copy full SHA for b0da8b0

• fmt

  

  Matias Scharager

  committed
  f28023d

  Copy full SHA for f28023d

• unnecessary closure

  

  Matias Scharager

  committed
  1e336d3

  Copy full SHA for 1e336d3

• Merge branch 'main' into modifies_fat

  pi314mm

  authored
  3883281

  Copy full SHA for 3883281

Commits on Jul 9, 2024

• move functions

  

  Matias Scharager

  committed
  96ca603

  Copy full SHA for 96ca603

• Merge branch 'modifies_fat' of github.com:pi314mm/kani into modifies_fat

  

  Matias Scharager

  committed
  89f789c

  Copy full SHA for 89f789c

• Merge branch 'main' into modifies_fat

  pi314mm

  authored
  f04cb09

  Copy full SHA for f04cb09

• fmt

  

  Matias Scharager

  committed
  6cef19b

  Copy full SHA for 6cef19b

• Merge branch 'main' into modifies_fat

  pi314mm

  authored
  34c1996

  Copy full SHA for 34c1996

Commits on Jul 10, 2024

• raw pointer

  

  Matias Scharager

  committed
  c28bad7

  Copy full SHA for c28bad7

• clippy

  

  Matias Scharager

  committed
  52d3839

  Copy full SHA for 52d3839

• change any_modifies back

  

  Matias Scharager

  committed
  0bd765e

  Copy full SHA for 0bd765e

• Update replace.rs

  pi314mm

  authored
  e038b0f

  Copy full SHA for e038b0f

Commits on Jul 11, 2024

• strings todo

  

  Matias Scharager

  committed
  9c2b7e8

  Copy full SHA for 9c2b7e8

• strings todo

  

  Matias Scharager

  committed
  55ca498

  Copy full SHA for 55ca498

Commits on Jul 12, 2024

• Update library/kani/src/internal.rs

  Show description for 310c6b4
  

  pi314mm

  and

  celinval

  authored
  310c6b4

  Copy full SHA for 310c6b4

• Merge branch 'main' into modifies_fat

  pi314mm

  authored
  202ca3a

  Copy full SHA for 202ca3a

• Merge branch 'main' into modifies_fat

  pi314mm

  authored
  56f0d67

  Copy full SHA for 56f0d67

Commits on Jul 15, 2024

• Merge branch 'main' into modifies_fat

  pi314mm

  authored
  7be0551

  Copy full SHA for 7be0551

• Merge branch 'main' into modifies_fat

  pi314mm

  authored
  e214aba

  Copy full SHA for e214aba

Commits on Jul 16, 2024

• Merge branch 'main' into modifies_fat

  pi314mm

  authored
  565873c

  Copy full SHA for 565873c

• string test fails

  

  Matias Scharager

  committed
  dff4d7c

  Copy full SHA for dff4d7c

• new test

  

  Matias Scharager

  committed
  ff56fc1

  Copy full SHA for ff56fc1

• comments

  

  Matias Scharager

  committed
  9478594

  Copy full SHA for 9478594

• new test

  

  Matias Scharager

  committed
  7bd5634

  Copy full SHA for 7bd5634

Commits on Jul 17, 2024

• Merge branch 'main' into modifies_fat

  pi314mm

  authored
  02d4909

  Copy full SHA for 02d4909

• Merge branch 'main' into modifies_fat

  feliperodri

  authored
  3115a3e

  Copy full SHA for 3115a3e