StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Patrick Trentin

Rating
1486.86 (4,455,667th)

Reputation
4,646 (35,788th)

Page: 1 2 3 4 5 6

Title	Δ
SPIN: interpret the error trace	0.00
Arduino Issue: Using TimerOne and delayMicroseconds()	0.00
arduino keyboard does not release cause freeze	0.00
Arduino Sketch with multiple NeoPixels (function taking different N...	0.00
Arduino distributable program file	0.00
can't send string from python to arduino	0.00
Linking error using Arduino library with c++'s stringstream	0.00
convert fifo systemC program to PROMELA language with safety proper...	0.00
NuSMV Realtime CTL	0.00
Language supported by LTL	0.00
Using LTL/Promela to display the value of a variable?	0.00
How to set a binary int?	-2.03
Use Z3::expr as a map value	0.00
different solution for z3 shell and java api	0.00
how to make a non-initialised variable in Spin?	0.00
Promela SPIN unreached in proctype error	0.00
Ask for multiple (or all) violation traces in Spin	0.00
How to code this in Z3	0.00
Program in C executed and the terminal shows: Finished (killed)	+4.94
How to transform LTL into Automato in Promela - SPIN?	0.00
Should I always mutate the offspring in steady-state selection?	0.00
z3opt python -- minimizing square	0.00
Converting a system model into transition system for model checking	0.00
LED's won't light up with Arduino	0.00
Write a char dynamically including a variable int Arduino	+4.05
Arduino and Plotly	+0.10
Arduino String concatenation Serial.println() doesn't work	0.00
How can I add " around each line bash	-2.93
Z3 Optimization, strict inqualities	0.00
Serial Port not working () on Arduino in JetBrains CLion	0.00
Calculating the random food position in a snake game in C language	0.00
How to remove white space after an alphanumeric that changes throug...	0.00
Plotting a function in scilab	0.00
Arduino Variable Size and Fixed Point	0.00
satisfying the LTL formula in model	0.00
Using if conditions in shellscripting	-2.64
Howto install FreeFileSync on Ubuntu	0.00
Getting Sensor Average using Arrays?	0.00
delete and replace a line using linux command	+3.83
Python: Save keywords in a list and add another list to the single...	-4.04
Arduino - What is [./n.]?	0.00
Process stops when one URL in file causes error	0.00
Tree Hash: How to verify if a range is tree-hash-aligned?	0.00
Employing NuSMV as a model checker in java	0.00
How can i change these into CTL SPEC in NuSMV model?	0.00
How can i change psuedo-code to NuSMV code?	0.00
Verify Dekker's mutual exclusion algorithm by NuSMV	0.00
PDDL - The Goat, Wolf and the Cabbage	0.00
Arduino - millis() - value getting value of other variable	+4.68
Correct or decent getopts_long usage?	+4.51