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

Run alter in one pass #471

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

Run alter in one pass #471

wants to merge 7 commits into from

Commits on May 26, 2022

  1. alter now runs in one pass

    @oberblastmeister
    oberblastmeister committed May 26, 2022
    Configuration menu
    Copy the full SHA
    001a532 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/master' into alter

    @oberblastmeister
    oberblastmeister committed May 26, 2022
    Configuration menu
    Copy the full SHA
    c847f09 View commit details
    Browse the repository at this point in the history

  3. remove redundant constraints

    @oberblastmeister
    oberblastmeister committed May 26, 2022
    Configuration menu
    Copy the full SHA
    a92b48a View commit details
    Browse the repository at this point in the history

Commits on May 27, 2022

  1. Update Data/HashMap/Internal.hs 

    Co-authored-by: Simon Jakobi <[email protected]>
    @oberblastmeister @sjakobi
    oberblastmeister and sjakobi authored May 27, 2022
    Configuration menu
    Copy the full SHA
    4400043 View commit details
    Browse the repository at this point in the history

Commits on May 28, 2022

  1. add to strict HashMap

    @oberblastmeister
    oberblastmeister committed May 28, 2022
    Configuration menu
    Copy the full SHA
    fe15fe2 View commit details
    Browse the repository at this point in the history

  2. bang pattern

    @oberblastmeister
    oberblastmeister committed May 28, 2022
    Configuration menu
    Copy the full SHA
    a87feca View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2022

  1. remove use of two for now for insert'

    @oberblastmeister
    oberblastmeister committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    a74d3af View commit details
    Browse the repository at this point in the history