polydez 589839fef1 feat: reverse mutations generation, mutations serialization (#355) ...

* feat: revert mutations generation, mutations serialization
* tests: check both `apply_mutations` and `apply_mutations_with_reversion`
* feat: add `num_leaves` method for `Smt`
* refactor: improve ad-hoc benchmarks
* chore: update crate version to v0.13.1

2024-12-26 18:16:38 -08:00

2.8 KiB

Raw Blame History

View Raw