Skip to content

Commit

Permalink
chore: Update CHANGELOG
Browse files Browse the repository at this point in the history
  • Loading branch information
jubnzv committed Aug 30, 2024
1 parent d7d9e42 commit b9451a5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
### Added
- Allow running Misti without Souffle installation: Issue [#45](https://github.com/nowarp/misti/issues/45)
- `--souffle-binary` CLI option
- Benchmark for `executeMisti --all-detectors`
- Benchmarks for executing detectors. Use e.g. `yarn benchmark ./test/good/sample-jetton.tact`.
- Public API to handle Tact stdlib paths
- Detector templates and the `--new-detector` CLI option: PR [#105](https://github.com/nowarp/misti/pull/105)
- A script to generate detectors documentation: `./scripts/generateDetectorDocs.ts`
Expand Down

0 comments on commit b9451a5

Please sign in to comment.