v0.3.1

This version supports proper dataization of test programs with dependencies.

New:

• Add --dependency-file FILE option to enable dependencies (e.g. bool.phi, bytes.phi) (see #265)

Changes and fixes:

• Fix handling of Package atom (also improves related code, see #239 and #265)
• Update the dataless objects metric (see #234)
• Improve reports (see #225)

Documentation and maintenance:

• Establish proposals format and process (see #248)
• Improve the docs job, improve the site, fix minor errors (see #228)
• Fix hlint warnings (see #241)
• CI: run doctests (see #230)
• CI: switch back to the official stack-action (see #246)
• CI: publish extra files in artifacts (in particular, dependencies like bool.phi, see #245)

v0.3.0

In this version the main executable has been renamed to normalizer
and several commands have been implemented for normalization, dataization,
and reporting.

New:

• Command Line Interface:
  • Add commands:
    • normalizer transform to perform normalization without executing any atoms (was default behavior before)
    • normalizer metrics to compute metrics of a given φ-expression (see #153)
    • normalizer dataize to run partial evaluation of φ-expressions with atoms (see #187)
    • normalizer report to generate report based on the results of testing against the EO compiler (see #213)
  • Add --single flag (see #131)
  • Add --json flag for machine-readable output format (see #143)
  • Add --max-depth=N and --max-term-size=N options to control limits for the normalizer (see #173)
  • Improve --chain option to provide better elaboration on the applied normalization rules and the dataization process (see #195)
• Update rule set for φ-calculus (see #152 and some changes in #136 and #166)
• Add property-based and regression tests for confluence (see #136 and #166)
• Tests and metrics against the EO compiler and standard EO test suite (see #98, #191)

Fixes:

• Count metrics, including dataless objects, correctly (see #142, #193, #211)
• Fix metavariables in context patterns (see #174)
• Support empty Δ-bindings (see #184)

Documentation has been improved (see #134, #221).

Maintenance:

• Run CI on all pull requests (see #156)
• Downgrade Stackage snapshot (see #146)
• Add HLint to CI (see #157)

What's Changed (generated notes)

• fix: disable the pipeline job by @deemp in #133
• fix: print program by @deemp in #131
• chore(deps): update dependency pre-commit to v3.6.2 by @renovate in #141
• fix: downgrade resolver by @deemp in #146
• 130 update readme and site by @deemp in #134
• 138 fix the metric for dataless formations by @deemp in #142
• feat: support json output by @deemp in #143
• fix: run CI for all PRs by @deemp in #156
• 148 add static analysis tools to ci by @deemp in #157
• Fix rule 1 by @deemp in #152
• Confluence testing by @aabounegm in #136
• Refactor CLI and docs by @deemp in #153
• Improve confluence tests by @fizruk in #166
• Add a CLI arguments for maximum application depth and growth factor by @aabounegm in #173
• Apply substs from Phi and Ksi on current attribute by @aabounegm in #174
• Add support for Delta bindings with no value by @aabounegm in #184
• Test against EO compiler by @deemp in #98
• 190 fix scripts/try-unphi.sh by @deemp in #191
• Dataization by @aabounegm in #187
• Fix metrics by @deemp in #193
• Refactor CLI and metrics by @deemp in #211
• 208 support metrics report generation by @deemp in #212
• Elaboration by @aabounegm in #195
• 208 support metrics report generation by @deemp in #213
• chore(deps): update dependency pre-commit to v3.7.0 by @renovate in #219
• 220 support mathjax on the site by @deemp in #221
• fix(vscode settings): use external fourmolu by @deemp in #215
• Release v0.3.0 by @fizruk in #223

Full Changelog: v0.2.0...v0.3.0

v0.2.0

• Complete implementation of Yegor's rules (see #109, #112)
  • Support global counter in user-defined rules (see #105)
  • Context matching (global object and this object, see #99)
• Fix grammar for $\varphi$-calculus (see #97 and #127)
• Improve documentation:
  • Set up wesbite for documentation (see #104, #124, and #128)
  • Update CLI documentation (see #113)
• Improve command line interface:
  • Support --output/-o command line option (see #92)
  • Remove logs from default output (see #106)
• Allow collection of metrics for $\varphi$-terms (see #121)

What's Changed (generated)

• CLI outPath support by @aabounegm in #92
• chore(deps): update actions/checkout action to v4 by @renovate in #91
• fix: stack-action source by @deemp in #89
• Fix grammar by @fizruk in #97
• Global object matching by @aabounegm in #99
• fix: flag in stack-action by @deemp in #103
• 101 print a single normalized program when passed user defined rules by @deemp in #106
• Add rule 12 to the user-defined rules by @aabounegm in #109
• chore(deps): update dependency pre-commit to v3.6.1 by @renovate in #110
• 74 set up a site by @deemp in #104
• Rule feature: global counter by @aabounegm in #105
• Add rule 2 to user-defined rules by @aabounegm in #112
• Update CLI documentation by @aabounegm in #113
• 79 collect optimization metrics by @deemp in #121
• 123 improve readme structure by @deemp in #124
• chore: update resolver by @deemp in #125
• feat: user-defined rules page by @deemp in #128
• 126 fix grammar by @deemp in #127
• Release v0.2.0 by @fizruk in #129

Full Changelog: v0.1.0...v0.2.0

v0.1.0

First release of the normalizer:

• Support syntax for $\varphi$-calculus
• Basic support for user-defined rewrite rules (in YAML format, via --rules-yaml FILE option)
• Step-by-step normalization via --chain option