7 Commits (next)

Author SHA1 Message Date
  polydez 7ee6d7fb93
feat: add support for hashmaps in `Smt` and `SimpleSmt` (#363) 9 months ago
  Bobbin Threadbare e4373e54c9
chore: update lockfile 9 months ago
  polydez 589839fef1
feat: reverse mutations generation, mutations serialization (#355) 9 months ago
  Bobbin Threadbare ef3183fc0b
chore: minor benchmark fixes 9 months ago
  Qyriad b151773b0d
feat: implement concurrent Smt construction (#341) 10 months ago
  Paul-Henry Kajfasz 2e74028fd4
Updated makefile 1 year ago
  Paul-Henry Kajfasz 4cb6bed428
Updated changelog + added release to no-std 1 year ago
  Paul-Henry Kajfasz ad0f472708
Updated Makefile and Readme 1 year ago