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

Bitvector arithmetics MBP #34

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

Bitvector arithmetics MBP #34

wants to merge 33 commits into from

Commits on Aug 9, 2022

  1. catch2 unit testing framework

    @Almazis
    Almazis committed Aug 9, 2022
    Configuration menu
    Copy the full SHA
    8322953 View commit details
    Browse the repository at this point in the history

  2. example of expr unit test

    @Almazis
    Almazis committed Aug 9, 2022
    Configuration menu
    Copy the full SHA
    39c0e71 View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2022

  1. Some bv code

    @Almazis
    Almazis committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    8f9438d View commit details
    Browse the repository at this point in the history

  2. added some bv rules

    @Almazis
    Almazis committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    eb9403c View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2022

  1. rewrite getLiterals

    @Almazis
    Almazis committed Aug 19, 2022
    Configuration menu
    Copy the full SHA
    e18b778 View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2022

  1. some new bv code

    @Almazis
    Almazis committed Aug 22, 2022
    Configuration menu
    Copy the full SHA
    89508b2 View commit details
    Browse the repository at this point in the history

  2. typeof bv operations

    @Almazis
    Almazis committed Aug 22, 2022
    Configuration menu
    Copy the full SHA
    53b7d6a View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2022

  1. get literals for bv

    @Almazis
    Almazis committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    94b9b0e View commit details
    Browse the repository at this point in the history

  2. vscode and test files added

    @Almazis
    Almazis committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    02623be View commit details
    Browse the repository at this point in the history

  3. [fix] add header

    @Almazis
    Almazis committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    5197bd7 View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2022

  1. the core of bv normalization

    @Almazis
    Almazis committed Aug 30, 2022
    Configuration menu
    Copy the full SHA
    6c019d9 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2022

  1. some bv utils

    @Almazis
    Almazis committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    15499c4 View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2022

  1. mbputils changes for bv

    @Almazis
    Almazis committed Sep 6, 2022
    Configuration menu
    Copy the full SHA
    63de6c9 View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2022

  1. overflow basic check

    @Almazis
    Almazis committed Sep 9, 2022
    Configuration menu
    Copy the full SHA
    05d7b11 View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2022

  1. simple version of bvQE

    @Almazis
    Almazis committed Sep 12, 2022
    Configuration menu
    Copy the full SHA
    58b3413 View commit details
    Browse the repository at this point in the history

  2. some bugfixes

    @Almazis
    Almazis committed Sep 12, 2022
    Configuration menu
    Copy the full SHA
    8471eb9 View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2022

  1. changed overflow check

    @Almazis
    Almazis committed Sep 14, 2022
    Configuration menu
    Copy the full SHA
    90d619a View commit details
    Browse the repository at this point in the history

  2. added new normalization rules

    @Almazis
    Almazis committed Sep 14, 2022
    Configuration menu
    Copy the full SHA
    1020d81 View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2022

  1. normalizator runs

    @Almazis
    Almazis committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    4ee6390 View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2022

  1. Refactoring and bugfix

    @Almazis
    Almazis committed Sep 19, 2022
    Configuration menu
    Copy the full SHA
    cdff825 View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2022

  1. added bounds merging for bv

    @Almazis
    Almazis committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    2ce4c97 View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2022

  1. minor bugfix

    @Almazis
    Almazis committed Sep 21, 2022
    Configuration menu
    Copy the full SHA
    9861922 View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2022

  1. minor bugfix

    @Almazis
    Almazis committed Sep 23, 2022
    Configuration menu
    Copy the full SHA
    9866ff1 View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2022

  1. Format of ZExprConverter

    @Almazis
    Almazis committed Sep 27, 2022
    Configuration menu
    Copy the full SHA
    9eba623 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2022

  1. added div rules

    @Almazis
    Almazis committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    054349b View commit details
    Browse the repository at this point in the history

  2. rewrite burem

    @Almazis
    Almazis committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    87f9c82 View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2022

  1. Lazy MBP

    @Almazis
    Almazis committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    57b2f91 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2022

  1. Merge branch 'master' into bv_utils

    @Almazis
    Almazis committed Oct 3, 2022
    Configuration menu
    Copy the full SHA
    5b6fede View commit details
    Browse the repository at this point in the history

  2. codestyle fixes

    @Almazis
    Almazis committed Oct 3, 2022
    Configuration menu
    Copy the full SHA
    0592fe6 View commit details
    Browse the repository at this point in the history

  3. disable unit tests by default

    @Almazis
    Almazis committed Oct 3, 2022
    Configuration menu
    Copy the full SHA
    fe6d6b6 View commit details
    Browse the repository at this point in the history

  4. clean up vscode files

    @Almazis
    Almazis committed Oct 3, 2022
    Configuration menu
    Copy the full SHA
    300f5b1 View commit details
    Browse the repository at this point in the history

  5. bench files removed

    @Almazis
    Almazis committed Oct 3, 2022
    Configuration menu
    Copy the full SHA
    bff92fe View commit details
    Browse the repository at this point in the history

  6. pr cleanup

    @Almazis
    Almazis committed Oct 3, 2022
    Configuration menu
    Copy the full SHA
    4c040c3 View commit details
    Browse the repository at this point in the history