StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

lexicalscope

Rating
1502.51 (344,599th)

Reputation
4,875 (34,042nd)

Page: 1 2

Title	Δ
Can dafny show a counter example for a failed assertion?	0.00
Which versions Visual Studio can support the Dafny IDE plugin?	+4.11
Given several axioms and a property, how do I structure a proof of...	0.00
Dafny predicate neither true nor false	0.00
How can I resolve Jar hell without using a heavy-weight framework?	+4.47
summing a list of numbers in dafny	0.00
Best way to update an immutable string in dafny	0.00
Dafny quantifier not instantiated helpfully when faced with test data	0.00
Loop invariant not strong enough when manipulating (array) fields o...	0.00
Finding a termination measure for Search and Replace in Dafny?	0.00
Dafny syntax error in function	0.00
How can I prompt Dafny to perform induction on a sequence?	0.00
How do I represent a pair (two tuple) in Dafny?	0.00
Why does using new in a Dafny function give an error?	0.00
Loop invariant of simple while loop	0.00
Verifying a Dafny method that shifts a region of an array	0.00
Can Dafny be used non-interactively, for example from a python prog...	0.00
Dafny insert method, a postcondition might not hold on this return...	0.00
Dafny "no terms found to trigger on" error message	0.00
verification of matrix multiplication in dafny	0.00
Dafny and counting of occurences	0.00
Dafny: rotated region of an array method verification	0.00
Dafny Insert int into Sorted Array method	0.00
Pausing in Java	-0.74
invalid segment Count in dafny	0.00
Dafny-recursiveSum assertion violation	0.00
Enable keyboard navigation of links in JEditorPane	0.00
Dafny: copy array region method validation	0.00
How to write JUnit 3 Test with void	-3.83
Generic equality test	+3.74
Difference between volatile Boolean and Boolean	+1.94
java 8 stream reverse order	+0.45
Include one Dafny file in another	0.00
Using an arbitrarily defined method of an anonymous interface	0.00
How do I get help on the antlr4-maven-plugin	0.00
How to pass a derived class to a function accepting the parent type	-2.86
Proving that SimpleDateFormat is not threadsafe	-3.07
What is causing this ClassLoader StackOverflowError when using Apac...	0.00
How do I use a Jersey ExceptionMapper with Google Guice?	0.00
Pass an interface object to constructor or method	+4.64
Java reflection unclarity	+0.22
How can I redirect ant exec task output to both a file and stdout?	0.00
compiling with maven and nexus stuck on downloading artifacts	0.00
How can I trigger a click event on a Component using the Robot class?	-4.29
Mocking objects that encapsulate collections	+4.07
One-liner for variable space indentation	0.00
control schema file name created by jaxb schemagen maven plugin (ma...	0.00
How Do You Configure Pex to Respect Code Contracts?	0.00
Prevent failure in DTD fetching in glassfish (jasper) TldScanner fr...	0.00
Is it possible to mock a Java protocol buffer message?	-4.33