From bae82f47db4d7d070aaa07feaa59e93daea3ab47 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Fri, 25 Sep 2026 14:35:14 +0000 Subject: [PATCH] chore(release): bump versions and changelogs --- .sampo/changesets/base-data-map.md | 6 - .../changesets/nested-choice-replay-slice.md | 7 -- .sampo/changesets/nested-property-traces.md | 7 -- .../changesets/prop-history-normalization.md | 6 - .sampo/changesets/prop-list-traits.md | 5 - .sampo/changesets/prop-rebuild-once.md | 6 - .../changesets/property-reduction-feedback.md | 6 - .../relational-inference-map-projections.md | 7 -- .../representation-classed-heads.md | 11 -- Cargo.lock | 105 +++++++++--------- crates/nash-ast/CHANGELOG.md | 10 ++ crates/nash-ast/Cargo.toml | 4 +- crates/nash-can/CHANGELOG.md | 12 ++ crates/nash-can/Cargo.toml | 6 +- crates/nash-cli/CHANGELOG.md | 6 + crates/nash-cli/Cargo.toml | 12 +- crates/nash-codegen/CHANGELOG.md | 8 ++ crates/nash-codegen/Cargo.toml | 12 +- crates/nash-constrain/CHANGELOG.md | 6 + crates/nash-constrain/Cargo.toml | 6 +- crates/nash-driver/CHANGELOG.md | 19 ++++ crates/nash-driver/Cargo.toml | 22 ++-- crates/nash-ir/CHANGELOG.md | 6 + crates/nash-ir/Cargo.toml | 4 +- crates/nash-language-server/CHANGELOG.md | 6 + crates/nash-language-server/Cargo.toml | 6 +- crates/nash-nitpick/CHANGELOG.md | 6 + crates/nash-nitpick/Cargo.toml | 4 +- crates/nash-parse/CHANGELOG.md | 10 ++ crates/nash-parse/Cargo.toml | 4 +- crates/nash-report/CHANGELOG.md | 7 ++ crates/nash-report/Cargo.toml | 14 +-- crates/nash-solve/CHANGELOG.md | 11 ++ crates/nash-solve/Cargo.toml | 8 +- crates/nash-source/CHANGELOG.md | 6 + crates/nash-source/Cargo.toml | 2 +- crates/nash-test/CHANGELOG.md | 13 +++ crates/nash-test/Cargo.toml | 4 +- 38 files changed, 233 insertions(+), 167 deletions(-) delete mode 100644 .sampo/changesets/base-data-map.md delete mode 100644 .sampo/changesets/nested-choice-replay-slice.md delete mode 100644 .sampo/changesets/nested-property-traces.md delete mode 100644 .sampo/changesets/prop-history-normalization.md delete mode 100644 .sampo/changesets/prop-list-traits.md delete mode 100644 .sampo/changesets/prop-rebuild-once.md delete mode 100644 .sampo/changesets/property-reduction-feedback.md delete mode 100644 .sampo/changesets/relational-inference-map-projections.md delete mode 100644 .sampo/changesets/representation-classed-heads.md diff --git a/.sampo/changesets/base-data-map.md b/.sampo/changesets/base-data-map.md deleted file mode 100644 index 3a2b422d..00000000 --- a/.sampo/changesets/base-data-map.md +++ /dev/null @@ -1,6 +0,0 @@ ---- -cargo/nash-driver: minor -cargo/nash-can: patch ---- - -Add composable Data decoders, encoders, and Map helpers to bundled Base. Embed nested Base modules with implicit qualified imports. Make Data.tag and Data.fields direct constructor accessors. diff --git a/.sampo/changesets/nested-choice-replay-slice.md b/.sampo/changesets/nested-choice-replay-slice.md deleted file mode 100644 index 98c4dd71..00000000 --- a/.sampo/changesets/nested-choice-replay-slice.md +++ /dev/null @@ -1,7 +0,0 @@ ---- -cargo/nash-driver: patch ---- - -Exercise nested little choice traces through compiled Nash generators and the -CEK, including Rust-side group deletion, strict replay boundaries, dependent -bounds, and consumed-trace normalization. diff --git a/.sampo/changesets/nested-property-traces.md b/.sampo/changesets/nested-property-traces.md deleted file mode 100644 index f4c5556d..00000000 --- a/.sampo/changesets/nested-property-traces.md +++ /dev/null @@ -1,7 +0,0 @@ ---- -cargo/nash-driver: minor -cargo/nash-test: minor -cargo/nash-codegen: patch ---- - -Use nested Choice/Group traces for property generation, strict replay, and reduction. Compose generator functions through ordinary Functor, Applicative, and Monad instances in Nash. Preserve reduced replay trees in runner outcomes. Retain concrete little type layouts when specializing generic trait helpers. diff --git a/.sampo/changesets/prop-history-normalization.md b/.sampo/changesets/prop-history-normalization.md deleted file mode 100644 index e3a3bdf6..00000000 --- a/.sampo/changesets/prop-history-normalization.md +++ /dev/null @@ -1,6 +0,0 @@ ---- -cargo/nash-driver: patch -cargo/nash-test: patch ---- - -Normalize recorded property traces in Rust instead of reversing groups during Nash execution. Remove the unused Test.assertFailed helper. diff --git a/.sampo/changesets/prop-list-traits.md b/.sampo/changesets/prop-list-traits.md deleted file mode 100644 index f63a9ee1..00000000 --- a/.sampo/changesets/prop-list-traits.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -cargo/nash-driver: patch ---- - -Use Monad and Functor operations in property list and byte generators while preserving replay group boundaries. diff --git a/.sampo/changesets/prop-rebuild-once.md b/.sampo/changesets/prop-rebuild-once.md deleted file mode 100644 index 5acfacc3..00000000 --- a/.sampo/changesets/prop-rebuild-once.md +++ /dev/null @@ -1,6 +0,0 @@ ---- -cargo/nash-driver: patch -cargo/nash-test: patch ---- - -Evaluate rebuilt property candidates without regenerating them through replay, cache their complete outcomes, and express list element grouping through Monad.bind. diff --git a/.sampo/changesets/property-reduction-feedback.md b/.sampo/changesets/property-reduction-feedback.md deleted file mode 100644 index 06b884f8..00000000 --- a/.sampo/changesets/property-reduction-feedback.md +++ /dev/null @@ -1,6 +0,0 @@ ---- -cargo/nash-driver: minor -cargo/nash-test: minor ---- - -Use consumed-draw feedback to repair unsuccessful property reductions. Reconstruct boundary proposals in Nash and validate them with strict replay. Add adaptive draw deletion, joint numeric reduction, whole-draw reordering, and coordinated decrement/deletion passes. diff --git a/.sampo/changesets/relational-inference-map-projections.md b/.sampo/changesets/relational-inference-map-projections.md deleted file mode 100644 index 77a617a4..00000000 --- a/.sampo/changesets/relational-inference-map-projections.md +++ /dev/null @@ -1,7 +0,0 @@ ---- -cargo/nash-can: minor -cargo/nash-solve: minor -cargo/nash-driver: minor ---- - -Infer missing components of multi-parameter constraints from unique compatible implementations or supplied dictionaries. Retain connected hidden variables in generic signatures, account for identity Lift, and reject ambiguous conversions. Map.keys and Map.values now accept Big maps or little pair lists and return little lists with unchanged element types. diff --git a/.sampo/changesets/representation-classed-heads.md b/.sampo/changesets/representation-classed-heads.md deleted file mode 100644 index 779196e5..00000000 --- a/.sampo/changesets/representation-classed-heads.md +++ /dev/null @@ -1,11 +0,0 @@ ---- -cargo/nash-ast: minor -cargo/nash-source: minor -cargo/nash-parse: minor -cargo/nash-can: minor -cargo/nash-solve: minor -cargo/nash-report: patch -cargo/nash-codegen: patch ---- - -Distinguish implementation heads by compiler-owned representation classes. Allow disjoint Big and Little blankets, preserve representation bounds during selection and evidence resolution, and accept inline Little bounds. diff --git a/Cargo.lock b/Cargo.lock index a5c40303..cf11d1f5 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -376,7 +376,7 @@ dependencies = [ "semver", "serde", "serde_json", - "thiserror 2.0.20", + "thiserror 2.0.21", ] [[package]] @@ -387,9 +387,9 @@ checksum = "37b2a672a2cb129a2e41c10b1224bb368f9f37a2b16b612598138befd7b37eb5" [[package]] name = "cc" -version = "1.4.7" +version = "1.5.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "54413ede23c2daf518f35156dfde027feb2374004d63bd497f983c8db9c0e313" +checksum = "f360145194ee8e21db5ee7f3fcd4fe52210864c75c985dae33218202c8bbe040" dependencies = [ "find-msvc-tools", "jobserver", @@ -977,9 +977,9 @@ dependencies = [ [[package]] name = "find-msvc-tools" -version = "0.1.13" +version = "0.1.14" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ef25905e51abafe4dcea6c15fec58c57b601cdbd0ee53d22ea1d3016c587d39b" +checksum = "aedcfb3409746eddb02b9e19ebda1c3394f759a152e48ee875a0844d1b955484" [[package]] name = "flate2" @@ -1378,15 +1378,16 @@ dependencies = [ [[package]] name = "hyper-util" -version = "0.1.20" +version = "0.1.21" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "96547c2556ec9d12fb1578c4eaf448b04993e7fb79cbaad930a656880a6bdfa0" +checksum = "ddc03d96684f9226b8a787cdb71488417b53ab5ea8fdb1dac946cb9431cc8bff" dependencies = [ "bytes", "futures-channel", "futures-util", "http", "http-body", + "httparse", "hyper", "libc", "pin-project-lite", @@ -1649,9 +1650,9 @@ dependencies = [ [[package]] name = "js-sys" -version = "0.3.105" +version = "0.3.106" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ce57d20d1ea864ce2ac172ab472d409214f4fd359f0b2a2775abdf522e2af99e" +checksum = "7883d941dae510fb2d978fc3fe018c71c9e2892fd38854de3e8b92c2e5ad9cc5" dependencies = [ "cfg-if", "futures-util", @@ -1883,7 +1884,7 @@ dependencies = [ [[package]] name = "nash-ast" -version = "0.10.0" +version = "0.11.0" dependencies = [ "bumpalo", "nash-region", @@ -1892,7 +1893,7 @@ dependencies = [ [[package]] name = "nash-can" -version = "0.10.0" +version = "0.11.0" dependencies = [ "bumpalo", "indoc", @@ -1908,7 +1909,7 @@ dependencies = [ [[package]] name = "nash-cli" -version = "0.6.1" +version = "0.6.2" dependencies = [ "clap", "color-print", @@ -1938,7 +1939,7 @@ dependencies = [ [[package]] name = "nash-codegen" -version = "0.4.0" +version = "0.4.1" dependencies = [ "bumpalo", "indoc", @@ -1955,7 +1956,7 @@ dependencies = [ "nash-solve", "nash-test", "serde_json", - "thiserror 2.0.20", + "thiserror 2.0.21", ] [[package]] @@ -1969,12 +1970,12 @@ dependencies = [ "pubgrub", "serde", "serde_json", - "thiserror 2.0.20", + "thiserror 2.0.21", ] [[package]] name = "nash-constrain" -version = "0.8.0" +version = "0.8.1" dependencies = [ "bumpalo", "insta", @@ -1985,7 +1986,7 @@ dependencies = [ [[package]] name = "nash-driver" -version = "0.9.0" +version = "0.10.0" dependencies = [ "async-trait", "bumpalo", @@ -2007,14 +2008,14 @@ dependencies = [ "nash-solve", "nash-source", "nash-test", - "thiserror 2.0.20", + "thiserror 2.0.21", "tokio", "url", ] [[package]] name = "nash-ir" -version = "0.3.1" +version = "0.3.2" dependencies = [ "insta", "nash-ast", @@ -2023,7 +2024,7 @@ dependencies = [ [[package]] name = "nash-language-server" -version = "0.4.3" +version = "0.4.4" dependencies = [ "insta", "nash-driver", @@ -2038,7 +2039,7 @@ dependencies = [ [[package]] name = "nash-nitpick" -version = "0.3.1" +version = "0.3.2" dependencies = [ "bumpalo", "hex", @@ -2049,7 +2050,7 @@ dependencies = [ [[package]] name = "nash-parse" -version = "0.7.1" +version = "0.8.0" dependencies = [ "bumpalo", "indoc", @@ -2083,7 +2084,7 @@ dependencies = [ "ouroboros", "pretty_assertions", "secp256k1", - "thiserror 2.0.20", + "thiserror 2.0.21", ] [[package]] @@ -2092,7 +2093,7 @@ version = "0.3.0" [[package]] name = "nash-report" -version = "0.5.1" +version = "0.5.2" dependencies = [ "bumpalo", "indoc", @@ -2113,7 +2114,7 @@ dependencies = [ [[package]] name = "nash-solve" -version = "0.8.0" +version = "0.9.0" dependencies = [ "bumpalo", "indoc", @@ -2129,7 +2130,7 @@ dependencies = [ [[package]] name = "nash-source" -version = "0.8.1" +version = "0.9.0" dependencies = [ "bumpalo", "nash-region", @@ -2137,7 +2138,7 @@ dependencies = [ [[package]] name = "nash-test" -version = "0.3.0" +version = "0.4.0" dependencies = [ "cryptoxide", "insta", @@ -2638,7 +2639,7 @@ dependencies = [ "priority-queue", "rustc-hash", "serde", - "thiserror 2.0.20", + "thiserror 2.0.21", "version-ranges", ] @@ -2729,7 +2730,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "60dc65c0ff1a7ae1294b0c67b9f14baf70b644404010370171787bfac1038fc0" dependencies = [ "libredox", - "thiserror 2.0.20", + "thiserror 2.0.21", ] [[package]] @@ -3165,7 +3166,7 @@ checksum = "0d585997b0ac10be3c5ee635f1bab02d512760d14b7c468801ac8a01d9ae5f1d" dependencies = [ "num-bigint", "num-traits", - "thiserror 2.0.20", + "thiserror 2.0.21", "time", ] @@ -3177,9 +3178,9 @@ checksum = "0c790de23124f9ab44544d7ac05d60440adc586479ce501c1d6d7da3cd8c9cf5" [[package]] name = "smallvec" -version = "1.16.1" +version = "1.16.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ba467056f1b547ed52077911161fc86985becbc60e8e1857c8a144dab0def891" +checksum = "f9395f0f0eee849a9b707b2f06bb92a6a422090e2123bb2ef8e87a0e61892a8e" dependencies = [ "serde", ] @@ -3383,11 +3384,11 @@ dependencies = [ [[package]] name = "thiserror" -version = "2.0.20" +version = "2.0.21" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ec86235f5fcc2a73650310756d2ac5b138a5780bbbdfae3eeccec992c435ba4f" +checksum = "09e52cb86a36cede5cb101bf8908837b3e4c6e5e59fe7fd85c23fb56200d189e" dependencies = [ - "thiserror-impl 2.0.20", + "thiserror-impl 2.0.21", ] [[package]] @@ -3403,9 +3404,9 @@ dependencies = [ [[package]] name = "thiserror-impl" -version = "2.0.20" +version = "2.0.21" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "bc04cd3e1236dd4a98afca4569f2deb3f120e5422a4023be2cb683f8486292af" +checksum = "fe5197923287db20a58125f0bc85c062f7f2c892de97b18c356f9efb14b28524" dependencies = [ "proc-macro2", "quote", @@ -3749,9 +3750,9 @@ dependencies = [ [[package]] name = "wasm-bindgen" -version = "0.2.128" +version = "0.2.129" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "aecb87a33d3b0c5e3b7aa46336eaf486cffafbd281b195e4c8b80d50df2351bf" +checksum = "9bb54f33acc68fd454578d9820b0bde1a1a3d17aa17bb7b6595806d02886d409" dependencies = [ "cfg-if", "once_cell", @@ -3762,9 +3763,9 @@ dependencies = [ [[package]] name = "wasm-bindgen-macro" -version = "0.2.128" +version = "0.2.129" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a690d511e3c1a8b3a55e33511e3c2c00c78415cd23650f32b808627f5696b9ed" +checksum = "2e29d0c35b16e224a7eeb5cd2d25e3e1968fbd65604117b44d3b789d00ee8535" dependencies = [ "quote", "wasm-bindgen-macro-support", @@ -3772,9 +3773,9 @@ dependencies = [ [[package]] name = "wasm-bindgen-macro-support" -version = "0.2.128" +version = "0.2.129" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "411e4887f0071ef2d2164a9d5fdf2d20efbef78fccd3a78b0c10a1dc5295e48a" +checksum = "6f501a8bc3719dba86ef8ae4728879c08001bea749eb1333ac5b91e040e2a6b7" dependencies = [ "bumpalo", "proc-macro2", @@ -3785,18 +3786,18 @@ dependencies = [ [[package]] name = "wasm-bindgen-shared" -version = "0.2.128" +version = "0.2.129" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "81941cd78d0c92026c33e5e01312845a4cb1e9af3407f9134b100dd03144103e" +checksum = "23f0c9c52aa7cd7d77769a4cfe2a9adb1b331f489a41d912ce14513d5ab995c6" dependencies = [ "unicode-ident", ] [[package]] name = "web-sys" -version = "0.3.105" +version = "0.3.106" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9fbddc4a036f00ec4f18c83445bd3115cb306a91da554919a099d9222fe4a7f8" +checksum = "88261b9deccee56594c11a3460c462c41f58d148598fe70ad77070126a68aba4" dependencies = [ "js-sys", "wasm-bindgen", @@ -4037,18 +4038,18 @@ dependencies = [ [[package]] name = "zerocopy" -version = "0.8.57" +version = "0.8.58" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d35102a9f36d089ccae9e4c6802bc118be4487b80aaffc0ab4e0cf5ce92d2873" +checksum = "c17e8fafad82b542ff3717217ecdc736231b59e387768c9630123b4ce4d2db44" dependencies = [ "zerocopy-derive", ] [[package]] name = "zerocopy-derive" -version = "0.8.57" +version = "0.8.58" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "146c01f5ab44258da43cf276c74a2763db2ff3969c9c652c3f2de07041d0b2bc" +checksum = "595f56e044df4f46a0c9a626f65c3d99eb8488f7e8a8baa12dd76326d9710bf2" dependencies = [ "proc-macro2", "quote", @@ -4153,7 +4154,7 @@ dependencies = [ "memchr", "pbkdf2", "sha1", - "thiserror 2.0.20", + "thiserror 2.0.21", "time", "xz2", "zeroize", diff --git a/crates/nash-ast/CHANGELOG.md b/crates/nash-ast/CHANGELOG.md index 587dbda5..97dfc9b9 100644 --- a/crates/nash-ast/CHANGELOG.md +++ b/crates/nash-ast/CHANGELOG.md @@ -1,5 +1,15 @@ # nash-ast +## 0.11.0 — 2026-09-25 + +### Minor changes + +- [95d828a2](https://github.com/orbistry/nash/commit/95d828a2602340ace632a79f28f74e49c54d2755) Distinguish implementation heads by compiler-owned representation classes. Allow disjoint Big and Little blankets, preserve representation bounds during selection and evidence resolution, and accept inline Little bounds. — Thanks @MicroProofs! + +### Patch changes + +- Updated dependencies: nash-source@0.9.0 + ## 0.10.0 — 2026-09-22 ### Minor changes diff --git a/crates/nash-ast/Cargo.toml b/crates/nash-ast/Cargo.toml index 7b78b6d0..5acf2365 100644 --- a/crates/nash-ast/Cargo.toml +++ b/crates/nash-ast/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "nash-ast" -version = "0.10.0" +version = "0.11.0" edition.workspace = true description = "Canonical AST for the nash programming language" homepage.workspace = true @@ -10,4 +10,4 @@ license.workspace = true [dependencies] bumpalo.workspace = true nash-region = { path = "../nash-region", version = "0.3.0" } -nash-source = { path = "../nash-source", version = "0.8.1" } +nash-source = { path = "../nash-source", version = "0.9.0" } diff --git a/crates/nash-can/CHANGELOG.md b/crates/nash-can/CHANGELOG.md index f572f772..846d387d 100644 --- a/crates/nash-can/CHANGELOG.md +++ b/crates/nash-can/CHANGELOG.md @@ -1,5 +1,17 @@ # nash-can +## 0.11.0 — 2026-09-25 + +### Minor changes + +- [95d828a2](https://github.com/orbistry/nash/commit/95d828a2602340ace632a79f28f74e49c54d2755) Distinguish implementation heads by compiler-owned representation classes. Allow disjoint Big and Little blankets, preserve representation bounds during selection and evidence resolution, and accept inline Little bounds. — Thanks @MicroProofs! +- [9cc6614c](https://github.com/orbistry/nash/commit/9cc6614cae8d4b42d8a812dc142abaa6ee6ff324) Infer missing components of multi-parameter constraints from unique compatible implementations or supplied dictionaries. Retain connected hidden variables in generic signatures, account for identity Lift, and reject ambiguous conversions. Map.keys and Map.values now accept Big maps or little pair lists and return little lists with unchanged element types. — Thanks @MicroProofs! + +### Patch changes + +- [2ebeab1f](https://github.com/orbistry/nash/commit/2ebeab1f4f0502b06a025c755b7ad14611f6bf6b) Add composable Data decoders, encoders, and Map helpers to bundled Base. Embed nested Base modules with implicit qualified imports. Make Data.tag and Data.fields direct constructor accessors. — Thanks @MicroProofs! +- Updated dependencies: nash-ast@0.11.0, nash-source@0.9.0 + ## 0.10.0 — 2026-09-22 ### Minor changes diff --git a/crates/nash-can/Cargo.toml b/crates/nash-can/Cargo.toml index 5c707e95..8233eaa3 100644 --- a/crates/nash-can/Cargo.toml +++ b/crates/nash-can/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "nash-can" -version = "0.10.0" +version = "0.11.0" edition.workspace = true description = "Canonicalize a nash source tree, resolving symbols, re-ordering definitions, and preparing a module for type inference." homepage.workspace = true @@ -9,9 +9,9 @@ license.workspace = true [dependencies] bumpalo.workspace = true -nash-ast = { path = "../nash-ast", version = "0.10.0" } +nash-ast = { path = "../nash-ast", version = "0.11.0" } nash-region = { path = "../nash-region", version = "0.3.0" } -nash-source = { path = "../nash-source", version = "0.8.1" } +nash-source = { path = "../nash-source", version = "0.9.0" } [dev-dependencies] indoc.workspace = true diff --git a/crates/nash-cli/CHANGELOG.md b/crates/nash-cli/CHANGELOG.md index bfba56eb..d70b50bc 100644 --- a/crates/nash-cli/CHANGELOG.md +++ b/crates/nash-cli/CHANGELOG.md @@ -1,5 +1,11 @@ # nash-cli +## 0.6.2 — 2026-09-25 + +### Patch changes + +- Updated dependencies: nash-codegen@0.4.1, nash-driver@0.10.0, nash-language-server@0.4.4, nash-report@0.5.2, nash-test@0.4.0 + ## 0.6.1 — 2026-09-22 ### Patch changes diff --git a/crates/nash-cli/Cargo.toml b/crates/nash-cli/Cargo.toml index b1c7f08f..d6a540a5 100644 --- a/crates/nash-cli/Cargo.toml +++ b/crates/nash-cli/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "nash-cli" -version = "0.6.1" +version = "0.6.2" edition.workspace = true description = "The Nash programming language" homepage.workspace = true @@ -16,7 +16,7 @@ name = "nash" path = "src/main.rs" [dependencies] -nash-codegen = { path = "../nash-codegen", version = "0.4.0" } +nash-codegen = { path = "../nash-codegen", version = "0.4.1" } clap.workspace = true color-print.workspace = true dirs.workspace = true @@ -24,11 +24,11 @@ futures.workspace = true hex.workspace = true miette.workspace = true serde_json.workspace = true -nash-test = { path = "../nash-test", version = "0.3.0" } +nash-test = { path = "../nash-test", version = "0.4.0" } nash-config = { path = "../nash-config", version = "0.5.0" } -nash-report = { path = "../nash-report", version = "0.5.1" } -nash-driver = { path = "../nash-driver", version = "0.9.0" } -nash-language-server = { path = "../nash-language-server", version = "0.4.3" } +nash-report = { path = "../nash-report", version = "0.5.2" } +nash-driver = { path = "../nash-driver", version = "0.10.0" } +nash-language-server = { path = "../nash-language-server", version = "0.4.4" } octocrab.workspace = true tar.workspace = true tokio = { workspace = true, features = ["rt-multi-thread", "macros", "io-std"] } diff --git a/crates/nash-codegen/CHANGELOG.md b/crates/nash-codegen/CHANGELOG.md index ed6ca5b1..583aac9d 100644 --- a/crates/nash-codegen/CHANGELOG.md +++ b/crates/nash-codegen/CHANGELOG.md @@ -1,5 +1,13 @@ # nash-codegen +## 0.4.1 — 2026-09-25 + +### Patch changes + +- [95d828a2](https://github.com/orbistry/nash/commit/95d828a2602340ace632a79f28f74e49c54d2755) Distinguish implementation heads by compiler-owned representation classes. Allow disjoint Big and Little blankets, preserve representation bounds during selection and evidence resolution, and accept inline Little bounds. — Thanks @MicroProofs! +- [feeb1edb](https://github.com/orbistry/nash/commit/feeb1edbecdb0b402023d99d5867e671eb57b336) Use nested Choice/Group traces for property generation, strict replay, and reduction. Compose generator functions through ordinary Functor, Applicative, and Monad instances in Nash. Preserve reduced replay trees in runner outcomes. Retain concrete little type layouts when specializing generic trait helpers. — Thanks @MicroProofs! +- Updated dependencies: nash-ast@0.11.0, nash-can@0.11.0, nash-ir@0.3.2, nash-solve@0.9.0, nash-test@0.4.0 + ## 0.4.0 — 2026-09-22 ### Minor changes diff --git a/crates/nash-codegen/Cargo.toml b/crates/nash-codegen/Cargo.toml index fb7adb35..e080a6b1 100644 --- a/crates/nash-codegen/Cargo.toml +++ b/crates/nash-codegen/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "nash-codegen" -version = "0.4.0" +version = "0.4.1" edition.workspace = true description = "Nash specialization and lowering to Untyped Plutus Core" homepage.workspace = true @@ -8,14 +8,14 @@ repository.workspace = true license.workspace = true [dependencies] -nash-ast = { path = "../nash-ast", version = "0.10.0" } +nash-ast = { path = "../nash-ast", version = "0.11.0" } nash-region = { path = "../nash-region", version = "0.3.0" } -nash-can = { path = "../nash-can", version = "0.10.0" } -nash-solve = { path = "../nash-solve", version = "0.8.0" } +nash-can = { path = "../nash-can", version = "0.11.0" } +nash-solve = { path = "../nash-solve", version = "0.9.0" } bumpalo.workspace = true -nash-ir = { path = "../nash-ir", version = "0.3.1" } +nash-ir = { path = "../nash-ir", version = "0.3.2" } nash-plutus = { path = "../nash-plutus", version = "0.3.1" } -nash-test = { path = "../nash-test", version = "0.3.0" } +nash-test = { path = "../nash-test", version = "0.4.0" } nash-config = { path = "../nash-config", version = "0.5.0" } thiserror.workspace = true diff --git a/crates/nash-constrain/CHANGELOG.md b/crates/nash-constrain/CHANGELOG.md index fdf5e42b..5de32dde 100644 --- a/crates/nash-constrain/CHANGELOG.md +++ b/crates/nash-constrain/CHANGELOG.md @@ -1,5 +1,11 @@ # nash-constrain +## 0.8.1 — 2026-09-25 + +### Patch changes + +- Updated dependencies: nash-ast@0.11.0, nash-can@0.11.0 + ## 0.8.0 — 2026-09-22 ### Minor changes diff --git a/crates/nash-constrain/Cargo.toml b/crates/nash-constrain/Cargo.toml index ea0cb78e..dfd38080 100644 --- a/crates/nash-constrain/Cargo.toml +++ b/crates/nash-constrain/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "nash-constrain" -version = "0.8.0" +version = "0.8.1" edition.workspace = true description = """ Shared union-find types, canonical type instantiation, and diagnostics \ @@ -12,9 +12,9 @@ license.workspace = true [dependencies] bumpalo.workspace = true -nash-ast = { path = "../nash-ast", version = "0.10.0" } +nash-ast = { path = "../nash-ast", version = "0.11.0" } nash-region = { path = "../nash-region", version = "0.3.0" } -nash-can = { path = "../nash-can", version = "0.10.0" } +nash-can = { path = "../nash-can", version = "0.11.0" } [dev-dependencies] insta.workspace = true diff --git a/crates/nash-driver/CHANGELOG.md b/crates/nash-driver/CHANGELOG.md index d35fab72..bb42de49 100644 --- a/crates/nash-driver/CHANGELOG.md +++ b/crates/nash-driver/CHANGELOG.md @@ -1,5 +1,24 @@ # nash-driver +## 0.10.0 — 2026-09-25 + +### Minor changes + +- [04cb160c](https://github.com/orbistry/nash/commit/04cb160ceb213899c13b13e5e7b9b3d4e8b27a8c) Use consumed-draw feedback to repair unsuccessful property reductions. Reconstruct boundary proposals in Nash and validate them with strict replay. Add adaptive draw deletion, joint numeric reduction, whole-draw reordering, and coordinated decrement/deletion passes. — Thanks @MicroProofs! +- [2ebeab1f](https://github.com/orbistry/nash/commit/2ebeab1f4f0502b06a025c755b7ad14611f6bf6b) Add composable Data decoders, encoders, and Map helpers to bundled Base. Embed nested Base modules with implicit qualified imports. Make Data.tag and Data.fields direct constructor accessors. — Thanks @MicroProofs! +- [9cc6614c](https://github.com/orbistry/nash/commit/9cc6614cae8d4b42d8a812dc142abaa6ee6ff324) Infer missing components of multi-parameter constraints from unique compatible implementations or supplied dictionaries. Retain connected hidden variables in generic signatures, account for identity Lift, and reject ambiguous conversions. Map.keys and Map.values now accept Big maps or little pair lists and return little lists with unchanged element types. — Thanks @MicroProofs! +- [feeb1edb](https://github.com/orbistry/nash/commit/feeb1edbecdb0b402023d99d5867e671eb57b336) Use nested Choice/Group traces for property generation, strict replay, and reduction. Compose generator functions through ordinary Functor, Applicative, and Monad instances in Nash. Preserve reduced replay trees in runner outcomes. Retain concrete little type layouts when specializing generic trait helpers. — Thanks @MicroProofs! + +### Patch changes + +- [22000039](https://github.com/orbistry/nash/commit/2200003953d11882ea9e03c8ed0876b3ed56ef33) Use Monad and Functor operations in property list and byte generators while preserving replay group boundaries. — Thanks @MicroProofs! +- [1a46ff5a](https://github.com/orbistry/nash/commit/1a46ff5a755fe4b139db28326f5834e1f19559fe) Exercise nested little choice traces through compiled Nash generators and the + CEK, including Rust-side group deletion, strict replay boundaries, dependent + bounds, and consumed-trace normalization. — Thanks @MicroProofs! +- [940d8d58](https://github.com/orbistry/nash/commit/940d8d58e5df0dcb08e6dd14a1b9761c2329f4c5) Evaluate rebuilt property candidates without regenerating them through replay, cache their complete outcomes, and express list element grouping through Monad.bind. — Thanks @MicroProofs! +- [661376a3](https://github.com/orbistry/nash/commit/661376a3f9d003420b3868c322c09cd277b2ed51) Normalize recorded property traces in Rust instead of reversing groups during Nash execution. Remove the unused Test.assertFailed helper. — Thanks @MicroProofs! +- Updated dependencies: nash-ast@0.11.0, nash-can@0.11.0, nash-codegen@0.4.1, nash-constrain@0.8.1, nash-nitpick@0.3.2, nash-parse@0.8.0, nash-report@0.5.2, nash-solve@0.9.0, nash-source@0.9.0, nash-test@0.4.0 + ## 0.9.0 — 2026-09-22 ### Minor changes diff --git a/crates/nash-driver/Cargo.toml b/crates/nash-driver/Cargo.toml index ae2c9169..3cd785fd 100644 --- a/crates/nash-driver/Cargo.toml +++ b/crates/nash-driver/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "nash-driver" -version = "0.9.0" +version = "0.10.0" edition.workspace = true description = "Build system and driver for Nash projects" homepage.workspace = true @@ -8,8 +8,8 @@ repository.workspace = true license.workspace = true [dependencies] -nash-test = { path = "../nash-test", version = "0.3.0" } -nash-codegen = { path = "../nash-codegen", version = "0.4.0" } +nash-test = { path = "../nash-test", version = "0.4.0" } +nash-codegen = { path = "../nash-codegen", version = "0.4.1" } nash-plutus = { path = "../nash-plutus", version = "0.3.1" } async-trait.workspace = true bumpalo.workspace = true @@ -21,15 +21,15 @@ tokio = { workspace = true, features = ["sync", "fs"] } url.workspace = true nash-config = { path = "../nash-config", version = "0.5.0" } -nash-nitpick = { path = "../nash-nitpick", version = "0.3.1" } -nash-ast = { path = "../nash-ast", version = "0.10.0" } -nash-can = { path = "../nash-can", version = "0.10.0" } -nash-constrain = { path = "../nash-constrain", version = "0.8.0" } -nash-parse = { path = "../nash-parse", version = "0.7.1" } -nash-report = { path = "../nash-report", version = "0.5.1" } +nash-nitpick = { path = "../nash-nitpick", version = "0.3.2" } +nash-ast = { path = "../nash-ast", version = "0.11.0" } +nash-can = { path = "../nash-can", version = "0.11.0" } +nash-constrain = { path = "../nash-constrain", version = "0.8.1" } +nash-parse = { path = "../nash-parse", version = "0.8.0" } +nash-report = { path = "../nash-report", version = "0.5.2" } nash-region = { path = "../nash-region", version = "0.3.0" } -nash-solve = { path = "../nash-solve", version = "0.8.0" } -nash-source = { path = "../nash-source", version = "0.8.1" } +nash-solve = { path = "../nash-solve", version = "0.9.0" } +nash-source = { path = "../nash-source", version = "0.9.0" } [dev-dependencies] indoc.workspace = true diff --git a/crates/nash-ir/CHANGELOG.md b/crates/nash-ir/CHANGELOG.md index 2800d572..98a8efb4 100644 --- a/crates/nash-ir/CHANGELOG.md +++ b/crates/nash-ir/CHANGELOG.md @@ -1,5 +1,11 @@ # nash-ir +## 0.3.2 — 2026-09-25 + +### Patch changes + +- Updated dependencies: nash-ast@0.11.0 + ## 0.3.1 — 2026-09-22 ### Patch changes diff --git a/crates/nash-ir/Cargo.toml b/crates/nash-ir/Cargo.toml index efc8f991..c7ecaef3 100644 --- a/crates/nash-ir/Cargo.toml +++ b/crates/nash-ir/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "nash-ir" -version = "0.3.1" +version = "0.3.2" edition.workspace = true description = "Nash Core IR with explicit runtime representations" homepage.workspace = true @@ -8,7 +8,7 @@ repository.workspace = true license.workspace = true [dependencies] -nash-ast = { path = "../nash-ast", version = "0.10.0" } +nash-ast = { path = "../nash-ast", version = "0.11.0" } nash-plutus = { path = "../nash-plutus", version = "0.3.1" } [dev-dependencies] diff --git a/crates/nash-language-server/CHANGELOG.md b/crates/nash-language-server/CHANGELOG.md index ba0080b1..b04a825f 100644 --- a/crates/nash-language-server/CHANGELOG.md +++ b/crates/nash-language-server/CHANGELOG.md @@ -1,5 +1,11 @@ # nash-language-server +## 0.4.4 — 2026-09-25 + +### Patch changes + +- Updated dependencies: nash-driver@0.10.0, nash-report@0.5.2 + ## 0.4.3 — 2026-09-22 ### Patch changes diff --git a/crates/nash-language-server/Cargo.toml b/crates/nash-language-server/Cargo.toml index 9f0e90b8..10e57fa9 100644 --- a/crates/nash-language-server/Cargo.toml +++ b/crates/nash-language-server/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "nash-language-server" -version = "0.4.3" +version = "0.4.4" edition.workspace = true description = "Language server for the nash programming language" homepage.workspace = true @@ -9,8 +9,8 @@ license.workspace = true [dependencies] tower-lsp-server.workspace = true -nash-driver = { path = "../nash-driver", version = "0.9.0" } -nash-report = { path = "../nash-report", version = "0.5.1" } +nash-driver = { path = "../nash-driver", version = "0.10.0" } +nash-report = { path = "../nash-report", version = "0.5.2" } nash-region = { path = "../nash-region", version = "0.3.0" } serde_json.workspace = true tokio.workspace = true diff --git a/crates/nash-nitpick/CHANGELOG.md b/crates/nash-nitpick/CHANGELOG.md index 753ce334..1a6eb393 100644 --- a/crates/nash-nitpick/CHANGELOG.md +++ b/crates/nash-nitpick/CHANGELOG.md @@ -1,5 +1,11 @@ # nash-nitpick +## 0.3.2 — 2026-09-25 + +### Patch changes + +- Updated dependencies: nash-ast@0.11.0 + ## 0.3.1 — 2026-09-22 ### Patch changes diff --git a/crates/nash-nitpick/Cargo.toml b/crates/nash-nitpick/Cargo.toml index e9b5dbb4..f8d827c1 100644 --- a/crates/nash-nitpick/Cargo.toml +++ b/crates/nash-nitpick/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "nash-nitpick" -version = "0.3.1" +version = "0.3.2" edition.workspace = true description = "Exhaustiveness and redundancy checking for Nash pattern matches" homepage.workspace = true @@ -10,7 +10,7 @@ license.workspace = true [dependencies] bumpalo.workspace = true hex.workspace = true -nash-ast = { path = "../nash-ast", version = "0.10.0" } +nash-ast = { path = "../nash-ast", version = "0.11.0" } nash-region = { path = "../nash-region", version = "0.3.0" } [dev-dependencies] diff --git a/crates/nash-parse/CHANGELOG.md b/crates/nash-parse/CHANGELOG.md index 684ce892..51ff061a 100644 --- a/crates/nash-parse/CHANGELOG.md +++ b/crates/nash-parse/CHANGELOG.md @@ -1,5 +1,15 @@ # nash-parse +## 0.8.0 — 2026-09-25 + +### Minor changes + +- [95d828a2](https://github.com/orbistry/nash/commit/95d828a2602340ace632a79f28f74e49c54d2755) Distinguish implementation heads by compiler-owned representation classes. Allow disjoint Big and Little blankets, preserve representation bounds during selection and evidence resolution, and accept inline Little bounds. — Thanks @MicroProofs! + +### Patch changes + +- Updated dependencies: nash-source@0.9.0 + ## 0.7.1 — 2026-09-22 ### Patch changes diff --git a/crates/nash-parse/Cargo.toml b/crates/nash-parse/Cargo.toml index f68ee163..c9f57169 100644 --- a/crates/nash-parse/Cargo.toml +++ b/crates/nash-parse/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "nash-parse" -version = "0.7.1" +version = "0.8.0" edition.workspace = true description = "Parser for the nash programming language" homepage.workspace = true @@ -10,7 +10,7 @@ license.workspace = true [dependencies] bumpalo.workspace = true nash-region = { path = "../nash-region", version = "0.3.0" } -nash-source = { path = "../nash-source", version = "0.8.1" } +nash-source = { path = "../nash-source", version = "0.9.0" } [dev-dependencies] indoc.workspace = true diff --git a/crates/nash-report/CHANGELOG.md b/crates/nash-report/CHANGELOG.md index b607776b..e06da2a6 100644 --- a/crates/nash-report/CHANGELOG.md +++ b/crates/nash-report/CHANGELOG.md @@ -1,5 +1,12 @@ # nash-report +## 0.5.2 — 2026-09-25 + +### Patch changes + +- [95d828a2](https://github.com/orbistry/nash/commit/95d828a2602340ace632a79f28f74e49c54d2755) Distinguish implementation heads by compiler-owned representation classes. Allow disjoint Big and Little blankets, preserve representation bounds during selection and evidence resolution, and accept inline Little bounds. — Thanks @MicroProofs! +- Updated dependencies: nash-ast@0.11.0, nash-can@0.11.0, nash-constrain@0.8.1, nash-nitpick@0.3.2, nash-parse@0.8.0, nash-source@0.9.0 + ## 0.5.1 — 2026-09-22 ### Patch changes diff --git a/crates/nash-report/Cargo.toml b/crates/nash-report/Cargo.toml index ea4b1d02..beb6ba89 100644 --- a/crates/nash-report/Cargo.toml +++ b/crates/nash-report/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "nash-report" -version = "0.5.1" +version = "0.5.2" edition.workspace = true description = "Error reports for the Nash compiler: Elm's prose rendered with miette" homepage.workspace = true @@ -12,13 +12,13 @@ miette.workspace = true unicode-width = "0.1.14" serde.workspace = true serde_json.workspace = true -nash-ast = { path = "../nash-ast", version = "0.10.0" } -nash-can = { path = "../nash-can", version = "0.10.0" } -nash-constrain = { path = "../nash-constrain", version = "0.8.0" } -nash-nitpick = { path = "../nash-nitpick", version = "0.3.1" } -nash-parse = { path = "../nash-parse", version = "0.7.1" } +nash-ast = { path = "../nash-ast", version = "0.11.0" } +nash-can = { path = "../nash-can", version = "0.11.0" } +nash-constrain = { path = "../nash-constrain", version = "0.8.1" } +nash-nitpick = { path = "../nash-nitpick", version = "0.3.2" } +nash-parse = { path = "../nash-parse", version = "0.8.0" } nash-region = { path = "../nash-region", version = "0.3.0" } -nash-source = { path = "../nash-source", version = "0.8.1" } +nash-source = { path = "../nash-source", version = "0.9.0" } [dev-dependencies] bumpalo.workspace = true diff --git a/crates/nash-solve/CHANGELOG.md b/crates/nash-solve/CHANGELOG.md index 7605f7df..e351184e 100644 --- a/crates/nash-solve/CHANGELOG.md +++ b/crates/nash-solve/CHANGELOG.md @@ -1,5 +1,16 @@ # nash-solve +## 0.9.0 — 2026-09-25 + +### Minor changes + +- [95d828a2](https://github.com/orbistry/nash/commit/95d828a2602340ace632a79f28f74e49c54d2755) Distinguish implementation heads by compiler-owned representation classes. Allow disjoint Big and Little blankets, preserve representation bounds during selection and evidence resolution, and accept inline Little bounds. — Thanks @MicroProofs! +- [9cc6614c](https://github.com/orbistry/nash/commit/9cc6614cae8d4b42d8a812dc142abaa6ee6ff324) Infer missing components of multi-parameter constraints from unique compatible implementations or supplied dictionaries. Retain connected hidden variables in generic signatures, account for identity Lift, and reject ambiguous conversions. Map.keys and Map.values now accept Big maps or little pair lists and return little lists with unchanged element types. — Thanks @MicroProofs! + +### Patch changes + +- Updated dependencies: nash-ast@0.11.0, nash-can@0.11.0, nash-constrain@0.8.1 + ## 0.8.0 — 2026-09-22 ### Minor changes diff --git a/crates/nash-solve/Cargo.toml b/crates/nash-solve/Cargo.toml index 0dc07112..d63566ce 100644 --- a/crates/nash-solve/Cargo.toml +++ b/crates/nash-solve/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "nash-solve" -version = "0.8.0" +version = "0.9.0" edition.workspace = true description = "The entry point of nash's type inference system. Implements type inference and specialization of traits." homepage.workspace = true @@ -9,9 +9,9 @@ license.workspace = true [dependencies] bumpalo.workspace = true -nash-ast = { path = "../nash-ast", version = "0.10.0" } -nash-can = { path = "../nash-can", version = "0.10.0" } -nash-constrain = { path = "../nash-constrain", version = "0.8.0" } +nash-ast = { path = "../nash-ast", version = "0.11.0" } +nash-can = { path = "../nash-can", version = "0.11.0" } +nash-constrain = { path = "../nash-constrain", version = "0.8.1" } nash-region = { path = "../nash-region", version = "0.3.0" } [dev-dependencies] diff --git a/crates/nash-source/CHANGELOG.md b/crates/nash-source/CHANGELOG.md index dcfe7f04..d3033971 100644 --- a/crates/nash-source/CHANGELOG.md +++ b/crates/nash-source/CHANGELOG.md @@ -1,5 +1,11 @@ # nash-source +## 0.9.0 — 2026-09-25 + +### Minor changes + +- [95d828a2](https://github.com/orbistry/nash/commit/95d828a2602340ace632a79f28f74e49c54d2755) Distinguish implementation heads by compiler-owned representation classes. Allow disjoint Big and Little blankets, preserve representation bounds during selection and evidence resolution, and accept inline Little bounds. — Thanks @MicroProofs! + ## 0.8.1 — 2026-09-22 ### Patch changes diff --git a/crates/nash-source/Cargo.toml b/crates/nash-source/Cargo.toml index 553d2018..aa16a570 100644 --- a/crates/nash-source/Cargo.toml +++ b/crates/nash-source/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "nash-source" -version = "0.8.1" +version = "0.9.0" edition.workspace = true description = "Source AST for the nash programming language" homepage.workspace = true diff --git a/crates/nash-test/CHANGELOG.md b/crates/nash-test/CHANGELOG.md index e69c43d3..c88df02b 100644 --- a/crates/nash-test/CHANGELOG.md +++ b/crates/nash-test/CHANGELOG.md @@ -1,5 +1,18 @@ # nash-test +## 0.4.0 — 2026-09-25 + +### Minor changes + +- [04cb160c](https://github.com/orbistry/nash/commit/04cb160ceb213899c13b13e5e7b9b3d4e8b27a8c) Use consumed-draw feedback to repair unsuccessful property reductions. Reconstruct boundary proposals in Nash and validate them with strict replay. Add adaptive draw deletion, joint numeric reduction, whole-draw reordering, and coordinated decrement/deletion passes. — Thanks @MicroProofs! +- [feeb1edb](https://github.com/orbistry/nash/commit/feeb1edbecdb0b402023d99d5867e671eb57b336) Use nested Choice/Group traces for property generation, strict replay, and reduction. Compose generator functions through ordinary Functor, Applicative, and Monad instances in Nash. Preserve reduced replay trees in runner outcomes. Retain concrete little type layouts when specializing generic trait helpers. — Thanks @MicroProofs! + +### Patch changes + +- [940d8d58](https://github.com/orbistry/nash/commit/940d8d58e5df0dcb08e6dd14a1b9761c2329f4c5) Evaluate rebuilt property candidates without regenerating them through replay, cache their complete outcomes, and express list element grouping through Monad.bind. — Thanks @MicroProofs! +- [661376a3](https://github.com/orbistry/nash/commit/661376a3f9d003420b3868c322c09cd277b2ed51) Normalize recorded property traces in Rust instead of reversing groups during Nash execution. Remove the unused Test.assertFailed helper. — Thanks @MicroProofs! +- Updated dependencies: nash-source@0.9.0 + ## 0.3.0 — 2026-09-22 ### Minor changes diff --git a/crates/nash-test/Cargo.toml b/crates/nash-test/Cargo.toml index 0358c795..74fef391 100644 --- a/crates/nash-test/Cargo.toml +++ b/crates/nash-test/Cargo.toml @@ -1,13 +1,13 @@ [package] name = "nash-test" -version = "0.3.0" +version = "0.4.0" edition.workspace = true license.workspace = true description = "Deterministic Nash test and property runner" [dependencies] nash-plutus = { path = "../nash-plutus", version = "0.3.1" } -nash-source = { path = "../nash-source", version = "0.8.1" } +nash-source = { path = "../nash-source", version = "0.9.0" } nash-region = { path = "../nash-region", version = "0.3.0" } nash-config = { path = "../nash-config", version = "0.5.0" } cryptoxide = "0.4.4"