4 Commits (6da2a62b2b173e2332cb1441b29b48dcaff614ea)

Author SHA1 Message Date
  polydez 7ee6d7fb93
feat: add support for hashmaps in `Smt` and `SimpleSmt` (#363) 11 months ago
  Paul-Henry Kajfasz e4a9a2ac00
Updated test in workflow 1 year ago
  Paul-Henry Kajfasz 374a10f340
Updated ci + added scripts 1 year ago
  Bobbin Threadbare 5a2e917dd5
Tracking PR for v0.9.0 release (#278) 1 year ago