objectionary/eo-phi-normalizer issues and pull requests

#532 - 521 document the release procedure

Pull Request - State: open - Opened by deemp 7 days ago

#531 - 526 release v200

Pull Request - State: open - Opened by deemp 7 days ago

#530 - Derive stream transformation rules

Issue - State: open - Opened by deemp 7 days ago
Labels: (custom rules)

#529 - Fix pretty-printer for applications and program

Pull Request - State: open - Opened by fizruk 7 days ago

#528 - 527 update eo 0.38.4 -> 0.41.0

Pull Request - State: open - Opened by deemp 10 days ago

#527 - Update eo 0.38.4 -> 0.41.0

Issue - State: open - Opened by deemp 10 days ago - 14 comments
Labels: (eo compiler)

#526 - Release v2.0.0

Issue - State: open - Opened by deemp 10 days ago

#525 - 507 write how to install a specific version

Pull Request - State: open - Opened by deemp 10 days ago

#524 - 427 move docs for user defined rules to a separate page

Pull Request - State: open - Opened by deemp 10 days ago

#523 - Add new rules

Pull Request - State: open - Opened by eyihluyc 11 days ago - 1 comment

#522 - [meeting] [joint] 01.11.2024

Issue - State: closed - Opened by deemp 17 days ago

#521 - Document the release procedure

Issue - State: open - Opened by deemp 17 days ago

#520 - chore(deps): update dependency eolang to ^0.23.0

Pull Request - State: open - Opened by renovate[bot] 24 days ago

#519 - 517 fix stream rules incorrectly modify the code produced by the opeo-maven-plugin

Pull Request - State: closed - Opened by deemp 24 days ago - 7 comments

#518 - Revert "Tweak stream rule to work (untested)"

Pull Request - State: closed - Opened by deemp 24 days ago - 1 comment

#517 - Fix stream rules incorrectly modify the code produced by the `opeo-maven-plugin`

Issue - State: closed - Opened by deemp 24 days ago - 1 comment
Labels: (custom rules)

#516 - chore(deps): update haskell-actions/run-fourmolu action to v11

Pull Request - State: open - Opened by renovate[bot] 24 days ago

#515 - output phi expressions are not pretty-formatted

Issue - State: open - Opened by yegor256 about 1 month ago - 1 comment

#514 - 512 make markdown generation reproducible

Pull Request - State: closed - Opened by deemp about 1 month ago - 2 comments

#513 - 512 make markdown generation reproducible

Pull Request - State: closed - Opened by deemp about 1 month ago - 3 comments

#512 - Make markdown generation reproducible

Issue - State: closed - Opened by deemp about 1 month ago - 1 comment
Labels: (ci), (normalizer)

#511 - 170 CLI command to generate PHI term

Pull Request - State: open - Opened by Anatolay about 1 month ago - 1 comment

#510 - The link to documentation is broken

Issue - State: closed - Opened by deemp about 1 month ago - 2 comments

#509 - [meeting] [joint] 11.10.2024

Issue - State: closed - Opened by deemp about 1 month ago

#508 - Speed up stack setup in CI

Issue - State: open - Opened by deemp about 1 month ago
Labels: (ci)

#507 - Write how to install a specific version

Issue - State: open - Opened by deemp about 1 month ago
Labels: (site)

#506 - The syntax of YAML for rules is not explained

Issue - State: closed - Opened by yegor256 about 1 month ago - 5 comments
Labels: (site)

#505 - Use the `eo-phi-normalizer` name

Issue - State: closed - Opened by yegor256 about 1 month ago - 4 comments

#504 - simple rule of resetting delta doesn't work

Issue - State: open - Opened by yegor256 about 1 month ago - 8 comments

#503 - chore(deps): update dependency pre-commit to v4

Pull Request - State: open - Opened by renovate[bot] about 1 month ago

#502 - how can I install specific version?

Issue - State: open - Opened by yegor256 about 2 months ago - 2 comments

#501 - Release v1.1.0

Pull Request - State: closed - Opened by deemp about 2 months ago - 2 comments

#500 - Release v1.1.0

Issue - State: closed - Opened by deemp about 2 months ago - 3 comments

#499 - 497 target directory is not auto-created

Pull Request - State: closed - Opened by deemp about 2 months ago - 1 comment

#498 - 483 test command

Pull Request - State: closed - Opened by deemp about 2 months ago - 2 comments

#497 - target directory is not auto-created

Issue - State: closed - Opened by yegor256 about 2 months ago - 9 comments
Labels: (normalizer), (cli)

