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 Δ
How to iterate through a UTF-8 string correctly in OCaml? +3.36
unbound value with the out of Format.fprintf 0.00
segfault during executing gtk application 0.00
Best way to perform universal instantiation in Coq -4.37
Visible refinement of class methods 0.00
Frama-C: access to the cil/src/ext modules data and few others ques... +3.54
/*undefined sequence*/ in sliced code from Frama-C 0.00
How to have the dollar sign printed in a multi-line variable with G... 0.00
Frama-C/WP tutorial example "mismatch algorithm" 0.00
prefixing make output with target name - like ant does +3.64
Frama-C: Replacing a Cil Term in a Cil Predicate 0.00
GCC behaviour when calling a function with too many arguments -1.67
Introduce maths-functions specifications with ACSL/Frama-C 0.00
Type declaration using reals in ACSL/Frama-C 0.00
How to unfold a recursive function just once in Coq -1.20
Frama-C disabling wp qed 0.00
Frama-C unbound module Z build error 0.00
Ignore the assembler code in value analysis and sparecode 0.00
Order of evaluation for short-circuit operators and let in OCaml +3.85
user defined type for strings which starts with Letter +0.27
Frama-C and XML parser 0.00
OCaml custom compiler warnings -2.42
About requirements of array in frama-c 0.00
Using Impact analysis in Frama-C 0.00
Shorthand for constructor function +3.90
How to Add annotations for array of characters? 0.00
cil get varinfo from vid 0.00
Cannot load a plugin to frama-c with call to ocamlyices functions 0.00
OCaml visitor pattern +0.02
What does (*s mean in OCaml? +3.10
How to get the C file name from frama-c? +3.66
Set Intersection with Tail Recursion +3.61
What's the most-used data structure in OCaml to represent a Graph? +3.32
C syntax: Is the following 'extern volatile const' behavior consist... +1.00
Make a table containing tokens visible for both .mly an .mll -0.22
Get the string from a value by using its pretty printer +3.58
Compiling Frama-c under mac os x 10.9 0.00
Does gcc -nostdlib prevent explicit appending of standardlibs? 0.00
Dependancy issue with Lex/Yacc makefiles during parallel builds +3.90
Is it possible to let several lexers share same ident definitions? 0.00
PreCondition or PostCondtion in ACSL +3.76
How to supply function arguments from a list? 0.00
Using a single fold_left to find both length and sum of a list 0.00
Counting functions in C source code +0.82
two different results with insertion sort -0.33
finding the first occurence in a list -0.35
Understanding Frama-C logic labels 0.00
How to extend Map.Make functor -0.44
Strong pointers to varinfo that does not exist in AST? 0.00
Which sorting technique is this code? +1.99