diff --git a/CHANGELOG.md b/CHANGELOG.md index d2a6cdcd..2e3e36be 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,11 @@ # Changelog +## 0.6.0 + +- Don't remove `const` and `type` declarations in Go code ([#1139](https://github.com/trailofbits/necessist/pull/1139)) +- Update `swc_core` to version 0.95 ([#1146](https://github.com/trailofbits/necessist/pull/1146)) +- FEATURE: Use mutant schemata in the spirit of [Untch, et al. '93](https://dl.acm.org/doi/10.1145/154183.154265) when removing statements. This should make running Necessist faster. ([252ed2e](https://github.com/trailofbits/necessist/commit/252ed2eb4557cfe0741969f222b1add9584b3dbc)) + ## 0.5.1 - Update `solang-parser` to version 0.3.4 ([#1132](https://github.com/trailofbits/necessist/pull/1132)) diff --git a/Cargo.lock b/Cargo.lock index e7d6d669..0e19d689 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1093,7 +1093,7 @@ dependencies = [ [[package]] name = "necessist" -version = "0.5.1" +version = "0.6.0" dependencies = [ "anyhow", "assert_cmd", @@ -1125,7 +1125,7 @@ dependencies = [ [[package]] name = "necessist-backends" -version = "0.5.1" +version = "0.6.0" dependencies = [ "anyhow", "assert_cmd", @@ -1160,7 +1160,7 @@ dependencies = [ [[package]] name = "necessist-core" -version = "0.5.1" +version = "0.6.0" dependencies = [ "ansi_term", "anyhow", diff --git a/backends/Cargo.toml b/backends/Cargo.toml index 1cfc53f3..c73357ef 100644 --- a/backends/Cargo.toml +++ b/backends/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "necessist-backends" -version = "0.5.1" +version = "0.6.0" edition = "2021" description = "necessist-backends" @@ -10,7 +10,7 @@ license = "AGPL-3.0" repository = "https://github.com/trailofbits/necessist" [dependencies] -necessist-core = { version = "=0.5.1", path = "../core" } +necessist-core = { version = "=0.6.0", path = "../core" } anyhow = "1.0" assert_cmd = "2.0" diff --git a/core/Cargo.toml b/core/Cargo.toml index da657287..b41270fe 100644 --- a/core/Cargo.toml +++ b/core/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "necessist-core" -version = "0.5.1" +version = "0.6.0" edition = "2021" description = "necessist-core" diff --git a/necessist/Cargo.toml b/necessist/Cargo.toml index 574be51f..b0df46c2 100644 --- a/necessist/Cargo.toml +++ b/necessist/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "necessist" -version = "0.5.1" +version = "0.6.0" edition = "2021" description = "necessist" @@ -10,8 +10,8 @@ license = "AGPL-3.0" repository = "https://github.com/trailofbits/necessist" [dependencies] -necessist-backends = { version = "=0.5.1", path = "../backends" } -necessist-core = { version = "=0.5.1", path = "../core", features = ["clap"] } +necessist-backends = { version = "=0.6.0", path = "../backends" } +necessist-core = { version = "=0.6.0", path = "../core", features = ["clap"] } anyhow = { version = "1.0", features = ["backtrace"] } clap = "4.5"