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

Add action to set custom cost #355

Closed
wants to merge 19 commits into from
Closed

Add action to set custom cost #355

wants to merge 19 commits into from

Commits on Mar 12, 2024

  1. Rename cost in eggcc so doesn't shadow action

    @saulshanabrook
    saulshanabrook committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    919a246 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2024

  1. Merge remote-tracking branch 'upstream/main' into cost-action

    @saulshanabrook
    saulshanabrook committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    e8f7ead View commit details
    Browse the repository at this point in the history

  2. Make cost action unstable

    @saulshanabrook
    saulshanabrook committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    35d2186 View commit details
    Browse the repository at this point in the history

  3. Allow costs to be set to expressions and add jointree example

    @saulshanabrook
    saulshanabrook committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    8d3e864 View commit details
    Browse the repository at this point in the history

  4. Simplify example

    @saulshanabrook
    saulshanabrook committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    45463ed View commit details
    Browse the repository at this point in the history

  5. Fix costs in example

    @saulshanabrook
    saulshanabrook committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    19d0005 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. Fix unstable cost failed typecheck

    @saulshanabrook
    saulshanabrook committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    b6e1c96 View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2024

  1. Merge remote-tracking branch 'upstream/main' into cost-action

    @saulshanabrook
    saulshanabrook committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    61766b9 View commit details
    Browse the repository at this point in the history

  2. Use per node cost in serialization

    @saulshanabrook
    saulshanabrook committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    361e9a3 View commit details
    Browse the repository at this point in the history

  3. Fix errors from merge

    @saulshanabrook
    saulshanabrook committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    3f687e1 View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2024

  1. Move set cost to its own action

    @saulshanabrook
    saulshanabrook committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    8068142 View commit details
    Browse the repository at this point in the history

  2. Add integration test for set cost

    @saulshanabrook
    saulshanabrook committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    881bcb4 View commit details
    Browse the repository at this point in the history

  3. Collapse match

    @saulshanabrook
    saulshanabrook committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    cbe174a View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2024

  1. Merge egraphs-good/main into cost-action

    @saulshanabrook
    saulshanabrook committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    39951a8 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2024

  1. Merge egraphs-good/main into cost-action

    @saulshanabrook
    saulshanabrook committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    bc66c66 View commit details
    Browse the repository at this point in the history

  2. Fix error introduced by merge

    @saulshanabrook
    saulshanabrook committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    579fe69 View commit details
    Browse the repository at this point in the history

  3. Revert unneeded syntax change

    @saulshanabrook
    saulshanabrook committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    da68522 View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2024

  1. Merge egraphs-good/main into cost-action

    @saulshanabrook
    saulshanabrook committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    1cf9cff View commit details
    Browse the repository at this point in the history

  2. Update to take minimum instead of arbitrary cost when merging two dif… 

    …ferent values
    @saulshanabrook
    saulshanabrook committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    040325a View commit details
    Browse the repository at this point in the history