Code

Support Bytes literals#2389

Code

Merged

rv-jenkins merged 4 commits intomasterruntimeverification/k:masterfrom byteruntimeverification/k:byteCopy head branch name to clipboardJan 13, 2022

+20-1

Commits

Commits on Dec 16, 2021

• add syntax for bytes literal

  

  Dwight Guth

  committed
  1204653

  Copy full SHA for 1204653

• add tests

  

  Dwight Guth

  committed
  81844d0

  Copy full SHA for 81844d0

Commits on Jan 12, 2022

• Merge branch 'master' into byte

  

  Dwight Guth

  authored
  fcc00f0

  Copy full SHA for fcc00f0

• Fix whitespace

  

  Dwight Guth

  authored
  ba6933c

  Copy full SHA for ba6933c