Code

Documentation: Limitations#714

Code

Merged

adpaco-aws merged 10 commits intomodel-checking:mainmodel-checking/kani:mainfrom adpaco-aws:support-tableadpaco-aws/rmc:support-tableCopy head branch name to clipboardJan 4, 2022

+434

Commits

Commits on Dec 30, 2021

• Initial version of support table

  adpaco-aws

  committed
  a5b9487

  Copy full SHA for a5b9487

• Define support values for table

  adpaco-aws

  committed
  009f2e1

  Copy full SHA for 009f2e1

• Add intrinsics table and other content

  adpaco-aws

  committed
  65f3cff

  Copy full SHA for 65f3cff

• Observations on stdlib

  adpaco-aws

  committed
  932b093

  Copy full SHA for 932b093

• Address Celina's comments

  adpaco-aws

  committed
  cbe1e52

  Copy full SHA for cbe1e52

• More comments

  adpaco-aws

  committed
  efe48b0

  Copy full SHA for efe48b0

Commits on Jan 3, 2022

• Add section on panic strategies

  adpaco-aws

  committed
  88e1880

  Copy full SHA for 88e1880

Commits on Jan 4, 2022

• Address more comments

  adpaco-aws

  committed
  58a831c

  Copy full SHA for 58a831c

• Minor comments

  adpaco-aws

  committed
  e478025

  Copy full SHA for e478025

• Merge branch 'main' into support-table

  adpaco-aws

  authored
  a88af2a

  Copy full SHA for a88af2a