StackRating

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

Aleksandar Milicevic

Rating
1531.16 (17,529th) 		Reputation
3,724 (45,100th)
Page: 1 2 3
Title Δ
Alloy and Alloy* both fail on higher-order quantification 0.00
How to implement a sequence of numbers, each consecutive pair adds... 0.00
Relational product in Alloy 0.00
Transitive closure in KodKod 0.00
Reflexive and non-reflexive transitive closures -0.55
Alloy weird behavior? 0.00
Alloy and Alloy* 0.00
[Alloy]No instance found with no fact 0.00
How can an Alloy constraint put a set inside its subset? 0.00
Alloy: a compact Java program to perform different run command scopes 0.00
What are the idioms used in modeling? 0.00
Can Alloy model whether all cars can make the sharp turn in the road? 0.00
alloy predicate calculus post production 0.00
How to translate a Valloy virtual function code into an Alloy script? 0.00
Alloy - # and Int 0.00
Cardinality constraints unsatisfiable +0.45
Getting output from external SAT solver 0.00
How Int is specified in Alloy +0.45
Is there an external parser generator tool used for building Alloy... +2.24
How to reuse facts by means of modules in Alloy 0.00
How to reuse facts by means of modules in Alloy 0.00
Provide Alloy with a "pool" of custom Strings 0.00
Alloy - set difference leading to vars and clauses, set union does... 0.00
Run all the commands in the code instead of only the first one in A... 0.00
How to use String in Alloy? 0.00
Refactoring in Alloy 0.00
Repeating same analysis decreases completion time. How to avoid that? 0.00
Univ signature appears magically when module is empty 0.00
Keywords: some and one before higher-order quantification +3.74
Translating ecore models (accompanying OCL expressions) to alloy sp... +1.64
is not bound to a legal value during translation +1.82
is not bound to a legal value during translation +1.82
Why Plus operator does not work on integers in Alloy? 0.00
Does an Alloy XML schema exist? -0.24
Alloy model without GUI 0.00
Meaning of square brackets in Alloy grammar spec +4.01
About ord.als library 0.00
Refactoring Alloy models 0.00
Alloy: facts etc. about Int 0.00
extending signatures and atoms instantiation 0.00
Are there in Alloy any cycles like for, while, etc? 0.00
How to evaluate a predicate in Alloy source code? 0.00
Alloy integer comparison semantics using "Forbid Overflow: Yes... 0.00
Constraints syntax a predicate and in an assert 0.00
Type error has occured : Translation capacity exceeded 0.00
How to express structural equality between trees in Alloy? 0.00
is it possible to model a logic gate in alloy 0.00
Using Alloy Models 0.00
Why is possible Alloy negative cardinality -0.31
A4options.symmetry and signature instances permutattions in Alloy 0.00