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

New bitvector interface with hidden type-level length #41

Merged
merged 16 commits into from Feb 3, 2023
Merged

New bitvector interface with hidden type-level length #41

merged 16 commits into from Feb 3, 2023

Commits on Jan 30, 2023

  1. ♻️ drop Sym type and make SymBool/SymInteger/etc. no longer synonyms

    @lsrcz
    lsrcz committed Jan 30, 2023
    Configuration menu
    Copy the full SHA
    5161e09 View commit details
    Browse the repository at this point in the history

  2. ✨ implement Some(IntN/WordN) and their symbolic versions

    @lsrcz
    lsrcz committed Jan 30, 2023
    Configuration menu
    Copy the full SHA
    e7832fc View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2023

  1. 🎨 fix ormolu and hlint errors

    @lsrcz
    lsrcz committed Jan 31, 2023
    Configuration menu
    Copy the full SHA
    647339d View commit details
    Browse the repository at this point in the history

  2. 🐛 fix typing errors on 8.10.7

    @lsrcz
    lsrcz committed Jan 31, 2023
    Configuration menu
    Copy the full SHA
    f47c1b2 View commit details
    Browse the repository at this point in the history

  3. 🐛 fix selectSignedBV constraints

    @lsrcz
    lsrcz committed Jan 31, 2023
    Configuration menu
    Copy the full SHA
    a7c366d View commit details
    Browse the repository at this point in the history

Commits on Feb 1, 2023

  1. 🐛 add TypeOperators extensions to files with type equality

    @lsrcz
    lsrcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    8472493 View commit details
    Browse the repository at this point in the history

  2. 🐛 fix missing Function instance for (-->)

    @lsrcz
    lsrcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    f581702 View commit details
    Browse the repository at this point in the history

  3. 🎨 fix ormolu format bug

    @lsrcz
    lsrcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    f5ef321 View commit details
    Browse the repository at this point in the history

  4. 📝 update bit vector documentation

    @lsrcz
    lsrcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    ad4725f View commit details
    Browse the repository at this point in the history

  5. 🎨 fix ormolu error

    @lsrcz
    lsrcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    cbef1c0 View commit details
    Browse the repository at this point in the history

  6. ♻️ rename BV API

    @lsrcz
    lsrcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    635f779 View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2023

  1. ✨ utilities for type-level natural numbers

    @lsrcz
    lsrcz committed Feb 2, 2023
    Configuration menu
    Copy the full SHA
    27ed9b4 View commit details
    Browse the repository at this point in the history

  2. 📝 update Haddock documentation

    @lsrcz
    lsrcz committed Feb 2, 2023
    Configuration menu
    Copy the full SHA
    97a8454 View commit details
    Browse the repository at this point in the history

  3. ✨ rework the LinkedRep class, make =~> and -~> use symbolic argument … 

    …types
    @lsrcz
    lsrcz committed Feb 2, 2023
    Configuration menu
    Copy the full SHA
    e0c38ce View commit details
    Browse the repository at this point in the history

Commits on Feb 3, 2023

  1. 📝 update function type documentations

    @lsrcz
    lsrcz committed Feb 3, 2023
    Configuration menu
    Copy the full SHA
    5bac14a View commit details
    Browse the repository at this point in the history

  2. 🎨 fix ormolu error

    @lsrcz
    lsrcz committed Feb 3, 2023
    Configuration menu
    Copy the full SHA
    a301c96 View commit details
    Browse the repository at this point in the history