StackRating

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

ivcha

Rating
1500.68 (433,139th) 		Reputation
415 (316,944th)
Page: 1
Title Δ
Receiving message from channel as guard 0.00
How can I be sure that my assert is actually checking the thing tha... 0.00
Impose a lone attribute to be empty in Alloy 0.00
Dealing with mappings in Alloy 0.00
Alloy : Graph coloring 0.00
Quantified Boolean Formula vs First-order logic 0.00
Alloy: checking a tree relationship with a predicate +0.21
How do constraints defined in Alloy result in better software? 0.00
Link between Alloy vars. and primary vars. and Alloy relational var... 0.00
Soot Framework Intraprocedural Graph Traverse Giving Exception: Inv... 0.00
How to specify the specific elements in order - using util ordering... 0.00
What's the meaning of these '$show' relations? 0.00
Influence of skolemdepth on checking formulas in Alloy 0.00
How to define a a type consisting of integer values in Alloy 0.00
How can we call Alloy from Java without opening the interface? 0.00
Access object numbers in examples -3.99
OutOfMemoryError when using alloy api for Java 0.00
Replacing recursion with transitive closure (reachability and produ... +4.46
Alloy metamodel :: define local state and global state 0.00
How to call Alloy from C++? 0.00
Alloy - Initialize an array 0.00
Alloy Analyzer: What influences the number of available solutions 0.00