edf-hpc/verrou
View on GitHub ↗ ★ 74 C
floating-point errors checker
3 mentions on Hacker News by 2 people: 0 stories, 3 comments · first 2018-09-23 · latest 2022-06-05
20082026
-
…times with student code already. [2] https://tel.archives-ouvertes.fr/tel-03110553/document [3] https://github.com/edf-hpc/verrou [4] https://github.com/verificarlo/verificarlo
comment by an1sotropy · 2022-06-05 · in C library for multiple-precision floating-point arithmetic with correct rounding -
…on all those methods, their pros and cons. [0]: https://gitlab.com/numerical_shaman/shaman [1]: https://github.com/edf-hpc/verrou [2]: https://tel.archives-ouvertes.fr/tel-03116750
comment by nestorD · 2021-02-20 · in NSan: a floating-point numerical sanitizer -
…arithmetic on your code (I did not work on it but exchanged a lot with their team). [0] https://github.com/edf-hpc/verrou
comment by nestorD · 2018-09-23 · in High Performance Computing: Are We Just Getting Wrong Answers Faster? (1998) [pdf]