StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Virgile

Rating
1571.97 (3,821st)

Reputation
7,014 (22,895th)

Page: 1 2 3 4 5

Title	Δ
install Frama-C on Mac OS X	+4.91
Proofs for code that relies on unsigned integer overflow?	+0.92
Optimal Strategy For Coin Game	0.00
ensures proved even though code is defective?	0.00
How to cast the type in functors OCaml	-4.25
Use possibly invalid pointer in ACSL dependencies	0.00
Simple Makefile not taking include path	0.00
Extract to an OCaml file by using "Recursive Extraction"...	0.00
Do I get 3-address code in Frama-c	+3.98
Extraction mechanism of Coq generate "failwith "AXIOM TO...	0.00
Is it bad to have no default target in a Makefile	0.00
ACSL specification for a possibly infinite C function	0.00
Calling make from within a makefile	+3.89
Why make prints out the echo line?	0.00
Make: Compile .c files of rule	0.00
What does this ocaml snippet mean?	-4.55
How to write a functor over arrays and strings?	+4.19
How to call ML interface(functions) in C language	0.00
Makefile: strange behaviour in variable assignment	0.00
In Coq, which tactic to change the goal from `S x = S y` to `x = y`	-4.17
Makefile C in linux	-2.42
Can't use inversion on inductive predicate	0.00
Trie data structure in OCaml	+3.51
Type checks in Frama-c	0.00
How to specify the path for Frama-C include files?	0.00
What is this double declaration mean in C?	+4.44
Proof on less than and less or equal on nat	0.00
Refactoring Makefile for object files with different flags	0.00
Undeclared variables in sliced program	0.00
bash : replace variable value inside ' '	+2.66
Makefile/Shell: Append text to a name and use that name as a variable	0.00
Calling `command -v find` from GNU Makefile	0.00
C syntax parser	+2.12
Function that returns the median? (OCaml)	+4.08
Lifetime of temporary objects in C11 vs C99	0.00
Installing STAC on Ubuntu	0.00
Amending a complex Makefile for installing a library used in one mo...	0.00
keep track of legal values	0.00