StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

Matthias Schlaipfer

Rating
1498.69 (3,829,830th) 		Reputation
145 (565,948th)
Page: 1
Title Δ
Error BP5005: This loop invariant might not be maintained by the loop +0.01
Best way to create an array of range n in Dafny? 0.00
How to verify pre/post conditions in Dafny 0.00
Dafny - Assertion violation after calling class method from Main 0.00
Creating an array of a class type in dafny 0.00
Is there a way to read fields of an array of class objects in dafny 0.00
assertion violation in MVS with Dafny , but it is verified in rise4... 0.00
Dafny precondition to require a string is not only whitespace 0.00
Modifying an array in Dafny with postconditions 0.00
dafny output as SMT file 0.00
How would I override a function in Scala with another function? -2.01
Checking satisfiability of expression tree +4.04
" Exception in thread "main" java.util.NoSuchElement... -3.36
Is it possible to get the operands from a FuncVarPtg in Apache POI? 0.00