From 4ab201f1ac52a564f22f46e50e7b6a088c5e85f7 Mon Sep 17 00:00:00 2001 From: Paul Cadman Date: Fri, 23 Jun 2023 12:39:27 +0100 Subject: [PATCH] Bump version to 0.4.1 and update CHANGELOG (#2225) This PR prepares the 0.4.1 release. * Bump version in package.yaml * Update version smoke test * Updates CHANGELOG NB: The links in the changelog will not work until we create the release tag. --- CHANGELOG.md | 32 +++++++++++++++++++ package.yaml | 2 +- .../Commands/version-help-doctor.smoke.yaml | 2 +- 3 files changed, 34 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index cb99dcec4f..b84c5617bd 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,6 +4,38 @@ Juvix Mascot +## [v0.4.1](https://github.com/anoma/juvix/tree/v0.4.1) (2023-06-23) + +[Full Changelog](https://github.com/anoma/juvix/compare/v0.4.0...v0.4.1) + +**Implemented enhancements:** + +- The `public` pragma [\#2223](https://github.com/anoma/juvix/pull/2223) ([lukaszcz](https://github.com/lukaszcz)) +- Local pragmas [\#2222](https://github.com/anoma/juvix/pull/2222) ([lukaszcz](https://github.com/lukaszcz)) +- Lifting calls out of cases for the VampIR backend [\#2218](https://github.com/anoma/juvix/pull/2218) ([lukaszcz](https://github.com/lukaszcz)) +- Use equality instead of less-equal when translating matching on Nats [\#2215](https://github.com/anoma/juvix/pull/2215) ([lukaszcz](https://github.com/lukaszcz)) +- Support juvix format with no argument to format a project [\#2208](https://github.com/anoma/juvix/pull/2208) ([paulcadman](https://github.com/paulcadman)) +- Always print source of formatted file unless --check is specified [\#2205](https://github.com/anoma/juvix/pull/2205) ([paulcadman](https://github.com/paulcadman)) +- Improve iterator formatting and syntax [\#2204](https://github.com/anoma/juvix/pull/2204) ([lukaszcz](https://github.com/lukaszcz)) +- Restrict permutative conversions on cases to non-booleans [\#2201](https://github.com/anoma/juvix/pull/2201) ([lukaszcz](https://github.com/lukaszcz)) + +**Merged pull requests:** + +- Build and cache smoke binary keyed using icu4c version [\#2221](https://github.com/anoma/juvix/pull/2221) ([paulcadman](https://github.com/paulcadman)) +- Switch to Halo2 for VampIR backend tests [\#2216](https://github.com/anoma/juvix/pull/2216) ([lukaszcz](https://github.com/lukaszcz)) +- Remove Subtree sections, all collapse all button [\#2213](https://github.com/anoma/juvix/pull/2213) ([vrom911](https://github.com/vrom911)) +- Fix `isNegative` in the VampIR runtime [\#2212](https://github.com/anoma/juvix/pull/2212) ([lukaszcz](https://github.com/lukaszcz)) +- Use juvix-installer in CodeSpaces, install vamp-ir [\#2210](https://github.com/anoma/juvix/pull/2210) ([vrom911](https://github.com/vrom911)) +- Move termination checker to Internal [\#2209](https://github.com/anoma/juvix/pull/2209) ([janmasrovira](https://github.com/janmasrovira)) +- Propogate formatter results when traversing subdirs [\#2207](https://github.com/anoma/juvix/pull/2207) ([paulcadman](https://github.com/paulcadman)) +- Update vamp-ir CI installation [\#2199](https://github.com/anoma/juvix/pull/2199) ([jonaprieto](https://github.com/jonaprieto)) +- More tests for the VampIR compilation pipeline [\#2197](https://github.com/anoma/juvix/pull/2197) ([lukaszcz](https://github.com/lukaszcz)) +- Fix runtime C maybe benchmark example [\#2195](https://github.com/anoma/juvix/pull/2195) ([paulcadman](https://github.com/paulcadman)) +- Refactor isValidChar [\#2194](https://github.com/anoma/juvix/pull/2194) ([jonaprieto](https://github.com/jonaprieto)) +- Check valid argument names in YAML [\#2193](https://github.com/anoma/juvix/pull/2193) ([lukaszcz](https://github.com/lukaszcz)) +- Fix benchmark runtime C examples [\#2192](https://github.com/anoma/juvix/pull/2192) ([paulcadman](https://github.com/paulcadman)) +- Update to the new version of VampIR [\#2138](https://github.com/anoma/juvix/pull/2138) ([lukaszcz](https://github.com/lukaszcz)) + ## [v0.4.0 - Prague!](https://github.com/anoma/juvix/tree/v0.4.0) (2023-06-02) [Full Changelog](https://github.com/anoma/juvix/compare/v0.3.5...v0.4.0) diff --git a/package.yaml b/package.yaml index 60e1265823..ef31dbda3e 100644 --- a/package.yaml +++ b/package.yaml @@ -1,5 +1,5 @@ name: juvix -version: 0.4.0 +version: 0.4.1 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 index 4a6073bfaa..33a435bcab 100644 --- 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.4.0-([a-f0-9]{7}).* + ^Juvix version 0.4.1-([a-f0-9]{7}).* - name: cli-numeric-version command: