Code

Partial support for Generator type#486

Code

Merged

avanhatt merged 4 commits intomodel-checking:mainmodel-checking/kani:mainfrom avanhatt:generatorsavanhatt/rmc:generatorsCopy head branch name to clipboardSep 17, 2021

+125-57

Commits

Commits on Sep 14, 2021

• Partial support for Generator

  avanhatt

  committed
  980517e

  Copy full SHA for 980517e

• Add test

  avanhatt

  committed
  60f9d0d

  Copy full SHA for 60f9d0d

Commits on Sep 16, 2021

• Merge branch 'main' into generators

  avanhatt

  authored
  f12ac4e

  Copy full SHA for f12ac4e

Commits on Sep 17, 2021

• Merge branch 'main' into generators

  avanhatt

  authored
  1a5a6a6

  Copy full SHA for 1a5a6a6