[rvcas]

This PR was generated by Sampo GitHub Action. When you're ready to do a release, you can merge this and the packages will be published automatically. Not ready yet? Just keep adding changesets to the default branch, and this PR will stay up to date.

nash-cli 0.8.0 -> 0.9.0

Minor changes

• 6c40e488 Add explicit O2 compilation for build and test. O2 requires silent settings, removes user and compiler traces, and discards trace message computations even when they fail or diverge before applying the O1 optimizer. Reject compact, verbose and compiler tracing with O2. Keep O1 as the default. — Thanks @MicroProofs!
• 0e64dce4 Remove the Plutus V1 and V2 targets. Nash compiles validators against the V3 script context only, so a V1 or V2 language tag produced an invalid validator. The plutusVersion project setting, the --plutus-version option, nash_config::PlutusVersion, assemble_core_for_version, TestProgram::plutus_version and the version parameters of assemble_core_with_options and compile_tests* are gone. Script hashes always use the V3 language tag. — Thanks @MicroProofs!

Patch changes

• 5ee70cc4 Restore the recursive Flat term encoder and decoder. nash_test::Config gains worker_stack, and nash test runs its workers on the compiler stack. — Thanks @MicroProofs!
• 74c221a9 Disable unused Bzip2 ZIP support to avoid building bzip2-sys. Retain all other existing ZIP features and XZ compiler-release extraction. — Thanks @MicroProofs!
• d125a8ef Run compiler work on threads with a 128 MiB stack (nash_driver::stack) and remove the parser nesting limit of 64 with its Space::TooDeep error. Input that is too deep now ends the process with a stack overflow. — Thanks @MicroProofs!
• Updated dependencies: nash-codegen@0.7.0, nash-config@0.7.0, nash-docs@0.2.3, nash-driver@0.14.0, nash-fmt@0.2.1, nash-language-server@0.4.9, nash-report@0.7.0, nash-test@0.5.0

nash-codegen 0.6.0 -> 0.7.0

Minor changes

• 6c40e488 Add explicit O2 compilation for build and test. O2 requires silent settings, removes user and compiler traces, and discards trace message computations even when they fail or diverge before applying the O1 optimizer. Reject compact, verbose and compiler tracing with O2. Keep O1 as the default. — Thanks @MicroProofs!
• 7f0e49b1 Support read-only .fst and .snd field access and accessor functions for known builtin pair types, including aliases. Lower access directly to the pair builtins. Enable the restricted O1 pair-case rewrite only when constructor inverse cleanup removes the introduced projection, preserving strict producer evaluation. — Thanks @MicroProofs!
• 0e64dce4 Remove the Plutus V1 and V2 targets. Nash compiles validators against the V3 script context only, so a V1 or V2 language tag produced an invalid validator. The plutusVersion project setting, the --plutus-version option, nash_config::PlutusVersion, assemble_core_for_version, TestProgram::plutus_version and the version parameters of assemble_core_with_options and compile_tests* are gone. Script hashes always use the V3 language tag. — Thanks @MicroProofs!

Patch changes

• 0d418bf8 Run constructor folding and representation cancellation only in the post-ANF cleanup loops, following generated bindings and opportunities exposed by inlining. Remove the early direct-expression passes. — Thanks @MicroProofs!
• df857f60 Restore the recursive lowering, constant-sharing rewrite, and recursion rewrite. — Thanks @MicroProofs!
• fe14e41d Enable bounded constant builtin evaluation in O1. Fold saturated literal calls through ANF bindings and repeat cleanup, preserving traces and runtime failures. Keep O0 and explicit comptime policies unchanged. — Thanks @MicroProofs!
• a357f4e4 Fuse adjacent application stages in O1, clean up generated UPLC bindings, and
  pack value application spines with native Case/Constr while preserving traces,
  failure and termination. — Thanks @MicroProofs!
• f4ad45a0 Revisit static recursive parameter lifting after cleanup and recursive pruning so O1 reaches the same closed program in one invocation. Preserve atomic operands when lifting all-static oversaturated recursive calls and check optimizer idempotence across executable fixtures. — Thanks @MicroProofs!
• 2cc5754f Remove unused self-recursive and mutual parameters in O1 while preserving strict argument order, forwarding dependencies, type views, and delayed worker execution. — Thanks @MicroProofs!
• a4e5edf4 Traverse diagnostic alias chains with a loop, and remove duplicate internal superclass handling while retaining public input validation. — Thanks @MicroProofs!
• ee7fd341 Run constant folding, unused-parameter removal and cleanup until unchanged without optimizer resource or output-growth limits. Evaluate all pure representable builtin calls directly and return errors instead of panicking for out-of-range constant indices and constructor tags. Correct whole-byte left shifts and handle arbitrary-size shift, rotate and list-drop inputs. — Thanks @MicroProofs!
• Updated dependencies: nash-config@0.7.0, nash-ir@0.5.1, nash-plutus@0.3.5, nash-solve@0.10.0, nash-test@0.5.0

