Code

RFC: Unstable APIs#2281

Code

Merged

celinval merged 7 commits intomodel-checking:mainmodel-checking/kani:mainfrom celinval:issue-2279-unstable-apicelinval/kani-dev:issue-2279-unstable-apiCopy head branch name to clipboardApr 5, 2023

+120

Commits

Commits on Mar 8, 2023

• RFC for unstable APIs

  celinval

  committed
  45a4248

• Add PR link and summary link

  celinval

  committed
  00030c6

• Change error to compilation error + other PR comments

  celinval

  committed
  cd4d939

Commits on Apr 5, 2023

• Merge remote-tracking branch 'origin/main' into issue-2279-unstable-api

  Show description for 59de98c
  celinval

  committed
  59de98c

• Address feedback

  celinval

  committed
  7c2a73d

• Update rfc/src/rfcs/0006-unstable-api.md

  Show description for ab96858
  

  celinval

  and

  adpaco-aws

  authored
  ab96858

• Merge branch 'main' into issue-2279-unstable-api

  celinval

  authored
  e7ee011