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

Implemented #80 and #82 #83

Merged
merged 13 commits into from
Aug 25, 2024
Merged

Implemented #80 and #82 #83

merged 13 commits into from
Aug 25, 2024

Commits on Aug 23, 2024

  1. 82-shrink-expr: removed redundant BitVec constructors from Expr

    @bruderj15
    bruderj15 committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    9596488 View commit details
    Browse the repository at this point in the history

  2. instances Real, Enum, Integral for Expr (BvSort n) and Expr IntSort 

    instance Bits (Bitvec n)
BvRotL/R now use Integral a instead of Proxy i
instances Real, Enum, Integral for Expr (BvSort n) and Expr IntSort
    @bruderj15
    bruderj15 committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    341110c View commit details
    Browse the repository at this point in the history

  3. 82-shrink-expr: added instances Eq, Ord, GEq, GCompare for Expr 

    Var now requires context: KnownSMTSort t
    @bruderj15
    bruderj15 committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    ff472f0 View commit details
    Browse the repository at this point in the history

  4. 82-shrink-expr: outsourced Value from Expr into separate module

    @bruderj15
    bruderj15 committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    59531f9 View commit details
    Browse the repository at this point in the history

  5. 82-shrink-expr: added docu

    @bruderj15
    bruderj15 committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    8063839 View commit details
    Browse the repository at this point in the history

  6. 82-shrink-expr: added instance Bits (Expr BoolSort)

    @bruderj15
    bruderj15 committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    c354686 View commit details
    Browse the repository at this point in the history

  7. 82-shrink-expr: added instance Bits (Expr BvSort)

    @bruderj15
    bruderj15 committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    e27bf7a View commit details
    Browse the repository at this point in the history

  8. 82-shrink-expr: removed functions bvRotL and bvRotR, use the Bits ins… 

    …tance instead
    @bruderj15
    bruderj15 committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    62611c2 View commit details
    Browse the repository at this point in the history

  9. 82-shrink-expr: inliner

    @bruderj15
    bruderj15 committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    9acfe9c View commit details
    Browse the repository at this point in the history

  10. 82-shrink-expr: removed Integraled from cabal-file

    @bruderj15
    bruderj15 committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    d8e0cfc View commit details
    Browse the repository at this point in the history

Commits on Aug 25, 2024

  1. 82-shrink-expr: simplified Bitvector example

    @bruderj15
    bruderj15 committed Aug 25, 2024
    Configuration menu
    Copy the full SHA
    3170d92 View commit details
    Browse the repository at this point in the history

  2. 82-shrink-expr: added instances Real, Enum for Expr RealSort

    @bruderj15
    bruderj15 committed Aug 25, 2024
    Configuration menu
    Copy the full SHA
    5f8b516 View commit details
    Browse the repository at this point in the history

  3. 82-shrink-expr: bump-version

    @bruderj15
    bruderj15 committed Aug 25, 2024
    Configuration menu
    Copy the full SHA
    3ade8c1 View commit details
    Browse the repository at this point in the history