nash-config 0.6.0 -> 0.7.0

Minor changes

• 6c40e488 Add explicit O2 compilation for build and test. O2 requires silent settings, removes user and compiler traces, and discards trace message computations even when they fail or diverge before applying the O1 optimizer. Reject compact, verbose and compiler tracing with O2. Keep O1 as the default. — Thanks @MicroProofs!
• 0e64dce4 Remove the Plutus V1 and V2 targets. Nash compiles validators against the V3 script context only, so a V1 or V2 language tag produced an invalid validator. The plutusVersion project setting, the --plutus-version option, nash_config::PlutusVersion, assemble_core_for_version, TestProgram::plutus_version and the version parameters of assemble_core_with_options and compile_tests* are gone. Script hashes always use the V3 language tag. — Thanks @MicroProofs!

nash-constrain 0.8.3 -> 0.9.0

Minor changes

• 82b2b773 Remove unused dependency bookkeeping, report and type helpers, and the unused FailureKind alias. Compilation, diagnostics, and supported editor behavior are unchanged. — Thanks @MicroProofs!

Patch changes

• a4e5edf4 Traverse diagnostic alias chains with a loop, and remove duplicate internal superclass handling while retaining public input validation. — Thanks @MicroProofs!

nash-docs 0.2.2 -> 0.2.3

Patch changes

• Updated dependencies: nash-config@0.7.0, nash-driver@0.14.0, nash-parse@0.10.0, nash-report@0.7.0

nash-driver 0.13.0 -> 0.14.0

Minor changes

• 82b2b773 Remove unused dependency bookkeeping, report and type helpers, and the unused FailureKind alias. Compilation, diagnostics, and supported editor behavior are unchanged. — Thanks @MicroProofs!
• 6c40e488 Add explicit O2 compilation for build and test. O2 requires silent settings, removes user and compiler traces, and discards trace message computations even when they fail or diverge before applying the O1 optimizer. Reject compact, verbose and compiler tracing with O2. Keep O1 as the default. — Thanks @MicroProofs!
• 0e64dce4 Remove the Plutus V1 and V2 targets. Nash compiles validators against the V3 script context only, so a V1 or V2 language tag produced an invalid validator. The plutusVersion project setting, the --plutus-version option, nash_config::PlutusVersion, assemble_core_for_version, TestProgram::plutus_version and the version parameters of assemble_core_with_options and compile_tests* are gone. Script hashes always use the V3 language tag. — Thanks @MicroProofs!
• d125a8ef Run compiler work on threads with a 128 MiB stack (nash_driver::stack) and remove the parser nesting limit of 64 with its Space::TooDeep error. Input that is too deep now ends the process with a stack overflow. — Thanks @MicroProofs!

Patch changes

• Updated dependencies: nash-codegen@0.7.0, nash-config@0.7.0, nash-constrain@0.9.0, nash-parse@0.10.0, nash-plutus@0.3.5, nash-report@0.7.0, nash-solve@0.10.0, nash-test@0.5.0

nash-fmt 0.2.0 -> 0.2.1

Patch changes

• Updated dependencies: nash-parse@0.10.0, nash-report@0.7.0

nash-ir 0.5.0 -> 0.5.1

Patch changes

• fe14e41d Enable bounded constant builtin evaluation in O1. Fold saturated literal calls through ANF bindings and repeat cleanup, preserving traces and runtime failures. Keep O0 and explicit comptime policies unchanged. — Thanks @MicroProofs!
• a357f4e4 Fuse adjacent application stages in O1, clean up generated UPLC bindings, and
  pack value application spines with native Case/Constr while preserving traces,
  failure and termination. — Thanks @MicroProofs!
