edf-hpc/verrou

Issues

• Some typos

  #45 opened 9 months ago by nicolastd
  3

• Copy-paste typo in hashRatio?

  #39 opened 2 years ago by nestordemeure
  2

• A proposal for a more efficient parallel verrou_dd

  #8 opened 4 years ago by HadrienG2
  3

• Does it buid with Intel compilers ?

  #26 opened 4 years ago by aminiussi
  5

• Detection of cancellations

  #13 opened 4 years ago by ffevotte
  1

• Documentation of uncounted operation

  #29 opened 4 years ago by hbrunie
  6

• Parallel verrou_dd crashes with ValueError

  #10 opened 4 years ago by HadrienG2
  3

• Improving verrou_dd cache invalidation

  #9 opened 4 years ago by HadrienG2
  2

• README broken link to manual

  #36 opened 4 years ago by alexis51151
  0

• Does not compile with openmpi-4.0.3 (and it seems with any openmpi >= 3.0)

  #35 opened 4 years ago by ojamond
  2

• The documention for setting the precision of the MCA backend is wrong

  #34 opened 4 years ago by ojamond
  1

• Verrou is incompatible with valgrind-master (after versions >3.15)

  #27 opened 4 years ago by ffevotte
  1

• Loading VERROU_* env variable with branch 3.16 of valgrind fails

  #31 opened 4 years ago by lathuili
  2

• Provide an option to exclude exact zeros from cancellation reports

  #28 opened 5 years ago by HadrienG2
  0

• GDB's "stop-at" commands do not work

  #24 opened 5 years ago by HadrienG2
  1

• Improving reproducibility in verrou_dd

  #16 opened 6 years ago by HadrienG2
  1

• fmaintrin.h

  #25 opened 5 years ago by aminiussi
  5

• verrou 2.1.0 + glibc 2.27's "pow" = segfault

  #23 opened 6 years ago by HadrienG2
  1

• RDDMin's dd.sym folder name can go over the filesystem limit

  #22 opened 6 years ago by HadrienG2
  1

• Idea: Alternate operating mode which alters FP precision

  #11 opened 6 years ago by HadrienG2
  2

• Consider capping verrou_dd's delta list length

  #14 opened 6 years ago by HadrienG2
  2

• Incompatibility between Valgrind 3.13 and recent binutils

  #19 opened 6 years ago by HadrienG2
  4

• Adding call graph information to verrou_dd

  #15 opened 6 years ago by HadrienG2
  2

• "Exclude below" symbol selection

  #21 opened 6 years ago by HadrienG2
  1

• Dealing with a verrou-unstable compiler intrinsic

  #20 opened 6 years ago by HadrienG2
  0

• Branch off valgrind instead of patching it

  #17 opened 6 years ago by HadrienG2
  2

• Broken feature: VERROU_[START/STOP]_INSTRUMENTATION

  #12 opened 6 years ago by ffevotte
  0

• verrou_dd usability issues

  #7 opened 7 years ago by HadrienG2
  6

• verrou_dd fails with parse errors in the valgrind output

  #6 opened 7 years ago by HadrienG2
  3

• Correctly handle floating-point exceptions: +/-NaN, +/-Inf, NaN with payload

  #4 opened 7 years ago by ffevotte
  1

• Control the seed of the Random Number Generator

  #3 opened 8 years ago by ffevotte
  2

• Problem when excluding symbols resulting from C++ template instanciations

  #1 opened 8 years ago by ffevotte
  1

• Simultaneous use of the --gen-exclude, --exclude and --rounding-mode command-line switches

  #2 opened 8 years ago by ffevotte
  0