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 Δ
Dafny export clause in a module 0.00
In Dafny, how can I fix the "value does not satisfy the subset... +0.46
trying witness null: result of operation might violate subset type... 0.00
Dafny : lemmas without bodies +0.05
Controlling Dafny naming convention and using constants 0.00
Dafny recursive assertion violation 0.00
(Dafny) Adding elements of an array into another - loop invariant 0.00
Dafny: Why I input an array Dafny says it is a sequence 0.00
Trivial Assertions about Sets not Verifying in Dafny 0.00
Boogie on Visual Studio +3.87
How to prove Dafny count < size 0.00
Dafny: types with contraints 0.00
Z3 model for correct Dafny method +3.92
Where can the z3 axiom profiler be found? 0.00
Selection Sort in Dafny 0.00
Z3 + boogie installation 0.00