activities
1 day ago
fra pushed to master at fra/ctlstar-test
adcc6c7 fixed file write
1 day ago
fra pushed to master at fra/ctlstar-test
a5c2c2a notes
fb330a7 spawning rgmedd4
1 day ago
fra pushed to master at fra/ctlstar-test
3e960ad logs and bug fix
2 days ago
fra pushed to master at fra/ctlstar-test
3a6bef9 properties are structs now
2 days ago
fra pushed to master at fra/ctlstar-test
9266b30 comments, expected
2 days ago
fra pushed to master at fra/ctlstar-test
4931923 extract ltl formulae
2 days ago
fra pushed to master at fra/ctlstar-test
0d81ec8 refactoring, multiple source files
2 days ago
fra pushed to master at fra/ctlstar-test
6565e66 log output
07c0b6a fixed pstring match bug
2 days ago
fra pushed to master at fra/ctlstar-test
7fc6d24 example file
5 days ago
fra pushed to master at fra/ctlstar-test
a707ca2 solve parse string
5 days ago
fra pushed to master at fra/ctlstar-test
5543b82 comments
5 days ago
fra pushed to master at fra/ctlstar-test
286aef3 immutable stuff
5 days ago
fra created branch master at fra/ctlstar-test
5 days ago
6 days ago
mecca pushed to master at mecca/dataviz
4edea5f centrato
6 days ago
fra pushed to master at mecca/dataviz
161cbe5 correzioni
7 days ago
fra pushed to master at fra/dotfiles
188a800 find lyrics through elinks
7 days ago
fra pushed to master at fra/dotfiles
4448b67 find lyrics through elinks
7 days ago
fra pushed to master at fra/dotfiles
32b59bc removed error lines
7 days ago
fra pushed to master at fra/dotfiles
b282d90 link colors
7 days ago
fra pushed to master at mecca/dataviz
31d0cf2 no doppie
7 days ago
fra pushed to master at mecca/dataviz
000d581 run script
8 days ago
mecca pushed to master at mecca/dataviz
18295bf pol-c
8 days ago
mecca pushed to master at mecca/dataviz
eb1ecfc explanations da riempire
8 days ago
fra pushed to master at mecca/dataviz
fa2abb5 scaling is hard
8 days ago
fra pushed to master at mecca/dataviz
6506c89 sbacchet
8 days ago
fra pushed to master at mecca/dataviz
ebcbb54 suffix e suppli
8 days ago
fra pushed to master at mecca/dataviz
d0e1eac spingitori di spingitori di spingitori di cavalieri
8 days ago
fra pushed to master at mecca/dataviz
bbfd9af spingitori di spingitori di cavalieri
8 days ago
fra pushed to master at mecca/dataviz
5d9fd9b spingitori di cavalieri