4 Commits (f825c23415ad1a857393eb400d6ceace0cb3486f)

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