Skip to content

Simplifier refactoring#107

Merged
Saloed merged 11 commits intoUnitTestBot:mainfrom
Bupaheh:simplifier-extensibility
Jun 19, 2023
Merged

Simplifier refactoring#107
Saloed merged 11 commits intoUnitTestBot:mainfrom
Bupaheh:simplifier-extensibility

Conversation

@Bupaheh
Copy link
Copy Markdown
Contributor

@Bupaheh Bupaheh commented Apr 26, 2023 •
edited by Saloed
Loading

  • Improve simplifier extensibility
  • Separate simplification rules
  • Add rules composition

@Bupaheh Bupaheh force-pushed the simplifier-extensibility branch from 231d704 to 97ac7f4 Compare May 3, 2023 16:09
@Bupaheh Bupaheh marked this pull request as ready for review May 4, 2023 09:19
@Saloed Saloed self-requested a review May 4, 2023 11:44
Saloed
Saloed reviewed May 4, 2023
View reviewed changes
Comment thread ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/BoolSimplification.kt Outdated
Comment thread ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/BoolSimplification.kt
Comment thread ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/BvSimplification.kt
Comment thread ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/BvSimplification.kt
Comment thread ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/FpSimplification.kt Outdated
Comment thread ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/ArraySimplificationRules.kt Outdated
Comment thread ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/ArraySimplificationRules.kt Outdated
Comment thread ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/BoolSimplificationRules.kt Outdated
Comment thread ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/BvSimplificationRules.kt Outdated
@Bupaheh Bupaheh requested a review from Saloed May 4, 2023 17:18
@Bupaheh Bupaheh force-pushed the simplifier-extensibility branch from cdd6ee6 to 77d3b70 Compare May 10, 2023 20:53
Saloed
Saloed requested changes May 16, 2023
View reviewed changes
Comment thread ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/ArithSimplification.kt Outdated
Comment thread ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/FpSimplificationRules.kt Outdated
Comment thread ksmt-core/src/main/kotlin/io/ksmt/expr/rewrite/simplify/KBvExprSimplifier.kt
@Saloed
Copy link
Copy Markdown
Collaborator

Saloed commented May 16, 2023

Please add PR description with a brief overview.

@Bupaheh Bupaheh requested a review from Saloed June 8, 2023 08:32
@Bupaheh Bupaheh force-pushed the simplifier-extensibility branch from 1a121b8 to 94fb15d Compare June 16, 2023 20:42
@Saloed Saloed merged commit fe68394 into UnitTestBot:main Jun 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@Saloed Saloed Saloed approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@Bupaheh @Saloed