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

[RFC WIP] define modular arithmetic in theories/Numbers/Zmod.v #17043

Closed
wants to merge 18 commits into from
Closed

[RFC WIP] define modular arithmetic in theories/Numbers/Zmod.v #17043

wants to merge 18 commits into from

Commits on Dec 28, 2023

  1. add theories/Numbers/Zmod.v

    @andres-erbsen
    andres-erbsen committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    c1e2b43 View commit details
    Browse the repository at this point in the history

  2. WIP Zmod

    @andres-erbsen
    andres-erbsen committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    1b299e0 View commit details
    Browse the repository at this point in the history

  3. smod, crt, disclaimer for NonuniformDependent

    @andres-erbsen
    andres-erbsen committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    1d85e88 View commit details
    Browse the repository at this point in the history

  4. undivmod, nat conversion, elements, invertibles

    @andres-erbsen
    andres-erbsen committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    076f90c View commit details
    Browse the repository at this point in the history

  5. develop Zstar more

    @andres-erbsen
    andres-erbsen committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    2990985 View commit details
    Browse the repository at this point in the history

  6. split up Zmod a bit

    @andres-erbsen
    andres-erbsen committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    f150314 View commit details
    Browse the repository at this point in the history

  7. start bitwise operations and shifts

    @andres-erbsen
    andres-erbsen committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    02f8856 View commit details
    Browse the repository at this point in the history

  8. start Zmod.Mask

    @andres-erbsen
    andres-erbsen committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    81b539c View commit details
    Browse the repository at this point in the history

  9. smod_bound_or, smod_complement

    @andres-erbsen
    andres-erbsen committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    7e22772 View commit details
    Browse the repository at this point in the history

  10. more bit-twiddling tricks

    @andres-erbsen
    andres-erbsen committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    0af6a8a View commit details
    Browse the repository at this point in the history

  11. prove less_correct

    @andres-erbsen
    andres-erbsen committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    59e3a49 View commit details
    Browse the repository at this point in the history

  12. conversions to bool, byte, Fin

    @andres-erbsen
    andres-erbsen committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    309d291 View commit details
    Browse the repository at this point in the history

  13. little-endian encoding and decoding

    @andres-erbsen
    andres-erbsen committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    6dc255d View commit details
    Browse the repository at this point in the history

  14. LittleEndian fixup

    @andres-erbsen
    andres-erbsen committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    fe6323c View commit details
    Browse the repository at this point in the history

  15. WIP

    @andres-erbsen
    andres-erbsen committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    6e5e825 View commit details
    Browse the repository at this point in the history

  16. WIP

    @andres-erbsen
    andres-erbsen committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    6c9910a View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2024

  1. refactor for review

    @andres-erbsen
    andres-erbsen committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    1850345 View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2024

  1. fixup

    @andres-erbsen
    andres-erbsen committed Jan 12, 2024
    Configuration menu
    Copy the full SHA
    60578c5 View commit details
    Browse the repository at this point in the history