issues
search
objectionary
/
normalizer
Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
6
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Move docs for user-defined rules to a separate page
#427
deemp
opened
2 days ago
0
406 support enablingdisabling particular atoms
#426
deemp
opened
6 days ago
1
[meeting] [joint] 28.06.2024
#425
deemp
opened
1 week ago
2
chore(deps): update baptiste0928/cargo-install action to v3.1.1
#424
renovate[bot]
opened
1 week ago
0
Custom rules. Iteration 2
#423
maxonfjvipon
opened
2 weeks ago
3
[meeting] [joint] 21.06.2024
#422
deemp
opened
2 weeks ago
0
Experiment with closure of objects
#421
fizruk
opened
2 weeks ago
0
Update decoration rule
#420
eyihluyc
closed
2 weeks ago
0
Generalize `Φ-dispatch` to rewrite `Φ` instead of `Φ.a`
#419
eyihluyc
closed
2 weeks ago
0
Align reductions from application to `⊥` with the paper
#418
eyihluyc
closed
2 weeks ago
0
[meeting] [joint] 14.06.2024
#417
deemp
opened
3 weeks ago
0
[meeting] [internal] 13.06.2024
#416
deemp
opened
3 weeks ago
0
Try normalization with user-defined rules only
#415
deemp
opened
3 weeks ago
2
Document existing atoms
#414
deemp
opened
3 weeks ago
0
Release v0.4.1
#413
deemp
closed
3 weeks ago
0
411 Fix report directory
#412
deemp
closed
3 weeks ago
0
Fix report directory
#411
deemp
closed
3 weeks ago
0
Release v0.4.1
#410
deemp
closed
3 weeks ago
0
Keep typing information
#409
deemp
opened
3 weeks ago
0
Implement global variables for rho
#408
deemp
opened
3 weeks ago
0
Support limiting the length of a normalization chain
#407
deemp
opened
3 weeks ago
0
Support enabling/disabling particular atoms
#406
deemp
opened
3 weeks ago
0
Test partially normalized programs
#405
deemp
opened
3 weeks ago
0
Compose an EO program that can be normalized via user-defined rules
#404
deemp
opened
3 weeks ago
7
Fix job summary on Windows
#403
deemp
opened
3 weeks ago
0
383 fix job summary
#402
deemp
closed
3 weeks ago
0
Bring rules up to date
#401
eyihluyc
closed
3 weeks ago
0
[meeting] [joint] 07.06.2024
#400
deemp
opened
1 month ago
0
chore(deps): update dependency eolang to v0.21.1
#399
renovate[bot]
opened
1 month ago
2
chore(eo): bump version 0.38.0 -> 0.38.3
#398
deemp
opened
1 month ago
3
Bump the `eo` version
#397
deemp
opened
1 month ago
0
390 fix normalized phi to normalized eo conversion in the pipeline script
#396
deemp
closed
1 month ago
0
Fix dataization
#395
fizruk
closed
1 month ago
0
Wrap data into bytes after dataization
#394
deemp
closed
1 month ago
1
Fix wrong xi in the output
#393
deemp
closed
1 month ago
0
Undo injection of top-level Package lambda
#392
fizruk
closed
1 month ago
0
Fix normalizer output
#391
deemp
closed
1 month ago
0
Fix normalized PHI to normalized EO conversion in the pipeline script
#390
deemp
closed
1 month ago
0
Fix sorting in numeric columns
#389
deemp
opened
1 month ago
0
Bump stack-action version in the release workflow
#388
deemp
opened
1 month ago
0
Publish results for the Stage 1
#387
deemp
closed
1 month ago
1
Release v0.4.0
#386
deemp
closed
1 month ago
0
chore(deps): update dependency prettier to v3.3.2
#385
renovate[bot]
closed
3 weeks ago
0
chore(deps): update dependency eolang to ^0.21.0 - autoclosed
#384
renovate[bot]
closed
1 month ago
0
Fix job summary
#383
deemp
closed
3 weeks ago
0
Run tests for built-in normalization rules
#382
deemp
opened
1 month ago
0
[meeting] [joint] 31.05.2024
#381
deemp
opened
1 month ago
0
Handle the `formations` metric properly
#380
deemp
closed
1 month ago
1
Run normalizer on the `spring-fat` archive
#379
deemp
opened
1 month ago
8
Make a release
#378
deemp
closed
1 month ago
0
Next