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

Huge refactoring to make module structures clearer #146

Merged
merged 23 commits into from
Oct 26, 2023
Merged

Huge refactoring to make module structures clearer #146

merged 23 commits into from
Oct 26, 2023

Commits on Oct 25, 2023

  1. 🔥 remove SymBoolOp and SymIntegerOp

    @lsrcz
    lsrcz committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    e3347cd View commit details
    Browse the repository at this point in the history

  2. ♻️ move LogicalOp and ITEOp instances for symbolic primitives to Bool.hs

    @lsrcz
    lsrcz committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    0ef4670 View commit details
    Browse the repository at this point in the history

  3. ♻️ move ITEOp, LogicalOp, and SEq to dedicated modules

    @lsrcz
    lsrcz committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    b6101c1 View commit details
    Browse the repository at this point in the history

  4. ♻️ move SOrd instances for symbolic primitives to SOrd.hs

    @lsrcz
    lsrcz committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    7b93142 View commit details
    Browse the repository at this point in the history

  5. ♻️ move GPretty instances for symbolic primitives to GPretty.hs

    @lsrcz
    lsrcz committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    560bd74 View commit details
    Browse the repository at this point in the history

  6. ♻️ move EvaluateSym instances for symbolic primitives to Evaluate.hs

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

Commits on Oct 26, 2023

  1. ♻️ change Evaluate.hs to EvaluateSym.hs

    @lsrcz
    lsrcz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    fb57c2c View commit details
    Browse the repository at this point in the history

  2. 🐛 fix build on older compilers

    @lsrcz
    lsrcz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    614b7ed View commit details
    Browse the repository at this point in the history

  3. ♻️ move Solvable instances for symbolic primitives to Solvable.hs

    @lsrcz
    lsrcz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    7b2bfd6 View commit details
    Browse the repository at this point in the history

  4. ♻️ move ToCon instances for symbolic primitives to ToCon.hs

    @lsrcz
    lsrcz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    5d79de0 View commit details
    Browse the repository at this point in the history

  5. ♻️ move ToSym instances for symbolic primitives to ToSym.hs

    @lsrcz
    lsrcz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    ba4eccc View commit details
    Browse the repository at this point in the history

  6. ♻️ move ExtractSymbolics instances for symbolic primitives to Extract… 

    …Symbolics.hs
    @lsrcz
    lsrcz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    83538d9 View commit details
    Browse the repository at this point in the history

  7. ♻️ move Substitute instances for symbolic primitives to Substitute.hs

    @lsrcz
    lsrcz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    c5c5fce View commit details
    Browse the repository at this point in the history

  8. ♻️ change Substitute.hs to SubstituteSym.hs

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

  9. 🔥 removed ExtractSymbolics instance for SymbolSet and removed Model.h… 

    …s-boot file
    @lsrcz
    lsrcz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    bb11c20 View commit details
    Browse the repository at this point in the history

  10. ♻️ remove the TabularFun.hs-boot file

    @lsrcz
    lsrcz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    b1187f0 View commit details
    Browse the repository at this point in the history

  11. ♻️ split SafeLinearArith and SafeDivision into two files

    @lsrcz
    lsrcz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    78239d4 View commit details
    Browse the repository at this point in the history

  12. ♻️ move SafeDivision and SafeLinearArith instances for symbolic primi… 

    …tives to the file defining the classes
    @lsrcz
    lsrcz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    62a2704 View commit details
    Browse the repository at this point in the history

  13. ♻️ move the instances for AssertionError and VerificationCondition to… 

    … reduce cyclic dependency
    @lsrcz
    lsrcz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    6e32cf7 View commit details
    Browse the repository at this point in the history

  14. ♻️ move Solvable instances back to SymPrim.hs, remove SymPrim.hs-boot

    @lsrcz
    lsrcz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    82e1973 View commit details
    Browse the repository at this point in the history

  15. ♻️ remove unused extension

    @lsrcz
    lsrcz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    dc07fc8 View commit details
    Browse the repository at this point in the history

  16. ♻️ move instances to remove UnionM.hs-boot

    @lsrcz
    lsrcz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    5b23957 View commit details
    Browse the repository at this point in the history

  17. 📝 update CHANGELOG.md

    @lsrcz
    lsrcz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    400681b View commit details
    Browse the repository at this point in the history