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

Extracted out RawEGraph type #296

Draft
wants to merge 9 commits into
base: main
Choose a base branch
from
Draft

Extracted out RawEGraph type #296

wants to merge 9 commits into from

Commits on Jan 3, 2024

  1. Added nodes field to EGraph to avoid storing nodes in analysis … 

    …and `analysis_pending`
    @dewert99
    dewert99 committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    1f838c6 View commit details
    Browse the repository at this point in the history

  2. eliminated node field of ExplainNode (used EGraph.nodes instead)

    @dewert99
    dewert99 committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    3145a30 View commit details
    Browse the repository at this point in the history

  3. serde

    @dewert99
    dewert99 committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    c075cbf View commit details
    Browse the repository at this point in the history

  4. serde

    @dewert99
    dewert99 committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    3187e36 View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2024

  1. Clarify id_to_expr and prevent copy_with_unions when explanations… 

    … are disabled
    @dewert99
    dewert99 committed Jan 4, 2024
    Configuration menu
    Copy the full SHA
    4d4c52d View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2024

  1. Extracted out low level egraph API

    @dewert99
    dewert99 committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    8bcfe66 View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2024

  1. doc-link fixes

    @dewert99
    dewert99 committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    8370122 View commit details
    Browse the repository at this point in the history

Commits on Feb 11, 2024

  1. Improved raw_union interface, fixed EGraph::dump and updated edition

    @dewert99
    dewert99 committed Feb 11, 2024
    Configuration menu
    Copy the full SHA
    c18f6d4 View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2024

  1. Make raw_union more flexible and add a fallible try_raw_rebuild

    @dewert99
    dewert99 committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    fb07f3b View commit details
    Browse the repository at this point in the history