StackRating

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

Loïc Gammaitoni

Rating
1534.08 (15,290th) 		Reputation
3,373 (50,041st)
Page: 1 2 3
Title Δ
Declaring a field as `f: elems[g] -> one h` is producing a name-... 0.00
Comparing a concrete execution trace with an Alloy Model -0.00
Predicate not consistent -0.04
Is it possible to declare alias fields in Alloy? -0.52
Violate fact in alloy 0.00
How to derive the `one` multiplicity constraint using the Alloy Ker... +0.48
Alloy : Restrict values of a String field -0.01
Alloy:How to define the relations between two modules without the m... 0.00
How to specify signature expressly in Alloy? +1.23
Generating .als files corresponding to model instances with Alloy API +0.01
How to return a single value for a function in Alloy? 0.00
Is it possible to use pointfree expressions in signature facts? +0.44
Bug on unconstrained Strings +0.48
How to make alloy run on a dataset to check all the rules +2.02
Reasoning about properties of subtypes 0.00
Alloy predicate for a tree 0.00
JPA/Hibernate seems to convert a query with an in clause into multi... +0.19
Value assignment in Alloy and use of Enum 0.00
How to overcoming skolemization problem in an assert expression 0.00
for the instance of Alloy analyzer 0.00
Alloy programming for example network configuration -1.32
Is Alloy Analyzer "a falsifier"? -0.02
How to model a consitent database in alloy? 0.00
Problem in generation of world in predicate -0.04
An assertion with no counterexample represents a conclusion? 0.00
A meaningful field name for the ternary relation between program, d... 0.00
Why doesn't simple integer counterexample occur in Alloy? 0.00
Dealing with multirelations (of arity ~10) 0.00
How can the performance of an Alloy model be improved? 0.00
Alloy modeling language - how to write filters? -0.32
The name "div" cannot be found ... Huh? Why? 0.00
A simpler way to determine the winner in tic-tac-toe? -4.01
Check the equivalence of two approaches to ensuring that all hotel... 0.00
Union of all fields of a signature in Alloy 0.00
Traditional software testing versus Alloy instance generation +3.63
Is it best practice to create signature fields with relation values? +4.06
SQL Query - how to have half-split column within the same row 0.00
creating a private Ethereum Token ( Coin ) +3.72
How to handle circular dependency in module import? 0.00
What does it mean to order a set? +3.94
What is pred/totalOrder in the ordering module? -2.81
View an instance as XML? 0.00
Right terminology: Call the ordering module? Use the ordering modul... 0.00
Concrete Syntax - String concat in F-Alloy 0.00
How to express validity? 0.00
Model of writing a block of data to memory 0.00
How to write a function in Alloy that returns a subset 0.00
All subsets of a set in Alloy 0.00
Grouping of people multiple times, where all the members meet each... +4.19
Is there a way to find out what is causing 'No Instance Found&#... 0.00