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

Sygus2 #1166

Closed
wants to merge 11 commits into from
Closed

Sygus2 #1166

wants to merge 11 commits into from

Commits on Jan 19, 2024

  1. Cleanup.

    @andreistefanescu
    andreistefanescu committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    ebbcd4e View commit details
    Browse the repository at this point in the history

  2. Derive Show.

    @andreistefanescu
    andreistefanescu committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    39e9c1e View commit details
    Browse the repository at this point in the history

  3. Add updateHandleMap.

    @andreistefanescu
    andreistefanescu committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    63f2c2a View commit details
    Browse the repository at this point in the history

  4. Add parentWTOComponent.

    @andreistefanescu
    andreistefanescu committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    f5422da View commit details
    Browse the repository at this point in the history

  5. Export writeSourceSize.

    @andreistefanescu
    andreistefanescu committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    8813bd4 View commit details
    Browse the repository at this point in the history

  6. Add runCHC and helpers.

    @andreistefanescu
    andreistefanescu committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    72d90c0 View commit details
    Browse the repository at this point in the history

  7. Bump what4.

    @andreistefanescu
    andreistefanescu committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    34651c6 View commit details
    Browse the repository at this point in the history

  8. wip

    @andreistefanescu
    andreistefanescu committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    803a8be View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2024

  1. Merge remote-tracking branch 'origin/master' into sygus2

    @andreistefanescu
    andreistefanescu committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    c428da0 View commit details
    Browse the repository at this point in the history

Commits on Feb 18, 2024

  1. Fix build error with GHC 8.10

    @RyanGlScott
    RyanGlScott committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    08b51b6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into sygus2

    @RyanGlScott
    RyanGlScott committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    7617969 View commit details
    Browse the repository at this point in the history