This repository was archived by the owner on Jul 8, 2026. It is now read-only.
#224 - Introduce simplification rules - #579
Draft
sys27 wants to merge 1 commit into
Draft
Conversation
sys27
force-pushed
the
feature/simplification-rule
branch
from
September 14, 2022 19:05
c758595 to
6591f07
Compare
sys27
force-pushed
the
feature/simplification-rule
branch
2 times, most recently
from
October 14, 2022 11:44
0bd59b7 to
2c13cb0
Compare
sys27
force-pushed
the
feature/simplification-rule
branch
from
October 19, 2022 11:58
2c13cb0 to
c15b667
Compare
sys27
force-pushed
the
feature/simplification-rule
branch
from
June 24, 2023 13:59
763296b to
166e4b4
Compare
sys27
force-pushed
the
feature/simplification-rule
branch
from
July 6, 2023 12:18
166e4b4 to
9b1fc56
Compare
sys27
force-pushed
the
feature/simplification-rule
branch
from
July 15, 2023 15:01
9b1fc56 to
eb7f913
Compare
sys27
force-pushed
the
feature/simplification-rule
branch
from
August 23, 2023 18:28
eb7f913 to
74c9f9f
Compare
sys27
force-pushed
the
feature/simplification-rule
branch
from
September 15, 2023 12:32
74c9f9f to
ea6833f
Compare
sys27
force-pushed
the
feature/simplification-rule
branch
from
December 11, 2023 15:15
ea6833f to
0df4415
Compare
sys27
force-pushed
the
feature/simplification-rule
branch
2 times, most recently
from
December 20, 2023 18:56
117180e to
4bdac68
Compare
sys27
force-pushed
the
feature/simplification-rule
branch
from
December 23, 2023 17:02
4bdac68 to
3f4e547
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.