Commits

Branch selector

 master

User selector

roysc

Datepicker

All time

Commit History

Commits on Feb 1, 2022

• js smt spec

  roysc

  committed
  01524ae

• rust port smt vector tests

  roysc

  committed
  ac18e04

• rust add smt spec

  roysc

  committed
  7a38155

• add smt to vector tests

  roysc

  committed
  c02d029

• add testdata/smt

  roysc

  committed
  05d4f03

• add SmtSpec

  roysc

  committed
  c60c048

• fix empty branch check

  Show description for df4bb4f
  roysc

  committed
  df4bb4f

Commits on Jan 17, 2022

• cleanup

  roysc

  committed
  548b3f0

Commits on Jan 14, 2022

• rust revision

  roysc

  committed
  05b8a53

• revise: fn behavior, proof test data

  Show description for 8a4b4d9
  roysc

  committed
  8a4b4d9

Commits on Dec 16, 2021

• rust revise units

  roysc

  committed
  a1f90d0

• rust revise fn

  roysc

  committed
  ac9a7b8

• revise functions

  roysc

  committed
  d2555d7

• revise unit tests

  roysc

  committed
  d91ed00

Commits on Dec 15, 2021

• Rust: handle placeholder nodes

  roysc

  committed
  c96dcaf

• Check for placeholder nodes in proof verification

  Show description for 0f8d2d4
  roysc

  committed
  0f8d2d4