Code

Add SmtSpec for SMT proofs#57

Code

Merged

ethanfrey merged 7 commits intocosmos:mastercosmos/ics23:masterfrom roysc:add-smt-specroysc/ics23:add-smt-specCopy head branch name to clipboardFeb 1, 2022

+466-73

Commits

Commits on Feb 1, 2022

• fix empty branch check

  Show description for df4bb4f
  roysc

  committed
  df4bb4f

• add SmtSpec

  roysc

  committed
  c60c048

• add testdata/smt

  roysc

  committed
  05d4f03

• add smt to vector tests

  roysc

  committed
  c02d029

• rust add smt spec

  roysc

  committed
  7a38155

• rust port smt vector tests

  roysc

  committed
  ac18e04

• js smt spec

  roysc

  committed
  01524ae