4 commits

Author	SHA1	Message	Date
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
Paul-Henry Kajfasz	2e74028fd4	Updated makefile	2024-08-21 14:11:17 +01:00
Paul-Henry Kajfasz	4cb6bed428	Updated changelog + added release to no-std	2024-08-19 14:37:58 +01:00
Paul-Henry Kajfasz	ad0f472708	Updated Makefile and Readme	2024-08-16 15:07:27 -07:00