Hadrien G.
Hadrien G.
This would be very convenient when using proptest for property-based testing.
See https://github.com/dtolnay/rust-toolchain/pull/94 for context.
I've gotten the chance to experiment with Verrou's new `--check-cancellation=yes` mode, and I find it very nice and helpful... but a bit prone to false positives on "true" zeroes (e.g....
Debugging rare failures with verrou_dd can be very difficult. Either you are lucky and the failure can be reproduced in upward/downward rounding mode, or you are in for a long...
When using libraries such as Eigen, verrou_dd finds sources of numerical instabilities deep inside of their implementation. This means that, for example, I can learn that numerical instabilities can occur...
Some functions are called from many different program contexts. This is for example the case with linear algebra libraries or transcendental functions, but can be generalized to any utility library....
I just discovered that the way the Rust compiler performs u64 -> f64 conversions is not stable under verrou's cool new `--rounding-mode=float` if the `sub` operation is being instrumented. Fair...
Recently, I tried packaging verrou using [Spack](https://spack.io/), and discovered that the current use of patchfiles on top of valgrind brings in some... complications in that process. One Spack maintainer suggested...
While I have commented on several other issues about what's needed before a final v1 release, I just realized that a single issue that centralizes this knowledge would make this...
To avoid issues like #114 in the future, I should add a musl build to CI. Hopefully replicating the dockerfile listed there, but with clippy lints and maybe tests on...