4 Commits (3d71a9b59b1c92dd91c9670dff375d2a0634f3be)

Author SHA1 Message Date
  Philippe Laferrière 3d71a9b59b `Smt`: remove inner nodes when removing value (#269) 1 year ago
  Philippe Laferrière da12fd258a Add missing methods to `Smt` (#268) 1 year ago
  Philippe Laferrière 1cdd3dbbfa Add methods to `Smt` necessary for VM tests (#264) 1 year ago
  Philippe Laferrière 5596db7868 Implement `Smt` struct (replacement to `TieredSmt`) (#254) 1 year ago