From 23b0e86cd22bae32694f15ebca07a38013e5aa61 Mon Sep 17 00:00:00 2001 From: Danila Danko Date: Sat, 28 Dec 2024 14:26:45 +0300 Subject: [PATCH 1/3] feat(eo-phi-normalizer): add changelog section for v3.0.0 --- eo-phi-normalizer/CHANGELOG.md | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/eo-phi-normalizer/CHANGELOG.md b/eo-phi-normalizer/CHANGELOG.md index 511adeba2..6a5bfcd0a 100644 --- a/eo-phi-normalizer/CHANGELOG.md +++ b/eo-phi-normalizer/CHANGELOG.md @@ -6,6 +6,25 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/), and this project adheres to the [Haskell Package Versioning Policy](https://pvp.haskell.org/). +## v3.0.0 - 2024-12-28 + +### Breaking changes + +- Switch to built-in rules until `new.yaml` rules work ([#619](https://github.com/objectionary/eo-phi-normalizer/pull/619)) +- Update EO to 0.50.0, use `yegor.yaml` by default ([#617](https://github.com/objectionary/eo-phi-normalizer/pull/617), [#641](https://github.com/objectionary/eo-phi-normalizer/pull/641)) + +### Changes and fixes + +- Rename `Normal form` to `NF` ([#627](https://github.com/objectionary/eo-phi-normalizer/pull/627)) +- Run CI on PRs to `develop` ([#638](https://github.com/objectionary/eo-phi-normalizer/pull/638)) +- Sort options in command help messages ([#642](https://github.com/objectionary/eo-phi-normalizer/pull/642)) + +### Documentation and maintenance + +- Add quick start to the README ([#632](https://github.com/objectionary/eo-phi-normalizer/pull/632)) +- Remove the description of dataization ([#635](https://github.com/objectionary/eo-phi-normalizer/pull/635)) +- chore(deps): update baptiste0928/cargo-install action to v3.2.0 ([#640](https://github.com/objectionary/eo-phi-normalizer/pull/640)) + ## v2.3.0 - 2024-12-05 ### Breaking changes From e1ca96002cc60b77820e0e5aa63652e1d0ed5f43 Mon Sep 17 00:00:00 2001 From: Danila Danko Date: Sat, 28 Dec 2024 14:27:40 +0300 Subject: [PATCH 2/3] chore(eo-phi-normalizer): bump version 2.3.0 -> 3.0.0 --- eo-phi-normalizer/eo-phi-normalizer.cabal | 40 +---------------------- eo-phi-normalizer/package.yaml | 2 +- 2 files changed, 2 insertions(+), 40 deletions(-) diff --git a/eo-phi-normalizer/eo-phi-normalizer.cabal b/eo-phi-normalizer/eo-phi-normalizer.cabal index 335b8ffad..b47fe0c17 100644 --- a/eo-phi-normalizer/eo-phi-normalizer.cabal +++ b/eo-phi-normalizer/eo-phi-normalizer.cabal @@ -5,7 +5,7 @@ cabal-version: 1.24 -- see: https://github.com/sol/hpack name: eo-phi-normalizer -version: 2.3.0 +version: 3.0.0 synopsis: Command line normalizer of 𝜑-calculus expressions. description: Please see the README on GitHub at homepage: https://github.com/objectionary/eo-phi-normalizer#readme @@ -371,62 +371,24 @@ extra-source-files: data/0.49.4/org/eolang/while.phi data/0.50.0/dependencies.md data/0.50.0/org/eolang/bytes.phi - data/0.50.0/org/eolang/cti.phi data/0.50.0/org/eolang/dataized.phi data/0.50.0/org/eolang/error.phi data/0.50.0/org/eolang/false.phi - data/0.50.0/org/eolang/fs/dir.phi - data/0.50.0/org/eolang/fs/file.phi - data/0.50.0/org/eolang/fs/path.phi - data/0.50.0/org/eolang/fs/tmpdir.phi - data/0.50.0/org/eolang/go.phi data/0.50.0/org/eolang/i16.phi data/0.50.0/org/eolang/i32.phi data/0.50.0/org/eolang/i64.phi - data/0.50.0/org/eolang/io/bytes-as-input.phi - data/0.50.0/org/eolang/io/console.phi data/0.50.0/org/eolang/io/dead-input.phi data/0.50.0/org/eolang/io/dead-output.phi - data/0.50.0/org/eolang/io/input-length.phi - data/0.50.0/org/eolang/io/malloc-as-output.phi - data/0.50.0/org/eolang/io/stdin.phi - data/0.50.0/org/eolang/io/stdout.phi - data/0.50.0/org/eolang/io/tee-input.phi - data/0.50.0/org/eolang/malloc.phi - data/0.50.0/org/eolang/math/angle.phi - data/0.50.0/org/eolang/math/e.phi - data/0.50.0/org/eolang/math/integral.phi - data/0.50.0/org/eolang/math/numbers.phi - data/0.50.0/org/eolang/math/pi.phi - data/0.50.0/org/eolang/math/random.phi - data/0.50.0/org/eolang/math/real.phi data/0.50.0/org/eolang/nan.phi data/0.50.0/org/eolang/negative-infinity.phi - data/0.50.0/org/eolang/net/socket.phi data/0.50.0/org/eolang/number.phi data/0.50.0/org/eolang/positive-infinity.phi data/0.50.0/org/eolang/seq.phi data/0.50.0/org/eolang/string.phi - data/0.50.0/org/eolang/structs/bytes-as-array.phi - data/0.50.0/org/eolang/structs/hash-code-of.phi - data/0.50.0/org/eolang/structs/list.phi - data/0.50.0/org/eolang/structs/map.phi - data/0.50.0/org/eolang/structs/range-of-ints.phi - data/0.50.0/org/eolang/structs/range.phi - data/0.50.0/org/eolang/structs/set.phi - data/0.50.0/org/eolang/switch.phi - data/0.50.0/org/eolang/sys/getenv.phi - data/0.50.0/org/eolang/sys/line-separator.phi - data/0.50.0/org/eolang/sys/os.phi - data/0.50.0/org/eolang/sys/posix.phi - data/0.50.0/org/eolang/sys/win32.phi data/0.50.0/org/eolang/true.phi data/0.50.0/org/eolang/try.phi data/0.50.0/org/eolang/tuple.phi - data/0.50.0/org/eolang/txt/regex.phi data/0.50.0/org/eolang/txt/sprintf.phi - data/0.50.0/org/eolang/txt/sscanf.phi - data/0.50.0/org/eolang/txt/text.phi data/0.50.0/org/eolang/while.phi test/eo/phi/rules/new.yaml test/eo/phi/rules/streams.yaml diff --git a/eo-phi-normalizer/package.yaml b/eo-phi-normalizer/package.yaml index bc390057b..c906ba9fe 100644 --- a/eo-phi-normalizer/package.yaml +++ b/eo-phi-normalizer/package.yaml @@ -22,7 +22,7 @@ name: eo-phi-normalizer synopsis: "Command line normalizer of 𝜑-calculus expressions." -version: 2.3.0 +version: 3.0.0 github: "objectionary/eo-phi-normalizer" license: BSD3 author: "EO/Polystat Development Team" From c4531b7724929721ff2b6f3d8fa9b4d4c06597d9 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Sat, 28 Dec 2024 11:36:23 +0000 Subject: [PATCH 3/3] chore(ci): Update Markdown files --- site/docs/src/installation.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/site/docs/src/installation.md b/site/docs/src/installation.md index 86734102a..38ac8d1d3 100644 --- a/site/docs/src/installation.md +++ b/site/docs/src/installation.md @@ -32,7 +32,7 @@ Use the necessary version in the `stack install` command. ```sh stack update export LC_ALL=C.UTF-8 -stack install --resolver lts-22.16 eo-phi-normalizer-2.3.0 +stack install --resolver lts-22.16 eo-phi-normalizer-3.0.0 ``` ## Update `eo-phi-normalizer`