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

Expose function evaluation to bindings #905

Merged
merged 12 commits into from
Dec 18, 2023
Merged

Expose function evaluation to bindings #905

merged 12 commits into from
Dec 18, 2023

Commits on Dec 7, 2023

  1. Stub out interface

    @Baltoli
    Baltoli committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    3995756 View commit details
    Browse the repository at this point in the history

  2. Basic working version bound to Python

    @Baltoli
    Baltoli committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    8824613 View commit details
    Browse the repository at this point in the history

  3. Implement sorted term -> pattern

    @Baltoli
    Baltoli committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    e8f261b View commit details
    Browse the repository at this point in the history

  4. Test rawTerm support

    @Baltoli
    Baltoli committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    af324df View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into evaluate-2

    @Baltoli
    Baltoli authored Dec 7, 2023
    Configuration menu
    Copy the full SHA
    f285561 View commit details
    Browse the repository at this point in the history

Commits on Dec 11, 2023

  1. Change Python interface

    @Baltoli
    Baltoli committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    15eb934 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into evaluate-2

    @Baltoli
    Baltoli authored Dec 11, 2023
    Configuration menu
    Copy the full SHA
    05d4c89 View commit details
    Browse the repository at this point in the history

Commits on Dec 12, 2023

  1. Merge branch 'master' into evaluate-2

    @Baltoli
    Baltoli authored Dec 12, 2023
    Configuration menu
    Copy the full SHA
    6515c1f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into evaluate-2

    @Baltoli
    Baltoli authored Dec 12, 2023
    Configuration menu
    Copy the full SHA
    2022d91 View commit details
    Browse the repository at this point in the history

Commits on Dec 18, 2023

  1. Merge branch 'master' into evaluate-2

    @Baltoli
    Baltoli authored Dec 18, 2023
    Configuration menu
    Copy the full SHA
    884faf7 View commit details
    Browse the repository at this point in the history

  2. Fix merge error

    @Baltoli
    Baltoli committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    74d85f3 View commit details
    Browse the repository at this point in the history

  3. Address review comment

    @Baltoli
    Baltoli committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    3b373cc View commit details
    Browse the repository at this point in the history