StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

James Wilcox

Rating
1508.15 (87,751st)

Reputation
2,520 (66,970th)

Page: 1 2 3

Title	Δ
What does the warning message "Selected triggers ..." mean?	0.00
Base 2 exponential of native int	+3.67
Array copy wants to modify source	0.00
Invariant set may vary	0.00
does z3 support proving inductive facts at all?	0.00
Triggers, #instances in Z3	0.00
Is it possible to detect inconsistent equations in Z3, or before pa...	-0.15
How to do induction on the length of a list in Coq?	+2.01
Show what patterns Z3 infers for quantifiers	0.00
Dependent types: enforcing global properties in inductive types	0.00
Unifying len and S len would lead to infinite value	0.00
Exponential method in dafny: invariant might not be maintained	0.00
Dependent types: Vector of vectors	+4.47
Filtering out elements in RoseTree	0.00
awk print first line and last line of instance	0.00
Semantic actions on Menhir	-3.65
Does Haskell have a combination of `when` and `unless`?	0.00
index out of bounds error in nested loop	+3.94
Dafny rejects a simple postcondition	0.00
Compilation with module refinement	0.00
What additional axioms do we need to add so that Z3 can verify the...	-0.15
Proving the 100 Prisoners and a lightbulb with Dafny	0.00
Sum of the elements of a sequence of integers: loop invariant might...	0.00
(Dafny) Searching in an array - loop variant bounded by zero?	0.00
(Dafny) Sorting an array - loop invariant	0.00
Dafny method return reversed character array	0.00
Dafny verifies insertion sort using swap	0.00
How do I change a concrete variable to an existentially quantified...	0.00
How to initialize a union object?	+2.42
Comparing floating point numbers in C	-1.26
Preserve whitespace in html	-3.15
C/C++ - Conditional header file inclusion not working	+2.88
Big O when adding together different routines	-2.62
Using sed/awk and regex to process logs	+4.10