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 prove this assign clause? 0.00
How to code recursive string other parameter in Ocaml 0.00
How to validate code that read/write to hardware memory mapped regi... 0.00
Find the middle of 3 numbers 0.00
Why can't get lexbuf.lex_buffer_len in ocaml's compiler code? 0.00
How to find all exception-causing functions in OCaml sources -0.44
How to install Frama-c on a computer without internet connection 0.00
Simple parsing of strings in Ocaml +0.17
Safe external program execution with OCaml +0.91
Frama-c cannot prove validity of buffer pointer of type other than... 0.00
Frama-c fails to prove fact about pointer comparison 0.00
How to fully match a dereferenced pointer with CIL module? -0.10
What is the meaning and purpose of "after" column in Fram... 0.00
Cannot prove euclidean division in frama-c +0.39
Frama-C multiline macro definition syntax error +0.40
Make: super ignore errors 0.00
Frama-c execution time & heap memory bounds proof -0.62
How to link .cma files to my own Frama_C plugin? 0.00
Frama-c : Function calls and static variables 0.00
How can I visit my statements with vstmt_aux in Frama-C 0.00
Unbounded function in EACSL Frama-C plugin 0.00
Frama-C aborted Invalid user input -0.23
What is the difference between Core_kernel.Heap and Core_kernel.FHe... 0.00
Error compiling E-ACSL FRAMA-C 0.00
OCaml - difference between read_int and Scanf -0.30
Frama-C: how to get only line number +0.42
Ocaml - Constructor with a polymorphic argument -0.29
Parametrized module types +0.17
How to handle integer overflow in OCaml when converting from float... -0.09
Frama-c: how to access a __malloc* variable allocated by value plugin 0.00
Is a redeclaration of an untagged structure a compatible type? -0.48
Frama-c: save plugin analysis results in c file 0.00
How do I use the results of WP in another plug-in? 0.00
How to avoid detecting uninitialized variables when using the... 0.00
Slicing a C code with Frama-c 0.00
Analyzing a simple C++ program with Frama-C 0.00
WP global invariant 0.00
Suppress non-exhaustive match warning from let using list 0.00
How to prove an iterative loop with computations in frama-c wp? 0.00
How to prove why3 generated script in coq? 0.00
How to force a memory location to be valid in ACSL? +0.39
How do I debug ACSL in frama-c? 0.00
Frama-c to generate a graph object instead of dot files 0.00
How to copy results of a plugin to another project? 0.00
ACSL "assigns" annotation for inner structs and fields of... 0.00
How can I determine which preprocessor macros in foo.c originate in... -1.81
Using ocamlc to compile libraries independently +2.03
Merge C source files as CIL 0.00
Lexer/filter for comments -0.15
How customize machine dependency in Frama-C? 0.00