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

Refactoring Enum_rel using domains on class representatives only #1078

Merged
merged 15 commits into from
Apr 4, 2024
Merged

Refactoring Enum_rel using domains on class representatives only #1078

Show file tree
Hide file tree
Changes from 14 commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
c13135f
Refactoring `Enum_rel` using domains on class representatives only
Halbaroth Mar 26, 2024
6057022
Use stubs for `fold_leaves` and `map_leaves`
Halbaroth Apr 3, 2024
5707aab
Move the comment
Halbaroth Apr 3, 2024
d9ad40b
Add `as_singleton` in `Domain`
Halbaroth Apr 3, 2024
02b8645
Rename `case_split_limit` to `can_split`
Halbaroth Apr 3, 2024
2c27bcc
Inline the function SimpleDomains in `Enum_rel`
Halbaroth Apr 3, 2024
1e0deb7
Fix comment about the `unknown` function of `Domain`
Halbaroth Apr 4, 2024
2b0e898
Revert the modification of `unknown` in `Rel_utils`
Halbaroth Apr 4, 2024
1a70ddf
Preserve default domain during updates
Halbaroth Apr 4, 2024
e0a1c8f
Rename `unknown` into `default`
Halbaroth Apr 4, 2024
2e0a16c
Improve efficency of `get` and `add`
Halbaroth Apr 4, 2024
03c5af7
No intersection in `update`
Halbaroth Apr 4, 2024
9e1aed0
Restore bitv_rel and rel_utils
Halbaroth Apr 4, 2024
0a22844
Add comments
Halbaroth Apr 4, 2024
de7645e
Review changes
Halbaroth Apr 4, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading