anoma · lukaszcz · Dec 20, 2024 · Dec 19, 2024 · Dec 19, 2024 · Dec 20, 2024
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,6 +4,71 @@
 <img align="right" width="300" height="300" alt="Juvix Mascot" src="../assets/images/tara-smiling.svg" />
 </a>
 
+## [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)

diff --git a/juvix-stdlib b/juvix-stdlib
diff --git a/package.yaml b/package.yaml
@@ -1,5 +1,5 @@
 name: juvix
-version: 0.6.8
+version: 0.6.9
 license: GPL-3.0-only
 license-file: LICENSE.md
 copyright: (c) 2022- Heliax AG.

diff --git a/tests/smoke/Commands/version-help-doctor.smoke.yaml b/tests/smoke/Commands/version-help-doctor.smoke.yaml
@@ -7,7 +7,7 @@ tests:
     stdout:
       matches:
         regex: |-
-          ^Juvix version 0.6.8-([a-f0-9]{7}).*
+          ^Juvix version 0.6.9-([a-f0-9]{7}).*
 
   - name: cli-numeric-version
     command:
+2 −5		test/Package.juvix
+4 −1		test/Test/AVL.juvix
+25 −0		test/juvix.lock.yaml