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

Minigent recursive types #329

Merged
merged 7 commits into from
Dec 17, 2019
Merged

Minigent recursive types #329

merged 7 commits into from
Dec 17, 2019

Commits on Dec 11, 2019

  1. Added stub for termination checking

    @emmet-m
    emmet-m committed Dec 11, 2019
    Configuration menu
    Copy the full SHA
    2d0cc9f View commit details
    Browse the repository at this point in the history

  2. minigent: further work on termination gen

    @emmet-m
    emmet-m committed Dec 11, 2019
    Configuration menu
    Copy the full SHA
    5a13357 View commit details
    Browse the repository at this point in the history

Commits on Dec 12, 2019

  1. Added termination checking to minigent, working on integrating with r… 

    …ecursive types
    @emmet-m
    emmet-m committed Dec 12, 2019
    Configuration menu
    Copy the full SHA
    8b6b002 View commit details
    Browse the repository at this point in the history

  2. Recursive Types (minigent) (#327) 

    Merging in recursive types from @emmet-m 's thesis fork
    @emmet-m
    emmet-m authored Dec 12, 2019
    Configuration menu
    Copy the full SHA
    7b67edc View commit details
    Browse the repository at this point in the history

  3. Changed sumlist to 'terminate', termination checker and ushow

    @emmet-m
    emmet-m committed Dec 12, 2019
    Configuration menu
    Copy the full SHA
    bb64874 View commit details
    Browse the repository at this point in the history

Commits on Dec 13, 2019

  1. Debugging and graph generation support

    @emmet-m
    emmet-m committed Dec 13, 2019
    Configuration menu
    Copy the full SHA
    b1893a4 View commit details
    Browse the repository at this point in the history

Commits on Dec 17, 2019

  1. minigent: update example test files

    @emmet-m
    emmet-m committed Dec 17, 2019
    Configuration menu
    Copy the full SHA
    145f0c6 View commit details
    Browse the repository at this point in the history