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

fix: iterative unification #6540

Open
wants to merge 12 commits into
base: master
Choose a base branch
from
Open

fix: iterative unification #6540

wants to merge 12 commits into from

Commits on Nov 18, 2024

  1. iterative unification

    @guipublic
    guipublic committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    be6268e View commit details
    Browse the repository at this point in the history

Commits on Nov 19, 2024

  1. iterative version for check_type and convert_type

    @guipublic
    guipublic committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    5cabf55 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into gd/issue_6457

    @guipublic
    guipublic committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    604dc8e View commit details
    Browse the repository at this point in the history

  3. remove old file that should not have been commit.

    @guipublic
    guipublic committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    ab55466 View commit details
    Browse the repository at this point in the history

  4. code review

    @guipublic
    guipublic committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    8303eb0 View commit details
    Browse the repository at this point in the history

  5. adding back the previous handling for constant terms

    @guipublic
    guipublic committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    2b9e976 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into gd/issue_6457

    @guipublic
    guipublic authored Nov 19, 2024
    Configuration menu
    Copy the full SHA
    e1ff9c1 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into gd/issue_6457

    @guipublic
    guipublic authored Nov 19, 2024
    Configuration menu
    Copy the full SHA
    0ba5bdb View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2024

  1. code review

    @guipublic
    guipublic committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    177608f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into gd/issue_6457

    @guipublic
    guipublic committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    7a87315 View commit details
    Browse the repository at this point in the history

  3. fix merge issue

    @guipublic
    guipublic committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    2dcc13f View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into gd/issue_6457

    @guipublic
    guipublic authored Nov 20, 2024
    Configuration menu
    Copy the full SHA
    4a82d91 View commit details
    Browse the repository at this point in the history