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.
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
Overloaded Operators for KeY lang #3032
base: main
Are you sure you want to change the base?
Overloaded Operators for KeY lang #3032
Changes from 34 commits
fac35af
9689360
2876402
a30b91e
58ab4f0
3790027
6c4f1a6
d059b75
eecbccf
0222157
c3708ae
9baeb5b
fd4963a
4ff4563
b14b741
9b54c0b
dda6ea1
b9fd5a6
ab2a6be
2aa5097
75efea8
36efc6b
e7d9172
e59b436
c5abd20
241cd20
41c5fb6
b388f45
0f2788b
dcdaf04
2e48d16
9188f0c
097994a
91abf3d
62c5c50
470be0a
20b3020
29fda88
8f5e534
953a33f
dc11e4c
06f7acb
ccbe4c1
1247f70
2b5d499
ea65e16
f9975f2
48ca4e7
a723d29
77eab70
4c44e9a
9c1dd90
bbe9db4
8157393
71354b6
3053fc1
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
Large diffs are not rendered by default.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This seams to deviate from the PR description