Code

Well-formedness check#13266

Code

Merged

deepthiskumar merged 8 commits intoberkeleyMinaProtocol/mina:berkeleyfrom feature/well-formedness-checkMinaProtocol/mina:feature/well-formedness-checkCopy head branch name to clipboardJun 2, 2023

+397-70

Commits

Commits on May 24, 2023

• Well-formedness check

  psteckler

  committed
  91abb2a

  Copy full SHA for 91abb2a

• address PR comments

  psteckler

  committed
  c9d79dc

  Copy full SHA for c9d79dc

Commits on May 25, 2023

• Merge branch 'berkeley' into feature/well-formedness-check

  psteckler

  authored
  26ed18b

  Copy full SHA for 26ed18b

Commits on May 26, 2023

• update expected error

  psteckler

  committed
  3c9ef80

  Copy full SHA for 3c9ef80

• Merge branch 'berkeley' into feature/well-formedness-check

  psteckler

  authored
  a1bc8ad

  Copy full SHA for a1bc8ad

Commits on May 31, 2023

• Merge branch 'berkeley' into feature/well-formedness-check

  psteckler

  authored
  49f4f5c

  Copy full SHA for 49f4f5c

Commits on Jun 1, 2023

• Merge branch 'berkeley' into feature/well-formedness-check

  psteckler

  authored
  1618d9b

  Copy full SHA for 1618d9b

• global slot span

  psteckler

  committed
  381d354

  Copy full SHA for 381d354