StackRating

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

Daniel Jackson

Rating
1526.38 (22,268th) 		Reputation
2,093 (80,408th)
Page: 1 2
Title Δ
The union of singleton sibsignatures always equal the parent signat... 0.00
Have you created models that use "God status" values? 0.00
Is there a better Alloy model of a tree? 0.00
What are the operations for each Alloy utility module? 0.00
Transpose equality seems incorrect 0.00
There may be no cities with rainy weather 0.00
Is "set" the default multiplicity? 0.00
Why does the Visualizer say that every atom is hidden? 0.00
Understanding the Alloy Visualizer's display of a relation crea... 0.00
Can Alloy generate instances of unconstrained relations? 0.00
Why do I get the same graphic for a join of two relations and a joi... 0.00
The "addFront" function looks awfully procedural (i.e., n... 0.00
How to interpret an Alloy fact 0.00
Alloy Model diagram functionality and cardinality symbols 0.00
Relationship between Alloy and UML? 0.00
Testing a specific solution in Alloy 0.00
Relational Join and Operators in Alloy 0.00
True and False in Alloy +4.02
Showing derived relations 0.00
Use topographical sort with alloy 4.2 0.00
Alloy signatures not shown in Alloy Analyzer 4.2 -1.76
Alloy analyzer crash with mac (El Capitan) 0.00
total ordering in Alloy 0.00
No 3-element counterexample found 0.00
Are these two references semantically equivalent? 0.00
Is using util/ordering exactly the same as axiomatizing a total ord... 0.00
Type Error in Alloy specification -3.82
What is the theory behind the Navigational Style in Alloy +4.06
linked list, no two elements the same -1.89
Getting Parent Objects with Functions in Alloy 0.00
Mathematical Operations in Alloy -3.89
Quantifying a certain number of elements in a set -3.98
Alloy - reflexive-transitive closure includes foreign elements -3.72
sig is abstract, but alloy analyzer make an instance of it 0.00
Simple State Machine in Alloy -3.77
Beginning Alloy - "Three Logics in One" +0.28
arithmetic operations in Alloy 0.00
Meaning of square brackets in Alloy grammar spec -4.01
Alloy4.2 - Ternary relation to a binary relation +3.88
Alloy Analyzer not providing an instance 0.00
iterating over Alloy relation 0.00
Memory Issue in Alloy +3.85
Model alloy for series and parallel electric circuit 0.00
Understanding output in alloy 0.00
Why is there no instance found for this predicate? 0.00
Understanding predicates in alloy +4.27
Understanding signatures in alloy +4.66
Getting Alloy to find the largest answer for particular sets 0.00
Difference between declarative and model-based specification 0.00