ppolydezfeat: 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.1589839fDec 27, 2024
.configDirectorydrwxrwxrwx.githubDirectorydrwxrwxrwxarchDirectorydrwxrwxrwxbenchesDirectorydrwxrwxrwxscriptsDirectorydrwxrwxrwxsrcDirectorydrwxrwxrwx
.editorconfig-rw-r--r--285 B.gitignore-rw-r--r--187 B.gitmodules-rw-r--r--0 B.pre-commit-config.yaml-rw-r--r--903 BCHANGELOG.md-rw-r--r--6162 BCONTRIBUTING.md-rw-r--r--4633 BCargo.lock-rw-r--r--31865 BCargo.toml-rw-r--r--2346 BLICENSE-rw-r--r--1070 BMakefile-rw-r--r--2909 BREADME.md-rw-r--r--6706 Bbuild.rs-rw-r--r--552 Brust-toolchain.toml-rw-r--r--133 Brustfmt.toml-rw-r--r--604 B
arnaucube