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 some open bugs #5

Merged
merged 8 commits into from
Dec 28, 2017
Merged

Fix some open bugs #5

merged 8 commits into from
Dec 28, 2017

Commits on Dec 27, 2017

  1. add tests that currently fail

    @winitzki
    winitzki committed Dec 27, 2017
    Configuration menu
    Copy the full SHA
    f958e92 View commit details
    Browse the repository at this point in the history

Commits on Dec 28, 2017

  1. WIP towards fixing the problems with eta-conversion

    @winitzki
    winitzki committed Dec 28, 2017
    Configuration menu
    Copy the full SHA
    1f5bea3 View commit details
    Browse the repository at this point in the history

  2. implement correct eta-contraction

    @winitzki
    winitzki committed Dec 28, 2017
    Configuration menu
    Copy the full SHA
    9b348b2 View commit details
    Browse the repository at this point in the history

  3. code cleanup after debuggin

    @winitzki
    winitzki committed Dec 28, 2017
    Configuration menu
    Copy the full SHA
    b07c35d View commit details
    Browse the repository at this point in the history

  4. simplify until stable

    @winitzki
    winitzki committed Dec 28, 2017
    Configuration menu
    Copy the full SHA
    d67ad88 View commit details
    Browse the repository at this point in the history

  5. heuristic to cut down the search tree

    @winitzki
    winitzki committed Dec 28, 2017
    Configuration menu
    Copy the full SHA
    b045407 View commit details
    Browse the repository at this point in the history

  6. cache sequents already seen

    @winitzki
    winitzki committed Dec 28, 2017
    Configuration menu
    Copy the full SHA
    99f612d View commit details
    Browse the repository at this point in the history

  7. fix bug with CurriedE eta-contraction

    @winitzki
    winitzki committed Dec 28, 2017
    Configuration menu
    Copy the full SHA
    93286ca View commit details
    Browse the repository at this point in the history