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

Bugs #58

Merged
merged 7 commits into from
May 24, 2024
Merged

Bugs #58

merged 7 commits into from
May 24, 2024

Commits on May 24, 2024

  1. WIP

    @jverzani
    jverzani committed May 24, 2024
    Configuration menu
    Copy the full SHA
    1be8e8b View commit details
    Browse the repository at this point in the history

  2. fix calling of permutations

    @jverzani
    jverzani committed May 24, 2024
    Configuration menu
    Copy the full SHA
    5ac9c8e View commit details
    Browse the repository at this point in the history

  3. Bool3, address inferrability

    @jverzani
    jverzani committed May 24, 2024
    Configuration menu
    Copy the full SHA
    4f99336 View commit details
    Browse the repository at this point in the history

  4. istree -> iscall

    @jverzani
    jverzani committed May 24, 2024
    Configuration menu
    Copy the full SHA
    fdcf97a View commit details
    Browse the repository at this point in the history

  5. merge in call_permuation

    @jverzani
    jverzani committed May 24, 2024
    Configuration menu
    Copy the full SHA
    83d8745 View commit details
    Browse the repository at this point in the history

  6. oops

    @jverzani
    jverzani committed May 24, 2024
    Configuration menu
    Copy the full SHA
    2b4e06d View commit details
    Browse the repository at this point in the history

  7. istree

    @jverzani
    jverzani committed May 24, 2024
    Configuration menu
    Copy the full SHA
    a67d5bc View commit details
    Browse the repository at this point in the history