Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Code tree subsumption #605

Merged
merged 7 commits into from
Sep 19, 2024
Merged

Code tree subsumption #605

merged 7 commits into from
Sep 19, 2024

Commits on Sep 14, 2024

  1. Add code tree subsumption and resolution implementation

    @mezpusz
    mezpusz committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    c9878d9 View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2024

  1. Make sorting deterministic; change polarity of literal as well for co… 

    …nsistency
    @mezpusz
    mezpusz committed Sep 15, 2024
    Configuration menu
    Copy the full SHA
    d0e8e4d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into code-tree-subsumption

    @mezpusz
    mezpusz committed Sep 15, 2024
    Configuration menu
    Copy the full SHA
    fef4628 View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2024

  1. Fix code tree subsumption for two variable equalities by adding the t… 

    …ype in front of equality arguments in both flatterm/codetree -- initial implementation
    @mezpusz
    mezpusz committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    6483f0b View commit details
    Browse the repository at this point in the history

  2. Refactor code tree compilation and flat term creation parts

    @mezpusz
    mezpusz committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    1e5c171 View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2024

  1. Unroll flat term size calculation and comment it

    @mezpusz
    mezpusz committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    4288d86 View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2024

  1. Make bithacking in CodeTree::CodeOp more robust

    @mezpusz
    mezpusz committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    6df4461 View commit details
    Browse the repository at this point in the history