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

Improve the partial evaluation for bit vectors #176

Merged
merged 8 commits into from
Feb 23, 2024
Merged

Improve the partial evaluation for bit vectors #176

merged 8 commits into from
Feb 23, 2024

Commits on Feb 22, 2024

  1. ✨ Add some better peval for bvSelect

    @lsrcz
    lsrcz committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    d797383 View commit details
    Browse the repository at this point in the history

  2. ✨ Add peval for bvSelect on bvConcat

    @lsrcz
    lsrcz committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    aefb9ae View commit details
    Browse the repository at this point in the history

  3. ✨ Add peval select on extend

    @lsrcz
    lsrcz committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    2df5720 View commit details
    Browse the repository at this point in the history

  4. ✨ Improve bvExtend peval

    @lsrcz
    lsrcz committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    d40fd7e View commit details
    Browse the repository at this point in the history

  5. 🎨 Add canonicalization for bvconcat

    @lsrcz
    lsrcz committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    5e87159 View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2024

  1. 🎨 automated ormolu commit

    @lsrcz @github-actions
    lsrcz authored and github-actions[bot] committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    d8322b3 View commit details
    Browse the repository at this point in the history

  2. 🐛 Fix build on older compilers

    @lsrcz
    lsrcz committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    0a5928a View commit details
    Browse the repository at this point in the history

  3. 📝 Update CHANGELOG.md

    @lsrcz
    lsrcz committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    be0048d View commit details
    Browse the repository at this point in the history