Skip to content

Commit

Permalink
Filter and flatten markers (#4639)
Browse files Browse the repository at this point in the history 
## Summary

More marker simplification:
- Filters out redundant subtrees based on outer expressions, e.g. `a and (a or
b)` simplifies to `a`.
- Flattens nested trees internally, e.g. `(a and b) and c`

Resolves #4536.
  • Loading branch information
@ibraheemdev
ibraheemdev authored Jul 8, 2024
1 parent dc7ad3a commit ed4234d
Show file tree
Hide file tree
Showing 2 changed files with 296 additions and 32 deletions.
Loading

0 comments on commit ed4234d

Please sign in to comment.