3 Commits (13aeda5a27f8da043f8de515c19090d71710dad7)

Author SHA1 Message Date
  Bobbin Threadbare fcf03478ba refactor: update SimpleSmt interfaces 1 year ago
  Victor Lopez 2ff96f40cb
feat: add empty subtree constants to cover u8::MAX depth 2 years ago
  Victor Lopez 3a6a4fcce6
feat: refactor simple smt to use empty subtree constants 2 years ago