Code

Create RFC for MIR linker#1600

Code

Merged

celinval merged 13 commits intomodel-checking:mainmodel-checking/kani:mainfrom celinval:issue-1588-rfccelinval/kani-dev:issue-1588-rfcCopy head branch name to clipboardSep 7, 2022

+257

Commits

Commits on Aug 26, 2022

• Create draft RFC for MIR linker

  celinval

  committed
  d4cc9f0

  Copy full SHA for d4cc9f0

Commits on Aug 30, 2022

• Update 0001-mir-linker.md

  Show description for 1c56998
  celinval

  authored
  1c56998

  Copy full SHA for 1c56998

• Update 0001-mir-linker.md

  Show description for 5091258
  celinval

  authored
  5091258

  Copy full SHA for 5091258

Commits on Sep 1, 2022

• Update rfcs/src/rfcs/0001-mir-linker.md

  Show description for 9c5d0f6
  

  celinval

  and

  zhassan-aws

  authored
  9c5d0f6

  Copy full SHA for 9c5d0f6

Commits on Sep 2, 2022

• Merge remote-tracking branch 'origin/main' into issue-1588-rfc

  celinval

  committed
  09a8dc4

  Copy full SHA for 09a8dc4

• Move folder rfcs -> rfc per model-checking#1543

  celinval

  committed
  ceacdfb

  Copy full SHA for ceacdfb

• Address PR comments + add link to the RFC

  celinval

  committed
  17bae26

  Copy full SHA for 17bae26

Commits on Sep 6, 2022

• Update 0001-mir-linker.md

  Show description for ebe3b65
  celinval

  authored
  ebe3b65

  Copy full SHA for ebe3b65

• Merge branch 'main' into issue-1588-rfc

  celinval

  authored
  05a42e4

  Copy full SHA for 05a42e4

• Merge branch 'main' into issue-1588-rfc

  celinval

  authored
  b6a2cd0

  Copy full SHA for b6a2cd0

• Merge branch 'main' into issue-1588-rfc

  celinval

  authored
  b3658e2

  Copy full SHA for b3658e2

Commits on Sep 7, 2022

• Merge branch 'main' into issue-1588-rfc

  celinval

  authored
  4c6d237

  Copy full SHA for 4c6d237

• Merge branch 'main' into issue-1588-rfc

  celinval

  authored
  ffd8ec6

  Copy full SHA for ffd8ec6