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

Monoid theory moved from examples/algebra to src/algebra (core library) #1224

Merged
merged 9 commits into from
May 10, 2024
Merged

Monoid theory moved from examples/algebra to src/algebra (core library) #1224

merged 9 commits into from
May 10, 2024

Commits on Apr 21, 2024

  1. Algebra materials moved to core theories (up to monoid)

    @binghe
    binghe committed Apr 21, 2024
    Configuration menu
    Copy the full SHA
    6bd26f3 View commit details
    Browse the repository at this point in the history

  2. Changes of examples/{AKS|fermat|simple_complexity} after src/algebra/… 

    …monoidThoery
    @binghe
    binghe committed Apr 21, 2024
    Configuration menu
    Copy the full SHA
    d9c4303 View commit details
    Browse the repository at this point in the history

  3. Fixes of examples/lambda work due to one renamed theorem in rich_list… 

    …Theory
    @binghe
    binghe committed Apr 21, 2024
    Configuration menu
    Copy the full SHA
    4630435 View commit details
    Browse the repository at this point in the history

  4. Mention new algebra theories in next-release.md (using some words fro… 

    …m examples/algebra/monoid/README.md)
    @binghe
    binghe committed Apr 21, 2024
    Configuration menu
    Copy the full SHA
    12c5f2e View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2024

  1. Revert name changes of SNOC_LAST_FRONT for better backward compatibility

    @binghe
    binghe committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    2da4265 View commit details
    Browse the repository at this point in the history

  2. FTBFS examples/lambda

    @binghe
    binghe committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    a4084da View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2024

  1. Merge remote-tracking branch 'origin/develop' into monoidTheory

    @binghe
    binghe committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    02a9544 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2024

  1. Move new files into subdirectories under src/algebra

    @binghe
    binghe committed May 3, 2024
    Configuration menu
    Copy the full SHA
    e6ce072 View commit details
    Browse the repository at this point in the history

  2. FTBFS (help)

    @binghe
    binghe committed May 3, 2024
    Configuration menu
    Copy the full SHA
    4b7d021 View commit details
    Browse the repository at this point in the history