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

Add IEEE 754 TiesToAway rounding mode #8515

Merged
merged 1 commit into from
Feb 11, 2025

Add IEEE 754 TiesToAway rounding mode

5c62ecc
Select commit
Loading
Failed to load commit list.
Merged

Add IEEE 754 TiesToAway rounding mode #8515

Add IEEE 754 TiesToAway rounding mode
5c62ecc
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Feb 11, 2025 in 0s

46.80% of diff hit (target 79.60%)

View this Pull Request on Codecov

46.80% of diff hit (target 79.60%)

Annotations

Check warning on line 1172 in src/solvers/floatbv/float_bv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/floatbv/float_bv.cpp#L1172 

Added line #L1172 was not covered by tests

Check warning on line 1174 in src/solvers/floatbv/float_bv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/floatbv/float_bv.cpp#L1174 

Added line #L1174 was not covered by tests

Check warning on line 1183 in src/solvers/floatbv/float_bv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/floatbv/float_bv.cpp#L1183 

Added line #L1183 was not covered by tests

Check warning on line 998 in src/solvers/floatbv/float_utils.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/floatbv/float_utils.cpp#L998 

Added line #L998 was not covered by tests

Check warning on line 64 in src/solvers/floatbv/float_utils.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/floatbv/float_utils.h#L62-L64 

Added lines #L62 - L64 were not covered by tests

Check warning on line 3921 in src/solvers/smt2/smt2_conv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L3920-L3921 

Added lines #L3920 - L3921 were not covered by tests

Check warning on line 3948 in src/solvers/smt2/smt2_conv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L3945-L3948 

Added lines #L3945 - L3948 were not covered by tests

Check warning on line 3950 in src/solvers/smt2/smt2_conv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L3950 

Added line #L3950 was not covered by tests

Check warning on line 3952 in src/solvers/smt2/smt2_conv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L3952 

Added line #L3952 was not covered by tests

Check warning on line 1098 in src/solvers/smt2/smt2_parser.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_parser.cpp#L1097-L1098 

Added lines #L1097 - L1098 were not covered by tests

Check warning on line 1103 in src/solvers/smt2/smt2_parser.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_parser.cpp#L1102-L1103 

Added lines #L1102 - L1103 were not covered by tests

Check warning on line 901 in src/util/ieee_float.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L898-L901 

Added lines #L898 - L901 were not covered by tests

Check warning on line 977 in src/util/ieee_float.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L977 

Added line #L977 was not covered by tests

Check warning on line 979 in src/util/ieee_float.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L979 

Added line #L979 was not covered by tests
View more details on Codecov