StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Rustan Leino

Rating
1518.65 (34,764th)

Reputation
584 (241,204th)

Page: 1 2

Title	Δ
Adding modifies to a method breaks loop invariant	0.00
In Dafny, how to assert that, if all elements in a sequence are les...	0.00
Identity loop - This loop invariant might not be maintained by the...	+3.72
Difference between multiset(a[..a.Length]) and multiset(a[..]) in D...	0.00
modifying a return variable in dafny	0.00
Why this dafny post-condition is not inferred?	0.00
Cab Dafny use an imported ADT in a match command	-0.17
How can I define a decreases for mutually recursive functions in Da...	0.00
What does Dafny know about loops with a break?	0.00
how to prove universal introduction in Dafny	0.00
power_binary question-This loop invariant might not be maintained b...	0.00
Can dafny assert cope with "! false"	0.00
Convert numbers to strings	0.00
Dafny: Postcondition error in constructor	0.00
Dafny: Assertion fails on subset checks	0.00
Dafny - Loop invariant for nested loops	0.00
LHS of assignment must denote a mutable variable	0.00
Dafny: stronger assertion passes while weaker assertion doesn't	0.00
Dafny insufficient reads clause to read array element	0.00
How to use “reads” clause to read array of sequences in Dafny?	0.00
an obvious invariant fails in Dafny	0.00
expressing properties of inductive datatypes in Dafny	0.00
Dafny: no terms found to trigger on and a consequent assertion error	0.00
while loop termination in Dafny	0.00
Dafny Loop Invariant might not Hold	0.00
Question about dafny to prove the Lemma in seq<int>	0.00
Dafny not verifying trivial assertion	0.00
"Some instances of this call cannot safely be inlined."	0.00
dafny corresponding SMT queries	0.00
Dafny Big-Step- Assert violation	0.00
Verifying sum of sequence under a condition in dafny	0.00
call may violate context's modifies clause	-4.22
Dafny iterator on heap fails to ensure Valid()	0.00
Dafny. Cannot establish the existence of LHS ... for sequences	+3.44
Dafny. Pairs with bools do not equal	0.00
For satement in Dafny	0.00
Assertion fails after modifying another array in Dafny	+4.00
How to get a C# program from a dafny program?	0.00
Why this Dafny example verification fails?	0.00
Can static variables exist in Dafny?	0.00
missing invariant in dafny code involving sequences	0.00
How does Dafny implement datatypes in C# and their hierarchy?	0.00
Dafny program can't prove this binary search implementation?	0.00
How can I cast a value into two bytes in Dafny?	0.00
Missing assembly reference when using class	-0.17
Dafny loop invariant not mantained by th loop	0.00
How do I make a fuel annotation for a templated function?	0.00
Why can't I call a (non-static) lemma from a ghost field in Daf...	+3.85
The Hilbert epsilon operator	-0.10
Modifying method parameters	0.00