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	Δ
While loop termination with null references in Dafny linked list im...	0.00
Proving size of Binary Search Tree in Dafny	0.00
Dafny How could I write a predicate to prove a string is sorted by...	0.00
Requiring to assert a[0] in a	0.00
how do I write a dafny function that checks if an array is sorted?	0.00
For an array in Dafny whats the difference between old(a[0]) and ol...	0.00
How do I prove the while loop terminates in Dafny?	0.00
How to define this regular language in Dafny?	0.00
How do you tell Dafny to use a lemma when validating termination	0.00
When are Dafny sequences equal?	0.00
Dafny handling bit vectors	0.00
What is the relation between Dafny's Hilbert epsilon operator a...	0.00
dafny modeling integer overflow	0.00
Can Dafny verify summing elements from the right?	0.00
dafny initial assert in loop not verifying yet same final assert ve...	0.00
dafny assertion violation when using the result of a method	0.00
verifying a predicate in dafny is true for all integers	0.00
why do we use implication instead of conjugation in dafny when desc...	0.00
dafny assertion violation error, not sure what the reason is	0.00
Assertion, forall, and maps: Universal quantifiers does not work wi...	0.00
Dafny if an assertion is true on entry and exit of a loop is it an...	0.00
If an array is sorted from 0 to i-1, and a[i-1] is lower than a[i],...	0.00
In Dafny can I define a method that maps over sets?	0.00
can dafny functions return two things in the same way as methods?	0.00
What does the dafny error "type error mismatch (function expec...	-0.01
dafny non aliased memory weird behavior	0.00
dafny pre-condition failure	0.00
Proving termination of BFS with Dafny	0.00
Assertion and Set Cardinality	0.00
Dafny difference between seq<int> and array<int>	0.00
Verification involving arrays	0.00
how to prove that turning a set into a sequence and back is an iden...	0.00
Does datatype support constant parameters?	0.00
Exhaustive List of Tactics In Dafny?	0.00
simplification in dafny, prove (a+b) / c == (a/c) + (b/c)	0.00
Dafny can't verify multiple iterators in while loop	0.00
Dafny iterator: precondition and modifes clause violated	0.00
What wrong with my dafny method. simple method postcondition might...	0.00
Dafny. Another case of call may violate context's modifies clause	0.00
Dafny. Prove that all values from an interval appear in seq	0.00
Asserting about the return value of a method involving sequences	0.00
in operator for sequences comporting weird in Dafny	0.00
strange index out of range In Dafny	0.00
Dafny can't prove equivalence of methods	0.00
Assertion fails after modifying another array in Dafny	-4.00
array initialization with a function	0.00
Dafny: Why is this assertion failing and how to fix it	0.00
How to read dafny counterexamples	0.00
Updating a map with another map in Dafny	0.00
Reading from (Writing to) files in Dafny	0.00