Code

Add basic support for async/.await#1414

Code

Merged

fzaiser merged 3 commits intomodel-checking:mainmodel-checking/kani:mainfrom fzaiser:async_awaitfzaiser/kani:async_awaitCopy head branch name to clipboardJul 28, 2022

+59-2

Commits

Commits on Jul 27, 2022

• Add basic support for async/.await

  fzaiser

  committed
  ce435d8

Commits on Jul 28, 2022

• Address review comments

  fzaiser

  committed
  2f4a1d0

• Fix copyright header

  fzaiser

  committed
  a448cc7