Release (main)

[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-ast 0.7.1 -> 0.8.0

Minor changes

• fb37ab1 Canonicalize and type-check assertions, aborts, traces, and compile-time expressions while preserving source locations, dependency tracking, solved node types, and pattern coverage checks. — Thanks @MicroProofs!

nash-can 0.7.0 -> 0.8.0

Minor changes

• 1650217 Add validator entry-point diagnostics and build solved modules into Plutus V3 scripts with nash build output in UPLC, Flat, and single-wrapped CBOR formats. — Thanks @MicroProofs!
• fb37ab1 Canonicalize and type-check assertions, aborts, traces, and compile-time expressions while preserving source locations, dependency tracking, solved node types, and pattern coverage checks. — Thanks @MicroProofs!

Patch changes

• 3cb7a0f Preserve miette diagnostic codes and error/warning markers in terminal output. Show source paths relative to the project root while keeping file hyperlinks absolute.

  Expand colorless rendered diagnostic snapshot coverage across parser, canonicalizer, solver, driver, and CLI tests. Record Nash source instead of Rust assertion expressions in source-driven snapshots, move codegen snapshots to source-compilation tests, and check snapshot metadata for regressions. Keep direct assertions for internal error values and hand-built Core behavior. — Thanks @MicroProofs!

• Updated dependencies: nash-ast@0.8.0, nash-can@0.8.0, nash-parse@0.6.1, nash-report@0.4.0

nash-cli 0.4.0 -> 0.5.0

Minor changes

• 1650217 Add validator entry-point diagnostics and build solved modules into Plutus V3 scripts with nash build output in UPLC, Flat, and single-wrapped CBOR formats. — Thanks @MicroProofs!

Patch changes

• 6a9afd5 Display diagnostic source paths relative to the loaded workspace or package root, with absolute file hyperlinks on supported terminals, including related diagnostics. Preserve miette diagnostic-code headers and severity markers, and retain absolute source identities for JSON and editor clients. — Thanks @MicroProofs!

• 3cb7a0f Preserve miette diagnostic codes and error/warning markers in terminal output. Show source paths relative to the project root while keeping file hyperlinks absolute.

  Expand colorless rendered diagnostic snapshot coverage across parser, canonicalizer, solver, driver, and CLI tests. Record Nash source instead of Rust assertion expressions in source-driven snapshots, move codegen snapshots to source-compilation tests, and check snapshot metadata for regressions. Keep direct assertions for internal error values and hand-built Core behavior. — Thanks @MicroProofs!

• Updated dependencies: nash-codegen@0.2.0, nash-driver@0.7.0, nash-language-server@0.4.1, nash-report@0.4.0

nash-codegen 0.1.0 -> 0.2.0

Minor changes

• ca0a5ee Compile reachable solved definitions with static trait specialization, scoped field-access sharing, checked program assembly, and bounded comptime evaluation. Add exhaustive Core traversal helpers, single-wrapped CBOR encoding, and executable Vesting budget baselines. — Thanks @MicroProofs!
• 9440314 Add Core IR with explicit representations, UPLC text printing and checked DeBruijn conversion, executable structural lowering, recursion rewriting, complete builtin mapping, and lazy canonical type conversion for code generation. Add checked Data casts, shared pattern decision trees, evidence normalization, layout-demand analysis, and a driver callback retaining solved build state. — Thanks @MicroProofs!

Patch changes

• 3cb7a0f Preserve miette diagnostic codes and error/warning markers in terminal output. Show source paths relative to the project root while keeping file hyperlinks absolute.

  Expand colorless rendered diagnostic snapshot coverage across parser, canonicalizer, solver, driver, and CLI tests. Record Nash source instead of Rust assertion expressions in source-driven snapshots, move codegen snapshots to source-compilation tests, and check snapshot metadata for regressions. Keep direct assertions for internal error values and hand-built Core behavior. — Thanks @MicroProofs!

• Updated dependencies: nash-ast@0.8.0, nash-can@0.8.0, nash-constrain@0.6.0, nash-ir@0.2.0, nash-nitpick@0.2.2, nash-parse@0.6.1, nash-plutus@0.2.0, nash-solve@0.6.0

nash-constrain 0.5.0 -> 0.6.0

Minor changes

• 1650217 Add validator entry-point diagnostics and build solved modules into Plutus V3 scripts with nash build output in UPLC, Flat, and single-wrapped CBOR formats. — Thanks @MicroProofs!

Patch changes

• 3cb7a0f Preserve miette diagnostic codes and error/warning markers in terminal output. Show source paths relative to the project root while keeping file hyperlinks absolute.

  Expand colorless rendered diagnostic snapshot coverage across parser, canonicalizer, solver, driver, and CLI tests. Record Nash source instead of Rust assertion expressions in source-driven snapshots, move codegen snapshots to source-compilation tests, and check snapshot metadata for regressions. Keep direct assertions for internal error values and hand-built Core behavior. — Thanks @MicroProofs!

• Updated dependencies: nash-ast@0.8.0, nash-can@0.8.0

nash-driver 0.6.0 -> 0.7.0

Minor changes

• 1650217 Add validator entry-point diagnostics and build solved modules into Plutus V3 scripts with nash build output in UPLC, Flat, and single-wrapped CBOR formats. — Thanks @MicroProofs!
• 9440314 Add Core IR with explicit representations, UPLC text printing and checked DeBruijn conversion, executable structural lowering, recursion rewriting, complete builtin mapping, and lazy canonical type conversion for code generation. Add checked Data casts, shared pattern decision trees, evidence normalization, layout-demand analysis, and a driver callback retaining solved build state. — Thanks @MicroProofs!

Patch changes

• 3cb7a0f Preserve miette diagnostic codes and error/warning markers in terminal output. Show source paths relative to the project root while keeping file hyperlinks absolute.

  Expand colorless rendered diagnostic snapshot coverage across parser, canonicalizer, solver, driver, and CLI tests. Record Nash source instead of Rust assertion expressions in source-driven snapshots, move codegen snapshots to source-compilation tests, and check snapshot metadata for regressions. Keep direct assertions for internal error values and hand-built Core behavior. — Thanks @MicroProofs!

• Updated dependencies: nash-ast@0.8.0, nash-can@0.8.0, nash-codegen@0.2.0, nash-constrain@0.6.0, nash-nitpick@0.2.2, nash-parse@0.6.1, nash-plutus@0.2.0, nash-report@0.4.0, nash-solve@0.6.0

nash-ir 0.1.0 -> 0.2.0

Minor changes

• ca0a5ee Compile reachable solved definitions with static trait specialization, scoped field-access sharing, checked program assembly, and bounded comptime evaluation. Add exhaustive Core traversal helpers, single-wrapped CBOR encoding, and executable Vesting budget baselines. — Thanks @MicroProofs!
• 9440314 Add Core IR with explicit representations, UPLC text printing and checked DeBruijn conversion, executable structural lowering, recursion rewriting, complete builtin mapping, and lazy canonical type conversion for code generation. Add checked Data casts, shared pattern decision trees, evidence normalization, layout-demand analysis, and a driver callback retaining solved build state. — Thanks @MicroProofs!

Patch changes

• Updated dependencies: nash-ast@0.8.0, nash-plutus@0.2.0

nash-language-server 0.4.0 -> 0.4.1

Patch changes

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

nash-nitpick 0.2.1 -> 0.2.2

Patch changes

• fb37ab1 Canonicalize and type-check assertions, aborts, traces, and compile-time expressions while preserving source locations, dependency tracking, solved node types, and pattern coverage checks. — Thanks @MicroProofs!
• Updated dependencies: nash-ast@0.8.0

nash-parse 0.6.0 -> 0.6.1

Patch changes

• 3cb7a0f Preserve miette diagnostic codes and error/warning markers in terminal output. Show source paths relative to the project root while keeping file hyperlinks absolute.

  Expand colorless rendered diagnostic snapshot coverage across parser, canonicalizer, solver, driver, and CLI tests. Record Nash source instead of Rust assertion expressions in source-driven snapshots, move codegen snapshots to source-compilation tests, and check snapshot metadata for regressions. Keep direct assertions for internal error values and hand-built Core behavior. — Thanks @MicroProofs!

• Updated dependencies: nash-parse@0.6.1, nash-report@0.4.0

nash-plutus 0.1.0 -> 0.2.0

Minor changes

• ca0a5ee Compile reachable solved definitions with static trait specialization, scoped field-access sharing, checked program assembly, and bounded comptime evaluation. Add exhaustive Core traversal helpers, single-wrapped CBOR encoding, and executable Vesting budget baselines. — Thanks @MicroProofs!
• 9440314 Add Core IR with explicit representations, UPLC text printing and checked DeBruijn conversion, executable structural lowering, recursion rewriting, complete builtin mapping, and lazy canonical type conversion for code generation. Add checked Data casts, shared pattern decision trees, evidence normalization, layout-demand analysis, and a driver callback retaining solved build state. — Thanks @MicroProofs!

nash-report 0.3.0 -> 0.4.0

Minor changes

• 1650217 Add validator entry-point diagnostics and build solved modules into Plutus V3 scripts with nash build output in UPLC, Flat, and single-wrapped CBOR formats. — Thanks @MicroProofs!

Patch changes

• 6a9afd5 Display diagnostic source paths relative to the loaded workspace or package root, with absolute file hyperlinks on supported terminals, including related diagnostics. Preserve miette diagnostic-code headers and severity markers, and retain absolute source identities for JSON and editor clients. — Thanks @MicroProofs!

• 3cb7a0f Preserve miette diagnostic codes and error/warning markers in terminal output. Show source paths relative to the project root while keeping file hyperlinks absolute.

  Expand colorless rendered diagnostic snapshot coverage across parser, canonicalizer, solver, driver, and CLI tests. Record Nash source instead of Rust assertion expressions in source-driven snapshots, move codegen snapshots to source-compilation tests, and check snapshot metadata for regressions. Keep direct assertions for internal error values and hand-built Core behavior. — Thanks @MicroProofs!

• Updated dependencies: nash-ast@0.8.0, nash-can@0.8.0, nash-constrain@0.6.0, nash-nitpick@0.2.2, nash-parse@0.6.1, nash-solve@0.6.0

nash-solve 0.5.0 -> 0.6.0

Minor changes

• fb37ab1 Canonicalize and type-check assertions, aborts, traces, and compile-time expressions while preserving source locations, dependency tracking, solved node types, and pattern coverage checks. — Thanks @MicroProofs!
• c064513 Publish solved types for every canonical expression and pattern in the owning scheme's type-variable scope for code generation. — Thanks @MicroProofs!

Patch changes

• 3cb7a0f Preserve miette diagnostic codes and error/warning markers in terminal output. Show source paths relative to the project root while keeping file hyperlinks absolute.

  Expand colorless rendered diagnostic snapshot coverage across parser, canonicalizer, solver, driver, and CLI tests. Record Nash source instead of Rust assertion expressions in source-driven snapshots, move codegen snapshots to source-compilation tests, and check snapshot metadata for regressions. Keep direct assertions for internal error values and hand-built Core behavior. — Thanks @MicroProofs!

• Updated dependencies: nash-ast@0.8.0, nash-can@0.8.0, nash-constrain@0.6.0, nash-parse@0.6.1, nash-report@0.4.0