Code

Remove bookrunner#3123

Code

Merged

tautschnig merged 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom tautschnig:remove-bookrunnertautschnig/kani:remove-bookrunnerCopy head branch name to clipboardApr 5, 2024

+3-7,388

Commits

Commits on Apr 4, 2024

• Remove bookrunner

  Show description for 45560f6
  tautschnig

  committed
  45560f6

Commits on Apr 5, 2024

• Remove remaining litani leftovers

  tautschnig

  committed
  2125466