Skip to content

v0.4.1
Compare
Choose a tag to compare
@deemp deemp released this 13 Jun 09:07
· 603 commits to master since this release
v0.4.1
b4a1681
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

Changes and fixes:

  • Undo injection of top-level Package lambda (#392)

  • Fix dataization (#395)

    • Fix dataization inside $\varphi$ when --minimize-stuck-terms is enabled (closes #393)
    • Fix evaluation of atoms stuck on other atoms (fixes while-dataizes-only-first-cycle in while-tests.phi)
    • Improve pretty-printing (closes #292)

  • Fix pipeline script to run tests on normalized EO (#396)

  • Changes to normalizer (#396)

    • Add --wrap-raw-bytes to automatically convert raw bytes (and terminations) in the output. This is a temporary fix, pending the change mentioned in objectionary/eo#3213 (comment)
    • Fix builtin normalizer to produce termination in some situations
    • Fix dataization inside application/dispatch
    • Fix encoding for strings to follow UTF-8 (compatibility with EO)
    • Fix bool representation to require one byte (compatibility with EO)
    • Fix integer division to truncate toward zero (compatibility with EO)
    • Improve pretty-printer (use indentation)
    • Update some examples/docs on the site
    • Support up to 3 positional arguments in the builtin normalizer

  • Fix directory used in CI for:

Documentation and maintenance:

  • Bring rules up to date (#401)
  • Update dependency prettier to v3.3.2 (#385)
Assets 2
Loading