#496 - [meeting] [joint] 27.09.2024

Issue - State: closed - Opened by deemp about 2 months ago

#495 - [meeting] [internal] 17.09.2024

Issue - State: closed - Opened by deemp 2 months ago

#494 - 479 mismatch of names of the binary and package

Pull Request - State: closed - Opened by deemp 2 months ago - 1 comment

#493 - 480 version is not supported

Pull Request - State: closed - Opened by deemp 2 months ago - 2 comments

#492 - Explain how to add an atom on the site

Issue - State: open - Opened by deemp 2 months ago
Labels: (site), (atoms), (normalizer)

#491 - [meeting] [joint] 13.09.2024

Issue - State: closed - Opened by deemp 2 months ago

#490 - [meeting] [internal] 10.09.2024

Issue - State: closed - Opened by deemp 2 months ago

#489 - [meeting] [joint] 10.09.2024

Issue - State: closed - Opened by deemp 2 months ago

#488 - Render LaTeX in CI

Issue - State: open - Opened by deemp 3 months ago
Labels: (ci)

#487 - Make code blocks collapsible

Issue - State: open - Opened by deemp 3 months ago
Labels: (site)

#486 - [meeting] [joint] 30.08.2024

Issue - State: closed - Opened by deemp 3 months ago

#485 - The `--single` option is confusing

Issue - State: open - Opened by yegor256 3 months ago - 1 comment

#484 - `--verbose` option would be nice to have for `transform` command

Issue - State: open - Opened by yegor256 3 months ago

#483 - `test` command

Issue - State: closed - Opened by yegor256 3 months ago - 1 comment

#482 - failed, key \"when\" not found"

Issue - State: open - Opened by yegor256 3 months ago

#481 - multiple `--rules` is not supported

Issue - State: open - Opened by yegor256 3 months ago - 1 comment

#480 - `--version` is not supported

Issue - State: closed - Opened by yegor256 3 months ago - 3 comments
Labels: (normalizer), (cli)

#479 - Mismatch of names of the binary and package

Issue - State: closed - Opened by yegor256 3 months ago - 3 comments
Labels: (ci), (site), (eo pipeline), (normalizer), (cli)

#478 - Why not use a stable version of EO from Maven Central?

Issue - State: open - Opened by yegor256 3 months ago - 3 comments
Labels: (eo tests)

#477 - Build a Docker image with a static normalizer executable

Issue - State: closed - Opened by deemp 3 months ago - 1 comment
Labels: priority 1, (normalizer)

#476 - Add a step for building the normalizer to the Maven plugin

Issue - State: closed - Opened by deemp 3 months ago - 3 comments
Labels: (eo pipeline)

#475 - [meeting] [joint] 16.08.2024

Issue - State: closed - Opened by deemp 3 months ago

#474 - Support printing rules in LaTeX

Pull Request - State: closed - Opened by eyihluyc 3 months ago - 10 comments

#473 - Explore the impact of transformation in a pipeline on runtime checks in the JVM bytecode

Issue - State: open - Opened by deemp 3 months ago
Labels: priority 3, (eo pipeline)

#472 - Build for a specific platform

Issue - State: open - Opened by deemp 3 months ago
Labels: priority 3, (ci), (eo pipeline), (normalizer)

#471 - Support printing rules in LaTeX

Issue - State: closed - Opened by deemp 3 months ago - 2 comments
Labels: (normalizer), (normalization rules)

#470 - Optimize via `streams.yaml` a Java program that has streams

Issue - State: open - Opened by deemp 3 months ago - 23 comments
Labels: priority 2, (custom rules)

#469 - Fix changes in markdown files aren't committed

Issue - State: closed - Opened by deemp 3 months ago - 2 comments
Labels: priority 2, (ci), (scripts)

#468 - Add `R_DOT_ρ`

Pull Request - State: closed - Opened by eyihluyc 3 months ago - 2 comments

#467 - 290 document creating custom atoms on the site

Pull Request - State: closed - Opened by deemp 3 months ago - 2 comments

#466 - Some dataization tests fail for built-in rules

Issue - State: open - Opened by deemp 4 months ago
Labels: priority 2, (normalizer), (tests)

#465 - 447 run tests on all rule sets

Pull Request - State: open - Opened by deemp 4 months ago

#461 - 36 Unit tests

Pull Request - State: closed - Opened by Anatolay 4 months ago - 10 comments

#448 - `ρ` should not be injected during `.ρ` dispatch

Issue - State: closed - Opened by eyihluyc 4 months ago - 2 comments

#436 - Unify the rules in the implementation and in the paper

