Code

add more reserved Boogie keywords#425

Code

Merged

gauravpartha merged 1 commit intomasterviperproject/carbon:masterfrom add_boogie_reserved_keywordsviperproject/carbon:add_boogie_reserved_keywordsCopy head branch name to clipboardJul 4, 2022

+4-2

Commits

Commits on Jul 4, 2022

• add more reserved Boogie keywords

  gauravpartha

  committed
  2c1251d

  Copy full SHA for 2c1251d