This repository was archived by the owner on Apr 28, 2025. It is now read-only.

Refactor testing framework into a libm-test - #198

Closed

gnzlbg wants to merge 43 commits into

rust-lang:masterfrom

gnzlbg:libm_verify

Commits on Jul 4, 2019

Move libm to the crates directory
gnzlbg
committed
311f945
WIP: Verification of libm API
gnzlbg
committed
0d32984
libm-analyze: a proc macro to analyze libm APIs
gnzlbg
committed
5570b2f
The FP environment functions are private
gnzlbg
committed
fa2dde0
libm-test: expands tests for all libm APIs
gnzlbg
committed
28d7851
Remove old build.rs testing
gnzlbg
committed
4787bfc
Move most unit tests to the libm-test crate
gnzlbg
committed
38b1828
Only run system tests on x86_64-unknown-linux-musl for now
gnzlbg
committed
412595b
libm-analyze does not require proc_macro_diagnostics anymore
gnzlbg
committed
a3838d9
Add readmes to the two new crates
gnzlbg
committed
fae0b0a
Improve doc comments
gnzlbg
committed
6ef8fa7
Remove duplicate check in equal
gnzlbg
committed
e272698
Document and refactor libm-test a bit
gnzlbg
committed
7d73ae1
Reformat libm-analyze
gnzlbg
committed
7b9f17f
wasm32 should only build the libm crate on Azure
gnzlbg
committed
2460d47
Use of core::intrinsics was improperly feature-gated for wasm32
gnzlbg
committed
36958fd
Improve error messages for libm-test
gnzlbg
committed
c3afab4
Only run system tests for musl
gnzlbg
committed
17234d6
Fix typo
gnzlbg
committed
5e85499
Nitpicks
gnzlbg
committed
8abd2f9
Refactor the Call trait into the test lib
gnzlbg
committed
1d77d0a

Commits on Jul 5, 2019

Migrate libm-bench to libm-analyze
gnzlbg
committed
82a5c69
Fix typo
gnzlbg
committed
dd17777
Add exhaustive testing of the 32-bit APIs
gnzlbg
committed
8c06185
Add missing inline and nopanic attributes
gnzlbg
committed
63ec2ef
Deny missing no_panic and inline attrs
gnzlbg
committed
1eed20b
Add remaining no_panic and inline attrs
gnzlbg
committed
a11a6fe
Make all public APIs extern C to enforce nounwind and C API compat
gnzlbg
committed
a27bd10
Put exhaustive tests behind feature test
gnzlbg
committed
7b214c8
Always build exhaustive tests on CI
gnzlbg
committed
c8eeb45
Enforce extern C in libm-analyze
gnzlbg
committed
4eb8ed4
Really build the exhaustive tests on CI
gnzlbg
committed
1a49d70
Remove workarounds due to lack of extern C APIs
gnzlbg
committed
b10d776
Use inclusive range for testing all f32 bit patterns
gnzlbg
committed
480ebc1
Add nextafter and nextafterf
gnzlbg
committed
b849b08
Add nexttoward and signbit
gnzlbg
committed
308daa3
Fix segfaults in FMA for some inputs
gnzlbg
committed
7ef6fc2
Refactor random tests into lib; be more exhaustive at boundaries.
gnzlbg
committed
41b817d
Use approx_eq in unit tests
gnzlbg
committed
ae3ab74
Silence clippy warnings for libm and add clippy to CI
gnzlbg
committed
f81edcc
Refactor libm-test; add tests specifics for each type of API
gnzlbg
committed
f9f59e0
Fix clippy nits
gnzlbg
committed
e0fe716
Remove nexttoward/f, signbit/f, and disable fma system tests - failure
gnzlbg
committed
6e323e9