StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

Pascal Cuoq

Rating
1688.84 (203rd) 		Reputation
67,924 (1,290th)
Page: 1 ... 7 8 9 10 11 ... 23
Title Δ
Why does frama-c yield a syntax error on this? 0.00
Unsigned Bitwise Shift Operators [C11] +0.43
Proving correctness of algorithm +0.33
Is Modulus or Remainder % Signed Value Always the same as And Opera... +0.33
Frama-C Neon missing C library files? 0.00
Why doesn't "%0.2f" % (.3) return "0.29"? -2.35
Typed integer constant in OCaml +0.30
Frama-C: Jessie plugin can't prove bitwise-or safety (w.r.t. overfl... 0.00
Descending offset fraction method 0.00
OCaml Increment mutable variable several times 0.00
Signed integers' undefined behavior and Apple Secure Coding Guide +2.01
frama-c mingw __restrict__ keyword 0.00
Range analysis of floating point values? -2.06
Why does the compiler stop complaining about `type unit` in this ca... +0.36
Truncating 64-bit IEEE doubles to 61-bits in a safe fashion +0.32
Easiest way to convert a decimal float to bit representation manual... -0.68
What's the type of (2*3.14f)? +2.37
OCaml compilation speed & functors 0.00
Compressing floating point that contain parsed decimal numbers +1.62
Is x/a the same as x*(1/a) for floats? -0.21
Will shadowed binding be GCed? +1.20
Binary representation of integers and floating point numbers: is th... 0.00
Does Java strictfp modifier have any effect on modern CPUs? 0.00
The value restriction +0.36
frama-c usage on windows 7 0.00
One-byte-off pointer still valid in C? -1.97
Unsigned arithmetic and integer overflow +1.81
Does the C standard make an guarantees about the relationship betwe... +0.36
NaN and +-INF in floating point number system following IEEE754 0.00
The mod of negative numbers in C +0.32
C syntax: Is the following 'extern volatile const' behavior consist... -0.12
Function code aligned to 16 bytes 0.00
Rounding a float upward to an integer, how reliable is that? -0.20
Rounding a double to avoid round off in subsequent summation +0.34
Subtraction of binary fractions using 2's complement 0.00
How to avoid floating point round off error in unit tests? -1.30
How do I get the quotient of two ints to round up? (5/2) +1.94
Should I use bit manipulation on float point numbers +1.20
Binary division of odd number by 10 to float -2.05
Linux : combining the "ls" and "cp" command -0.05
Compiler Constuction +0.94
decimal32 vs float32, which is better for storage +1.38
How to check if element of array is int or float? +0.34
Moving modulus operator to the other side of the equation +0.79
OCaml - Creating a function which prompts for floats and returns a... +0.34
How to get rid of different results of logarithm between CUDA and C... +1.24
C++ handling of excess precision +1.54
Why gcc disassembler allocating extra space for local variable? +1.59
frama-c jessie killed during VC generation 0.00
acos() bad results with two close points in C -0.29