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 ... 12 13 14 15 16 ... 23

Title	Δ
Compare and jump instruction as one instruction	-0.65
Is 'goto' smart for correct working with stack variables in C (not...	+1.32
Which tool can list writing access to a specific variable in C?	-0.96
Strange variable-sized array declaration	-1.15
Is there any scenario where function fma in libc can be used?	0.00
Why does incrementing with CTRL-A in Vim take me from "07"...	-0.61
Remainder operator in c89 and c99	+0.10
what is an unsound cast?	0.00
Can someone explain what are strong updates and give an example whi...	0.00
Frama-C option -no-simplify-cfg does not work	0.00
Why Integer("09") throwing exception in ruby while Intege...	+1.41
what is the reason for explicitly declaring L or UL for long values	+1.23
Can a shift using the CL register result in a partial register stall?	0.00
why the input argument on population count must be unsigned	+1.11
How do I detect critical sections in a C program by analyzing it pr...	0.00
Compiler Optimization: const on non-pointer function arguments in C	+0.37
How does the OCaml type inferencing algorithm work?	+1.67
Reassigning chars in a char array	-0.42
Why does the compiler warn about and ignore the call to my function...	+1.34
OCaml Option get	+1.11
How to make gcc warn about returning the address of local variables?	+0.37
Pointers of several functions	+0.55
float to double conversion: why so many instructions?	-0.26
Post-increment, function calls, sequence point concept in GCC	+0.59
Why is there a rounding difference between my normal recursion and...	+0.93
From when did C start using variable length arrays?	+0.11
"-Weverything" yielding "Comparing floating point wi...	+0.37
Strange shell behaviour	-0.24
Static / Dynamic source code analysis	+0.39
Why does gcc create redundant assembly code?	-0.29
How to present big_int?	0.00
Double precision strange behaviour. Need an explanation	-0.79
Is Shifting more than 32 bits of a uint64_t integer on an x86 machi...	-0.96
variables value unexpectedly changes?	-0.33
ACSL set logic / frama-c syntax error	0.00
Meaning of \old in ACSL post-conditions	0.00
what's the meaning of the circle node in pdgs which is generated by...	+0.20
is begin..end in OCaml syntactic sugar?	+1.98
Segmentation fault occurs in the program sometimes, but not always....	+0.36
(float) casting does not work	-0.57
Why does the dependence graph of this scanf()-using program by Fram...	0.00
double-double precision floating point as sum of two doubles	0.00
which free tools can I use to generate the program dependence graph...	+0.37
Standard implementation of a linked list in C	+0.59
Static code analysis / Code annotations	0.00
Why white/gray/black in GC?	0.00
Adding floating-point values, result unexpected	+2.22
Looking for a verifier for C++ (like VCC for C)	+1.05
Equality in Ocaml hashtables	-0.59
used 'ignore' to pass the compiler	0.00