-
Notifications
You must be signed in to change notification settings - Fork 27
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.
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
Translation of bitwise operators #3172
Open
ChristianHein
wants to merge
4
commits into
KeYProject:main
Choose a base branch
from
ChristianHein:hein/bitwiseOperatorsTranslation
base: main
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Open
Translation of bitwise operators #3172
ChristianHein
wants to merge
4
commits into
KeYProject:main
from
ChristianHein:hein/bitwiseOperatorsTranslation
Conversation
This file contains 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
You will need to update |
ChristianHein
force-pushed
the
hein/bitwiseOperatorsTranslation
branch
from
June 15, 2023 13:12
7f11767
to
8b96b8a
Compare
Corrects mismatches between the program variables referenced in the `\replacewith` and `\find` statements. Unit tests were updated by repeating the same changes in `taclets.old.txt`.
Some bitwise operations were missing translation taclets for the case that the parameters are of type `long`. For example, `andJlong` did not have a definition.
ChristianHein
force-pushed
the
hein/bitwiseOperatorsTranslation
branch
from
June 15, 2023 13:18
8b96b8a
to
52d730d
Compare
Codecov Report
@@ Coverage Diff @@
## main #3172 +/- ##
============================================
- Coverage 37.78% 37.78% -0.01%
Complexity 16851 16851
============================================
Files 2052 2052
Lines 125409 125409
Branches 21220 21220
============================================
- Hits 47386 47384 -2
- Misses 72187 72189 +2
Partials 5836 5836 see 1 file with indirect coverage changes 📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
unsignedshiftrightJlong
,xorJlong
,orJlong
, andandJlong
. Without these, one cannot use the Java operators>>>
,^
,|
, and&
with parameters of typelong
.\find
and\replacewith
statements. This bug was not present in 208396f.