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 Δ
Frama-C preprocessor inserts \old to every pointer reference in ens... 0.00
Calculating the days of a month +1.05
Does Unix Cache Binaries? 0.00
OCaml : as keyword in pattern matching behaving strangely +0.02
Invalid assertion for overflow check Frama-C 0.00
Jessie plugin integration with Frama-c Aluminium 0.00
frama-c gui warning Mime type 'text/x-csrc' not found 0.00
Frama-C: Getting function outputs when using pointers 0.00
frama-c stops propagation: "Assertion got status invalid" 0.00
Is "\NearestEven" available in frama-c Aluminium-20160501? 0.00
How to define an infix (not symbolic aka not an operator) function... +2.02
Implementation of frama-clang 0.00
Slicing for multiple asserts 0.00
How many temporary variables Frama-C WP plugin can handle? 0.00
Frama-C make errors (Ubuntu 16.04 LTS): Error: Unbound module Dgraph 0.00
Frama-C make error 0.00
Makefile: read input variable and set several variables 0.00
bogus warning on write to pointer 0.00
ACSL - Can't prove function 0.00
Frama-C is proving invalid assertions 0.00
Verification of a linear search with Frama-C +2.62
frama-c [kernel] user error: Invalid symbol 0.00
OCaml knight tour 0.00
ACSL specification of a function that appends a string to a dynamic... 0.00
How to list current package versions in OPAM? +1.19
OCaml error : "the variant type has no constructor ::" 0.00
How to link libssh library in Makefile 0.00
frama-c wp const variable and const array 0.00
how to rewrite code using tail recursion -0.10
Prooving freeable with frama-c WP plugin 0.00
Coq inductive reasoning about ACSL inductive predicates? +0.41
Frama-c fails to parse an ACSL manual example list_length involving... 0.00
Frama-c pointer incompatible type +1.03
Save data persistently for every instance of Frama-C 0.00
Makefile : what is the difference between '-j' option and &... +0.37
LTL Formula with Aorai 0.00
How to track differences between the C source and Frama-C's pre... 0.00
Array of type that user enter -0.01
How to use this function Db.Slicing.Select.select_stmt with frama-C 0.00
How can i use the modules written for Frama-C' s plugin? +3.49
System Dependance Graph with frama-c 0.00
slevel option in value analysis of FramaC 0.00
Frama-C slice: parallelizable loop 0.00
Format of weakest precondition printed by wp plugin 0.00
Model non-deterministic value integer in Frama-C +5.16
assume statement modelling in FramaC 0.00
How do I install OPAM package documentation? -2.90
Understanding how to use post- condition and loop-invariant correct... 0.00
OCaml verbose type error -0.67
Coq notation for multi type list +1.40