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
Fix multiplication and division of complex numbers #8376
Fix multiplication and division of complex numbers #8376
Changes from all commits
e449479
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
Check warning on line 156 in src/goto-programs/remove_complex.cpp
Codecov / codecov/patch
src/goto-programs/remove_complex.cpp#L156
Check warning on line 180 in src/goto-programs/remove_complex.cpp
Codecov / codecov/patch
src/goto-programs/remove_complex.cpp#L177-L180
Check warning on line 185 in src/goto-programs/remove_complex.cpp
Codecov / codecov/patch
src/goto-programs/remove_complex.cpp#L182-L185
Check warning on line 188 in src/goto-programs/remove_complex.cpp
Codecov / codecov/patch
src/goto-programs/remove_complex.cpp#L187-L188
Check warning on line 193 in src/goto-programs/remove_complex.cpp
Codecov / codecov/patch
src/goto-programs/remove_complex.cpp#L190-L193
Check warning on line 196 in src/goto-programs/remove_complex.cpp
Codecov / codecov/patch
src/goto-programs/remove_complex.cpp#L195-L196
Check warning on line 198 in src/goto-programs/remove_complex.cpp
Codecov / codecov/patch
src/goto-programs/remove_complex.cpp#L198
Check warning on line 132 in src/solvers/flattening/boolbv_floatbv_op.cpp
Codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L132
Check warning on line 136 in src/solvers/flattening/boolbv_floatbv_op.cpp
Codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L135-L136
Check warning on line 139 in src/solvers/flattening/boolbv_floatbv_op.cpp
Codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L138-L139
Check warning on line 141 in src/solvers/flattening/boolbv_floatbv_op.cpp
Codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L141
Check warning on line 148 in src/solvers/flattening/boolbv_floatbv_op.cpp
Codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L145-L148
Check warning on line 150 in src/solvers/flattening/boolbv_floatbv_op.cpp
Codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L150
Check warning on line 162 in src/solvers/flattening/boolbv_floatbv_op.cpp
Codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L152-L162
Check warning on line 164 in src/solvers/flattening/boolbv_floatbv_op.cpp
Codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L164
Check warning on line 173 in src/solvers/flattening/boolbv_floatbv_op.cpp
Codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L166-L173
Check warning on line 178 in src/solvers/flattening/boolbv_floatbv_op.cpp
Codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L175-L178
Check warning on line 181 in src/solvers/flattening/boolbv_floatbv_op.cpp
Codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L180-L181
Check warning on line 184 in src/solvers/flattening/boolbv_floatbv_op.cpp
Codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L183-L184
Check warning on line 191 in src/solvers/flattening/boolbv_floatbv_op.cpp
Codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L186-L191