Issue - State: open - Opened by eyihluyc 4 months ago
Labels: priority 2, (normalization rules)

#427 - Move docs for user-defined rules to a separate page

Issue - State: open - Opened by deemp 5 months ago
Labels: priority 1, (site)

#404 - Compose an EO program that can be normalized via user-defined rules

Issue - State: closed - Opened by deemp 5 months ago - 8 comments
Labels: priority 2, (normalizer), (metrics), (contract)

#399 - chore(deps): update dependency eolang to v0.21.1 - autoclosed

Pull Request - State: closed - Opened by renovate[bot] 5 months ago - 2 comments

#379 - Run normalizer on the `spring-fat` archive with the optimization as a custom rule

Issue - State: closed - Opened by deemp 6 months ago - 27 comments
Labels: priority 1, (normalizer), (spring)

#369 - Rename transform to rewrite

Pull Request - State: open - Opened by RoukayaZaki 6 months ago - 2 comments
Labels: priority 2, (normalizer)

#293 - Normalization of xi seems to be incorrect

Issue - State: closed - Opened by fizruk 7 months ago - 1 comment
Labels: priority 1, (dataization), (normalizer), (normalization rules)

#290 - Document creating custom atoms on the site

Issue - State: closed - Opened by deemp 7 months ago
Labels: priority 4, (dataization), (atoms), (normalizer)

#287 - Research SOTA compilers with rewrite rules

Issue - State: closed - Opened by deemp 7 months ago - 2 comments
Labels: priority 3, (research)

#257 - Implement the optimization for the Spring application as custom rule(s)

Issue - State: closed - Opened by deemp 8 months ago - 2 comments
Labels: priority 2, (normalizer), (custom rules)

#256 - Set up pipeline for a Spring program

Issue - State: open - Opened by deemp 8 months ago - 6 comments
Labels: priority 1, (ci), (normalizer), (spring)

#251 - Add metrics docs to reports

Issue - State: closed - Opened by deemp 8 months ago - 1 comment
Labels: priority 4, (report), (normalizer), (metrics)

#177 - Yaml.hs:98: what context should we pass to evaluate meta...

Issue - State: closed - Opened by 0pdd 9 months ago - 1 comment
Labels: priority 4, (normalizer)

#154 - Add the `critical-pair` command

Issue - State: closed - Opened by deemp 9 months ago - 1 comment
Labels: priority 5, (normalizer), (cli)

#144 - Add tests for CLI

Issue - State: closed - Opened by deemp 9 months ago - 2 comments
Labels: priority 4, (unit tests), (normalizer), (cli)

#117 - Prepare a presentation

Issue - State: closed - Opened by deemp 9 months ago
Labels: priority 4, (normalization rules), (custom rules)

#115 - Benchmark normalized code

Issue - State: closed - Opened by deemp 9 months ago - 3 comments
Labels: priority 5

#111 - Support metas in peeled syntax

Issue - State: closed - Opened by fizruk 9 months ago - 1 comment
Labels: priority 4

#101 - Print a single normalized program when passed user-defined rules

Issue - State: closed - Opened by deemp 9 months ago - 1 comment
Labels: (normalizer), (cli), (output)

#100 - Test against EO compiler

Issue - State: closed - Opened by deemp 9 months ago
Labels: (ci), (eo tests), (scripts)

#99 - Global object matching

Pull Request - State: closed - Opened by aabounegm 10 months ago - 2 comments

#98 - Test against EO compiler

Pull Request - State: closed - Opened by deemp 10 months ago - 2 comments

#97 - Fix grammar

Pull Request - State: closed - Opened by fizruk 10 months ago

#96 - Add documentation for output path option

Issue - State: closed - Opened by fizruk 10 months ago
Labels: (cli), (readme)

#95 - 93 reuse tests from the eo repository

Pull Request - State: closed - Opened by deemp 10 months ago

#94 - Fix grammar

Issue - State: closed - Opened by deemp 10 months ago
Labels: bug, (normalizer), (parser)

#93 - Reuse tests from the eo repository

Issue - State: closed - Opened by deemp 10 months ago
Labels: (ci), (eo tests), (scripts)

#92 - CLI outPath support

Pull Request - State: closed - Opened by aabounegm 10 months ago - 2 comments

#91 - chore(deps): update actions/checkout action to v4

Pull Request - State: closed - Opened by renovate[bot] 10 months ago

#90 - Release v0.1.0

Pull Request - State: closed - Opened by fizruk 10 months ago

GitHub / objectionary/eo-phi-normalizer issues and pull requests