diff --git a/CHANGELOG.md b/CHANGELOG.md index 73c4bd96bb..7382b16e93 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,6 +4,71 @@ Juvix Mascot +## [v0.6.9](https://github.com/anoma/juvix/tree/v0.6.9) (2024-12-20) + +[Full Changelog](https://github.com/anoma/juvix/compare/v0.6.8...v0.6.9) + +**Merged pull requests:** + +- Add merged pull requests for 0.6.{7,8} to CHANGELOG [\#3167](https://github.com/anoma/juvix/pull/3167) ([paulcadman](https://github.com/paulcadman)) +- Fix bug in `ComputeTypeInfo` for let [\#3158](https://github.com/anoma/juvix/pull/3158) ([janmasrovira](https://github.com/janmasrovira)) +- Nockma mode [\#3163](https://github.com/anoma/juvix/pull/3163) ([janmasrovira](https://github.com/janmasrovira)) +- Use tagged version of ghc-musl in static linux build [\#3170](https://github.com/anoma/juvix/pull/3170) ([paulcadman](https://github.com/paulcadman)) +- Launch the Anoma node and client from the elixir REPL [\#3172](https://github.com/anoma/juvix/pull/3172) ([paulcadman](https://github.com/paulcadman)) +- Fix nock compilation and builtin evaluation of sha256 stdilb [\#3175](https://github.com/anoma/juvix/pull/3175) ([paulcadman](https://github.com/paulcadman)) +- Fix compiler error on import cycles [\#3171](https://github.com/anoma/juvix/pull/3171) ([janmasrovira](https://github.com/janmasrovira)) +- Detect termination for nested local definitions [\#3169](https://github.com/anoma/juvix/pull/3169) ([lukaszcz](https://github.com/lukaszcz)) +- Named arguments for record projections [\#3173](https://github.com/anoma/juvix/pull/3173) ([lukaszcz](https://github.com/lukaszcz)) +- Fix long opts for nockma encode from/to [\#3177](https://github.com/anoma/juvix/pull/3177) ([paulcadman](https://github.com/paulcadman)) +- Remove `GetAnomaProcess` from the Anoma effect [\#3179](https://github.com/anoma/juvix/pull/3179) ([paulcadman](https://github.com/paulcadman)) +- HTML generation: make the light theme lighter [\#3168](https://github.com/anoma/juvix/pull/3168) ([lukaszcz](https://github.com/lukaszcz)) +- Support running nockma code with a running Anoma client [\#3180](https://github.com/anoma/juvix/pull/3180) ([paulcadman](https://github.com/paulcadman)) +- Unify type signature declaration syntax [\#3178](https://github.com/anoma/juvix/pull/3178) ([lukaszcz](https://github.com/lukaszcz)) +- Set std_in to NoStream on the Anoma client process [\#3182](https://github.com/anoma/juvix/pull/3182) ([paulcadman](https://github.com/paulcadman)) +- Add deriving for Eq [\#3176](https://github.com/anoma/juvix/pull/3176) ([janmasrovira](https://github.com/janmasrovira)) +- Add `juvix dev anoma {start, stop, status}` to manage an Anoma client [\#3183](https://github.com/anoma/juvix/pull/3183) ([paulcadman](https://github.com/paulcadman)) +- Allow pattern-matching in variable definitions [\#3181](https://github.com/anoma/juvix/pull/3181) ([lukaszcz](https://github.com/lukaszcz)) +- Add `juvix dev anoma prove` [\#3187](https://github.com/anoma/juvix/pull/3187) ([paulcadman](https://github.com/paulcadman)) +- Update Anoma client to `testnet-v1` release [\#3190](https://github.com/anoma/juvix/pull/3190) ([paulcadman](https://github.com/paulcadman)) +- Improve generated code for derived instances [\#3189](https://github.com/anoma/juvix/pull/3189) ([lukaszcz](https://github.com/lukaszcz)) +- Deriving `Ord` [\#3184](https://github.com/anoma/juvix/pull/3184) ([janmasrovira](https://github.com/janmasrovira)) +- Add a new Anoma compile test mode 'AnomaTestModeNodeOnly' [\#3196](https://github.com/anoma/juvix/pull/3196) ([paulcadman](https://github.com/paulcadman)) +- Formatter improvements [\#3194](https://github.com/anoma/juvix/pull/3194) ([janmasrovira](https://github.com/janmasrovira)) +- Allow punning in record updates [\#3125](https://github.com/anoma/juvix/pull/3125) ([janmasrovira](https://github.com/janmasrovira)) +- Fix function clause printing [\#3199](https://github.com/anoma/juvix/pull/3199) ([janmasrovira](https://github.com/janmasrovira)) +- Fix `juvix clean --global` [\#3200](https://github.com/anoma/juvix/pull/3200) ([lukaszcz](https://github.com/lukaszcz)) +- Add `juvix dev anoma add-transaction` command [\#3193](https://github.com/anoma/juvix/pull/3193) ([paulcadman](https://github.com/paulcadman)) +- Fix aliases to non-recursive names [\#3203](https://github.com/anoma/juvix/pull/3203) ([lukaszcz](https://github.com/lukaszcz)) +- Make FunctionLhs a field of FunctionDef [\#3202](https://github.com/anoma/juvix/pull/3202) ([janmasrovira](https://github.com/janmasrovira)) +- Fix disappearing judoc in syntax declarations [\#3205](https://github.com/anoma/juvix/pull/3205) ([lukaszcz](https://github.com/lukaszcz)) +- Detect empty standard library directory [\#3207](https://github.com/anoma/juvix/pull/3207) ([lukaszcz](https://github.com/lukaszcz)) +- Enable Anoma compilation resource machine builtin tests [\#3208](https://github.com/anoma/juvix/pull/3208) ([paulcadman](https://github.com/paulcadman)) +- Fix Anoma in the CI [\#3213](https://github.com/anoma/juvix/pull/3213) ([lukaszcz](https://github.com/lukaszcz)) +- Make `juvix init` non-interactive by default [\#3206](https://github.com/anoma/juvix/pull/3206) ([lukaszcz](https://github.com/lukaszcz)) +- Fix iterator formatting [\#3212](https://github.com/anoma/juvix/pull/3212) ([lukaszcz](https://github.com/lukaszcz)) +- Hoisting of loop-invariant subexpressions [\#3195](https://github.com/anoma/juvix/pull/3195) ([lukaszcz](https://github.com/lukaszcz)) +- Merge `Log` effect into `Logger` effect [\#3220](https://github.com/anoma/juvix/pull/3220) ([janmasrovira](https://github.com/janmasrovira)) +- Inline non-recursive functions with only one call site [\#3204](https://github.com/anoma/juvix/pull/3204) ([lukaszcz](https://github.com/lukaszcz)) +- Global option `--no-check` [\#3224](https://github.com/anoma/juvix/pull/3224) ([lukaszcz](https://github.com/lukaszcz)) +- Remove `@?` [\#3216](https://github.com/anoma/juvix/pull/3216) ([lukaszcz](https://github.com/lukaszcz)) +- Fix RISC0 CI [\#3233](https://github.com/anoma/juvix/pull/3233) ([lukaszcz](https://github.com/lukaszcz)) +- anoma start should start the consensus engine [\#3229](https://github.com/anoma/juvix/pull/3229) ([paulcadman](https://github.com/paulcadman)) +- Append unique hash to the pre-release tag in the Package.juvix version [\#3215](https://github.com/anoma/juvix/pull/3215) ([janmasrovira](https://github.com/janmasrovira)) +- Update anoma ref to latest lukasz/juvix-integration-tracking [\#3227](https://github.com/anoma/juvix/pull/3227) ([paulcadman](https://github.com/paulcadman)) +- Format Package.juvix when formatting project [\#3219](https://github.com/anoma/juvix/pull/3219) ([janmasrovira](https://github.com/janmasrovira)) +- Debug tooling improvements for Reg and CASM [\#3232](https://github.com/anoma/juvix/pull/3232) ([lukaszcz](https://github.com/lukaszcz)) +- Fix basic block calls in the Reg -> CASM translation [\#3238](https://github.com/anoma/juvix/pull/3238) ([lukaszcz](https://github.com/lukaszcz)) +- Add `TopDef` property for specs [\#3223](https://github.com/anoma/juvix/pull/3223) ([janmasrovira](https://github.com/janmasrovira)) +- Fix highlighting of comments [\#3226](https://github.com/anoma/juvix/pull/3226) ([janmasrovira](https://github.com/janmasrovira)) +- Fix printing of indented block comments [\#3225](https://github.com/anoma/juvix/pull/3225) ([janmasrovira](https://github.com/janmasrovira)) +- Add RPC call and dev command for Anoma.Protobuf.IndexerService.ListUnrevealedCommits [\#3239](https://github.com/anoma/juvix/pull/3239) ([paulcadman](https://github.com/paulcadman)) +- Add support for Anoma RM is-commitment and is-nullifier [\#3242](https://github.com/anoma/juvix/pull/3242) ([paulcadman](https://github.com/paulcadman)) +- Update Juvix Cairo VM [\#3249](https://github.com/anoma/juvix/pull/3249) ([lukaszcz](https://github.com/lukaszcz)) +- Allow module self-reference [\#3240](https://github.com/anoma/juvix/pull/3240) ([lukaszcz](https://github.com/lukaszcz)) +- Make top-level definitions mutually recursive [\#3250](https://github.com/anoma/juvix/pull/3250) ([lukaszcz](https://github.com/lukaszcz)) +- Fix node scanning for ImportTree [\#3251](https://github.com/anoma/juvix/pull/3251) ([janmasrovira](https://github.com/janmasrovira)) +- The args file to the prove CLI must now be textual nock term [\#3253](https://github.com/anoma/juvix/pull/3253) ([paulcadman](https://github.com/paulcadman)) + ## [v0.6.8](https://github.com/anoma/juvix/tree/v0.6.8) (2024-11-11) [Full Changelog](https://github.com/anoma/juvix/compare/v0.6.7...v0.6.8)