• 7f0e49b1 Support read-only .fst and .snd field access and accessor functions for known builtin pair types, including aliases. Lower access directly to the pair builtins. Enable the restricted O1 pair-case rewrite only when constructor inverse cleanup removes the introduced projection, preserving strict producer evaluation. — Thanks @MicroProofs!
• f4ad45a0 Revisit static recursive parameter lifting after cleanup and recursive pruning so O1 reaches the same closed program in one invocation. Preserve atomic operands when lifting all-static oversaturated recursive calls and check optimizer idempotence across executable fixtures. — Thanks @MicroProofs!
• 2cc5754f Remove unused self-recursive and mutual parameters in O1 while preserving strict argument order, forwarding dependencies, type views, and delayed worker execution. — Thanks @MicroProofs!
• 056ee255 Restore the recursive Core traversals: walk, map, occurrence and free-variable analysis, discard checks, hygiene, ANF, beta splicing, and Core printing. — Thanks @MicroProofs!
• Updated dependencies: nash-plutus@0.3.5

nash-language-server 0.4.8 -> 0.4.9

Patch changes

• Updated dependencies: nash-driver@0.14.0, nash-report@0.7.0

nash-parse 0.9.0 -> 0.10.0

Minor changes

• d125a8ef Run compiler work on threads with a 128 MiB stack (nash_driver::stack) and remove the parser nesting limit of 64 with its Space::TooDeep error. Input that is too deep now ends the process with a stack overflow. — Thanks @MicroProofs!

nash-plutus 0.3.4 -> 0.3.5

Patch changes

• 5ee70cc4 Restore the recursive Flat term encoder and decoder. nash_test::Config gains worker_stack, and nash test runs its workers on the compiler stack. — Thanks @MicroProofs!
• f4c2c37e Restore the recursive UPLC term printer, De Bruijn conversion, and target validation. — Thanks @MicroProofs!
• 7687f06d Encode and decode negative Data integers below -(2^64 - 1) as the Haskell node does: CBOR tag 3 holds -1 - n, and -2^64 is a plain negative integer. — Thanks @MicroProofs!
• ee7fd341 Run constant folding, unused-parameter removal and cleanup until unchanged without optimizer resource or output-growth limits. Evaluate all pure representable builtin calls directly and return errors instead of panicking for out-of-range constant indices and constructor tags. Correct whole-byte left shifts and handle arbitrary-size shift, rotate and list-drop inputs. — Thanks @MicroProofs!

nash-report 0.6.0 -> 0.7.0

Minor changes

• 82b2b773 Remove unused dependency bookkeeping, report and type helpers, and the unused FailureKind alias. Compilation, diagnostics, and supported editor behavior are unchanged. — Thanks @MicroProofs!

Patch changes

• 7f0e49b1 Support read-only .fst and .snd field access and accessor functions for known builtin pair types, including aliases. Lower access directly to the pair builtins. Enable the restricted O1 pair-case rewrite only when constructor inverse cleanup removes the introduced projection, preserving strict producer evaluation. — Thanks @MicroProofs!
• d125a8ef Run compiler work on threads with a 128 MiB stack (nash_driver::stack) and remove the parser nesting limit of 64 with its Space::TooDeep error. Input that is too deep now ends the process with a stack overflow. — Thanks @MicroProofs!
• Updated dependencies: nash-constrain@0.9.0, nash-parse@0.10.0

nash-solve 0.9.2 -> 0.10.0

Minor changes

• 7f0e49b1 Support read-only .fst and .snd field access and accessor functions for known builtin pair types, including aliases. Lower access directly to the pair builtins. Enable the restricted O1 pair-case rewrite only when constructor inverse cleanup removes the introduced projection, preserving strict producer evaluation. — Thanks @MicroProofs!

Patch changes

• Updated dependencies: nash-constrain@0.9.0

nash-test 0.4.3 -> 0.5.0

Minor changes

• 5ee70cc4 Restore the recursive Flat term encoder and decoder. nash_test::Config gains worker_stack, and nash test runs its workers on the compiler stack. — Thanks @MicroProofs!
• 82b2b773 Remove unused dependency bookkeeping, report and type helpers, and the unused FailureKind alias. Compilation, diagnostics, and supported editor behavior are unchanged. — Thanks @MicroProofs!
• 0e64dce4 Remove the Plutus V1 and V2 targets. Nash compiles validators against the V3 script context only, so a V1 or V2 language tag produced an invalid validator. The plutusVersion project setting, the --plutus-version option, nash_config::PlutusVersion, assemble_core_for_version, TestProgram::plutus_version and the version parameters of assemble_core_with_options and compile_tests* are gone. Script hashes always use the V3 language tag. — Thanks @MicroProofs!

Patch changes

• Updated dependencies: nash-config@0.7.0, nash-plutus@0.3.5