Code

List RFC revisions#3490

Code

Merged

carolynzech merged 6 commits intomodel-checking:mainmodel-checking/kani:mainfrom carolynzech:list-rfc-feedbackcarolynzech/kani:list-rfc-feedbackCopy head branch name to clipboardSep 6, 2024

+18-10

Commits

Commits on Sep 4, 2024

• change human to pretty and fix kani version

  carolynzech

  committed
  5e1c65d

  Copy full SHA for 5e1c65d

• add output schemas

  carolynzech

  committed
  5c5ca01

  Copy full SHA for 5c5ca01

• remove output schemas; semantic versioning

  carolynzech

  committed
  3f48629

  Copy full SHA for 3f48629

Commits on Sep 6, 2024

• Merge branch 'main' into list-rfc-feedback

  carolynzech

  authored
  3d8ec5e

  Copy full SHA for 3d8ec5e

• fix version conflict with loop contracts rfc

  carolynzech

  committed
  5afc8e4

  Copy full SHA for 5afc8e4

• increment rfc version

  carolynzech

  committed
  5bf4cee

  Copy full SHA for 5bf4cee