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 ... 5
Title Δ
Frama-c fails to prove verify.c from Allan Blanchard's tutorial 0.00
GNU-Make: Remote command with ssh as the shell? 0.00
How to prove the functionality of a C stringCompare function with F... 0.00
any way to specify preconditions inside loop in frama C? 0.00
How do I write an "is power of 2" predicate in ACSL? 0.00
How can I define a val using another val in objects of Ocaml? +1.95
How do you tell Frama-C and Eva that an entry point's parameter... -0.61
Timeout while proving the WP using Alt-ergo on Frama C 0.00
User Error: Prover 'alt-ergo' not found in why3.conf 0.00
How to install a specific OCaml branch on github as an opam switch 0.00
ACSL list example in the documentation generate a bad sounding warn... 0.00
Frama-C reports "invalid ghost in extern linkage specification... 0.00
frama-c slicing plugin appears to discard used stack values 0.00
Verifying no unsigned integer wrap-around 0.00
Verifying matrix transpose function in FRAMA-C 0.00
Custom json generator for variant of a sum type with ppx_deriving_y... 0.00
What loop invariants to use for an integer logarithm? 0.00
How to save types of variables to a file using Frama-C 0.00
Make variable that is only passed from the command line -0.49
Is this a bug in GNU make's `filter`? 0.00
ACSL Logic Struct Declarations Not Working as in Reference Manual 0.00
Formal proof of a recursive Quicksort using frama-c 0.00
Verification of Shell Sorting algorithm loop invariants? 0.00
Performing dead code elimination / slicing from original source cod... +0.39
Sparecode analysis in Frama-C 0.00
ACSL proof of a function that checks if an array is sorted in incre... 0.00
(Ocaml) unbound module error on visual code 0.00
Any way to dump the alt-ergo proof obligations that frama-c creates? 0.00
Syntax error when trying to use inductive predicate 0.00
Dynamic array with Frama-C and Eva 0.00
Eva plugin of Frama-C reports "invalid user input" after... 0.00
Checking C code for invalid memory access with Frama-C 0.00
Why can Eva plugin calculate "(a >> 15) & 1" bu... 0.00
How could I filter .csv generated by "report" plug-in in... 0.00
How to divide a list of characters (that represents a word) into al... 0.00
Finding all permutations for a given number of football games in oc... +0.03
Can I skip eva's assertion on signed overflow? 0.00
Enforce assumptions made by WP memory model in Frama-C 0.00
Coq file generated by WP does not compile 0.00
Why locally disabling warning about partial application does not se... 0.00
Why Eva plugin of Frama-c return unkown when it acctually found a c... 0.00
Can the WP plugin handle unions and type punning? 0.00
If with many condition in Ocaml 0.00
How to use thread module in OCaml 0.00
Satisfying Proof Obligations for memcpy? [Frama-C] 0.00
Whether frama-c can get the range of variables before a particular... 0.00
How do I prove code with a real axiomatic in Frama-C -0.42
Can ACSL denote that an assignment should be hidden? 0.00
Specifying Referential transparency in ACSL 0.00
Frama-C order function 0.00