Code

Add reference for loop contracts#3849

Code

Merged

qinheping merged 9 commits intomodel-checking:mainmodel-checking/kani:mainfrom qinheping:docs/loop-contractsqinheping/kani:docs/loop-contractsCopy head branch name to clipboardFeb 4, 2025

+154

Commits

Commits on Jan 23, 2025

• Add documentation for loop contracts

  qinheping

  committed
  5ebb277

  Copy full SHA for 5ebb277

• Update loop-contracts.md

  qinheping

  authored
  411ebe5

  Copy full SHA for 411ebe5

• Add usage of loop contracts

  qinheping

  committed
  904d449

  Copy full SHA for 904d449

• Merge branch 'main' into docs/loop-contracts

  qinheping

  authored
  17ae531

  Copy full SHA for 17ae531

Commits on Jan 28, 2025

• Merge branch 'main' into docs/loop-contracts

  qinheping

  authored
  349a48b

  Copy full SHA for 349a48b

• Apply suggestions from code review

  Show description for 4648abf
  

  qinheping

  and

  zhassan-aws

  authored
  4648abf

  Copy full SHA for 4648abf

• Add Kani's output to loop contracts' reference

  qinheping

  committed
  f42c48a

  Copy full SHA for f42c48a

Commits on Jan 29, 2025

• Apply suggestions from code review

  Show description for bf05956
  

  qinheping

  and

  zhassan-aws

  authored
  bf05956

  Copy full SHA for bf05956

• Merge branch 'main' into docs/loop-contracts

  qinheping

  authored
  6448cea

  Copy full SHA for 6448cea