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

refactor: redefine unsigned fixed width integers in terms of BitVec #5323

Open
wants to merge 37 commits into
base: master
Choose a base branch
from
Open

refactor: redefine unsigned fixed width integers in terms of BitVec #5323

wants to merge 37 commits into from

Commits on Oct 9, 2024

  1. refactor: BitVec to Init.Prelude

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    155ea33 View commit details
    Browse the repository at this point in the history

  2. refactor: cut at UInt to avoid import cycle

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    db3bcc0 View commit details
    Browse the repository at this point in the history

  3. first compiling version

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    0d95335 View commit details
    Browse the repository at this point in the history

  4. pull UInt16

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    c65e845 View commit details
    Browse the repository at this point in the history

  5. pull UInt32

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    b1cefe9 View commit details
    Browse the repository at this point in the history

  6. pull UInt64

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    9150feb View commit details
    Browse the repository at this point in the history

  7. proper UInt32.ofNat' definition

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    4ea4301 View commit details
    Browse the repository at this point in the history

  8. reprove SizeOfLemmas

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    64c9e71 View commit details
    Browse the repository at this point in the history

  9. fix more sorries

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    cf00a62 View commit details
    Browse the repository at this point in the history

  10. fix renaming

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    31dc764 View commit details
    Browse the repository at this point in the history

  11. reduce modn dependency

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    81fa14f View commit details
    Browse the repository at this point in the history

  12. pull USize

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    1c6266d View commit details
    Browse the repository at this point in the history

  13. close trivial USize sorries

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    d940cf1 View commit details
    Browse the repository at this point in the history

  14. finalize renaming

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    458c2b9 View commit details
    Browse the repository at this point in the history

  15. pull .val later

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    7f345ad View commit details
    Browse the repository at this point in the history

  16. more sorries

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    f27f8d6 View commit details
    Browse the repository at this point in the history

  17. more sorries

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    760cabf View commit details
    Browse the repository at this point in the history

  18. switch to < instead of ult

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    cb09806 View commit details
    Browse the repository at this point in the history

  19. pull bitvec theorems through

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    0e17624 View commit details
    Browse the repository at this point in the history

  20. fix proof

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    0297212 View commit details
    Browse the repository at this point in the history

  21. more sorries

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    56f6c00 View commit details
    Browse the repository at this point in the history

  22. fix sorries in BasicAux

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    0d352b1 View commit details
    Browse the repository at this point in the history

  23. more sorries

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    a024370 View commit details
    Browse the repository at this point in the history

  24. last sorry

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    19cf42f View commit details
    Browse the repository at this point in the history

  25. fix tests

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    89d6133 View commit details
    Browse the repository at this point in the history

  26. update comment

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    660a8e4 View commit details
    Browse the repository at this point in the history

  27. recover prettier proof

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    7ba8cc0 View commit details
    Browse the repository at this point in the history

  28. bit of formatting

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    e62cd45 View commit details
    Browse the repository at this point in the history

  29. chore: deprecate modn

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    2e2b141 View commit details
    Browse the repository at this point in the history

  30. chore: fix conflicts

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    b44578e View commit details
    Browse the repository at this point in the history

  31. dropped definitions by accident

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    78cb9f1 View commit details
    Browse the repository at this point in the history

  32. modn_lt

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    4137f3a View commit details
    Browse the repository at this point in the history

  33. eq_of_val_eq

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    ac36985 View commit details
    Browse the repository at this point in the history

  34. don't deprecate this one

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    0c7c9c9 View commit details
    Browse the repository at this point in the history

  35. this one neither

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    06379fd View commit details
    Browse the repository at this point in the history

  36. new theorem

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    30b0ea9 View commit details
    Browse the repository at this point in the history

  37. bump ci

    @hargoniX
    hargoniX committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    79eda0d View commit details
    Browse the repository at this point in the history