From e9e52420324cb69f2f1b9015fc6e9a777121d980 Mon Sep 17 00:00:00 2001 From: Danila Danko Date: Mon, 3 Jun 2024 19:53:30 +0300 Subject: [PATCH 1/3] feat(changelog): add notes for 0.4.0 --- eo-phi-normalizer/CHANGELOG.md | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/eo-phi-normalizer/CHANGELOG.md b/eo-phi-normalizer/CHANGELOG.md index 1109d781..9dabf2cf 100644 --- a/eo-phi-normalizer/CHANGELOG.md +++ b/eo-phi-normalizer/CHANGELOG.md @@ -6,6 +6,34 @@ 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/). +## v0.4.0 — 2024-06-03 + +This version supports fast dataization with built-in rules and improves metrics with both built-in and Yegor's rules. + +New: + +- Add built-in rules +- Add more built-in dataization functions ([#291](https://github.com/objectionary/normalizer/pull/291)) +- Support LaTeX format in output ([#308](https://github.com/objectionary/normalizer/pull/308)) +- Speed up pipeline by caching EO compilation results ([#340](https://github.com/objectionary/normalizer/pull/340)) +- Write generated PHI files as eo-phi-normalizer data files ([#286](https://github.com/objectionary/normalizer/pull/286)) +- Update and commit docs in CI ([#286](https://github.com/objectionary/normalizer/pull/286)) + +Changes and fixes: + +- Switch to EO 0.38.0 ([#335](https://github.com/objectionary/normalizer/pull/335)) +- Remove VTX and Sigma ([#335](https://github.com/objectionary/normalizer/pull/335)) +- Fix normalization and dataization rules w.r.t. xi and rho (see [#297](https://github.com/objectionary/normalizer/pull/297)) +- Fix confluence tests ([#319](https://github.com/objectionary/normalizer/pull/319)) +- Fix pipeline tests ([#338](https://github.com/objectionary/normalizer/pull/338)) +- Integrate `transform-eo-tests` into normalizer ([#365](https://github.com/objectionary/normalizer/pull/365)) +- Switch to GHC 9.6.4 ([#263](https://github.com/objectionary/normalizer/pull/263)) + +Documentation and maintenance: + +- Add the `Quick Start` page ([#317](https://github.com/objectionary/normalizer/pull/317)) +- Add the `Pipeline` page ([#261](https://github.com/objectionary/normalizer/pull/261)) + ## v0.3.1 — 2024-04-12 This version supports proper dataization of test programs with dependencies. From 3bc485512555084f95043f04357ce0cc93cd600f Mon Sep 17 00:00:00 2001 From: Danila Danko <48378098+deemp@users.noreply.github.com> Date: Tue, 4 Jun 2024 12:58:25 +0300 Subject: [PATCH 2/3] fix(changelog): use more precise wording Co-authored-by: Nikolai Kudasov --- eo-phi-normalizer/CHANGELOG.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/eo-phi-normalizer/CHANGELOG.md b/eo-phi-normalizer/CHANGELOG.md index 9dabf2cf..893f5541 100644 --- a/eo-phi-normalizer/CHANGELOG.md +++ b/eo-phi-normalizer/CHANGELOG.md @@ -8,7 +8,7 @@ and this project adheres to the ## v0.4.0 — 2024-06-03 -This version supports fast dataization with built-in rules and improves metrics with both built-in and Yegor's rules. +This version supports fast dataization with built-in rules and improves metrics with both built-in and user-defined rules (via YAML). New: From 83e70beb429ccdb39f10680a1914199beec4d61f Mon Sep 17 00:00:00 2001 From: Danila Danko Date: Tue, 4 Jun 2024 13:29:21 +0300 Subject: [PATCH 3/3] chore(normalizer): bump version to 0.4.0 --- eo-phi-normalizer/eo-phi-normalizer.cabal | 2 +- eo-phi-normalizer/package.yaml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/eo-phi-normalizer/eo-phi-normalizer.cabal b/eo-phi-normalizer/eo-phi-normalizer.cabal index d17784ae..d8112048 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: 0.3.1 +version: 0.4.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 diff --git a/eo-phi-normalizer/package.yaml b/eo-phi-normalizer/package.yaml index 18415255..2b8bf084 100644 --- a/eo-phi-normalizer/package.yaml +++ b/eo-phi-normalizer/package.yaml @@ -1,6 +1,6 @@ name: eo-phi-normalizer synopsis: "Command line normalizer of 𝜑-calculus expressions." -version: 0.3.1 +version: 0.4.0 github: "objectionary/eo-phi-normalizer" license: BSD3 author: "EO/Polystat Development Team"