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

Massive generation of refutations via polynomials over Z/nZ #19

Merged
merged 41 commits into from
Sep 30, 2024
Merged

Massive generation of refutations via polynomials over Z/nZ #19

merged 41 commits into from
Sep 30, 2024

Commits on Sep 27, 2024

  1. Massive generation of refutations via polynomials over cyclic groups

    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    916b60e View commit details
    Browse the repository at this point in the history

  2. Use compact syntax to good effect

    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    bd3cddc View commit details
    Browse the repository at this point in the history

  3. Use compact syntax, actually commit files

    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    2334328 View commit details
    Browse the repository at this point in the history

  4. Add counterexamples as separate lib

    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    1e56ac1 View commit details
    Browse the repository at this point in the history

  5. Do not generate empty files

    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    f2227c4 View commit details
    Browse the repository at this point in the history

  6. Remove debugging check

    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    0fddbce View commit details
    Browse the repository at this point in the history

  7. Make DecideBang tactic compiled

    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    3b67b65 View commit details
    Browse the repository at this point in the history

  8. Fix bad formula mangling

    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    e82d22a View commit details
    Browse the repository at this point in the history

  9. Introduce decideFin! tactic to avoid type inference overhead. 2.5× ti… 

    …mes faster!
    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    5f5abcd View commit details
    Browse the repository at this point in the history

  10. linter.unusedVariables false

    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    5c5fb4a View commit details
    Browse the repository at this point in the history

  11. Build counter-examples not parallel

    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    f65421e View commit details
    Browse the repository at this point in the history

  12. Remove example, now that we can commit the files

    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    b32235c View commit details
    Browse the repository at this point in the history

  13. Docstring and other cosmetics

    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    c863ed9 View commit details
    Browse the repository at this point in the history

  14. Import more refutations

    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    b6ef2d6 View commit details
    Browse the repository at this point in the history

  15. Only include magmas with <5 elements for now

    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    9762415 View commit details
    Browse the repository at this point in the history

  16. Try to use native decide

    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    5e2c81f View commit details
    Browse the repository at this point in the history

  17. Try to balance the large conjunction

    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    e18796d View commit details
    Browse the repository at this point in the history

  18. Hidingt the inst in a top-level declaration does not help

    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    a4f4162 View commit details
    Browse the repository at this point in the history

  19. Revert

    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    e94af2b View commit details
    Browse the repository at this point in the history

  20. Merge branch 'main' of https://github.com/teorth/equational_theories … 

    …into finite_poly_refutation
    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    cfd6677 View commit details
    Browse the repository at this point in the history

  21. Use Magma file, mild refactoring

    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    b7f5563 View commit details
    Browse the repository at this point in the history

  22. Memoize monoid op

    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    937546f View commit details
    Browse the repository at this point in the history

  23. Typos

    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    80a0839 View commit details
    Browse the repository at this point in the history

  24. Put AllEquations into a namespace for now

    @nomeata
    nomeata committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    6ec256d View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2024

  1. Merge branch 'main' of github.com:teorth/equational_theories into fin… 

    …ite_poly_refutation
    @nomeata
    nomeata committed Sep 28, 2024
    Configuration menu
    Copy the full SHA
    836d30e View commit details
    Browse the repository at this point in the history

  2. Move DecideBang back into main library

    @nomeata
    nomeata committed Sep 28, 2024
    Configuration menu
    Copy the full SHA
    169b4fb View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2024

  1. Merge branch 'main' of github.com:teorth/equational_theories into fin… 

    …ite_poly_refutation
    @nomeata
    nomeata committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    737b9af View commit details
    Browse the repository at this point in the history

  2. SmallMagmas file

    @nomeata
    nomeata committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    e81c8a6 View commit details
    Browse the repository at this point in the history

  3. Different examples

    @nomeata
    nomeata committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    c15ec9b View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' of github.com:teorth/equational_theories into fin… 

    …ite_poly_refutation
    @nomeata
    nomeata committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    aba483c View commit details
    Browse the repository at this point in the history

  5. Merge branch 'joachim/small-magmas' into finite_poly_refutation

    @nomeata
    nomeata committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    c2892c0 View commit details
    Browse the repository at this point in the history

  6. Move to Generated

    @nomeata
    nomeata committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    eee78e9 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2024

  1. Merge branch 'main' of github.com:teorth/equational_theories into fin… 

    …ite_poly_refutation
    @nomeata
    nomeata committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    b658bef View commit details
    Browse the repository at this point in the history

  2. Prune counter-examples based on implications

    @nomeata
    nomeata committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    c2f1eb8 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' of github.com:teorth/equational_theories into fin… 

    …ite_poly_refutation
    @nomeata
    nomeata committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    9db2bdb View commit details
    Browse the repository at this point in the history

  4. Prune much more

    @nomeata
    nomeata committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    06088d5 View commit details
    Browse the repository at this point in the history

  5. Include more magmas

    @nomeata
    nomeata committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    78c7aed View commit details
    Browse the repository at this point in the history

  6. Remove dead code

    @nomeata
    nomeata committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    071d83d View commit details
    Browse the repository at this point in the history

  7. Also prune based on covering

    @nomeata
    nomeata committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    b8f6ad5 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'main' of github.com:teorth/equational_theories into fin… 

    …ite_poly_refutation
    @nomeata
    nomeata committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    e997d0c View commit details
    Browse the repository at this point in the history

  9. Set equational_result

    @nomeata
    nomeata committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    8bb2e88 View commit details
    Browse the repository at this point in the history