Code

Get Kani to run on Apple M1#1323

Code

Merged

tedinski merged 3 commits intomodel-checking:mainmodel-checking/kani:mainfrom ssoudan:feature/m1ssoudan/kani:feature/m1Copy head branch name to clipboardJun 30, 2022

+259-93

Commits

Commits on Jun 29, 2022

• initial m1 support

  Show description for 28a9117
  ssoudan

  committed
  28a9117

Commits on Jun 30, 2022

• Copyright header

  Show description for da63e95
  ssoudan

  committed
  da63e95

• Merge branch 'model-checking:main' into feature/m1

  ssoudan

  authored
  1d5aa5a