GitBucket
Toggle navigation
Snippets
Sign in
pesceWanda
Francesco Mecca
Joined on 2020-10-17
Repositories
Public activity
Snippets
29 days ago
pesceWanda
pushed to
master
at
pesceWanda/Unito
98217b2
consegna Coppo
29 days ago
pesceWanda
pushed to
master
at
pesceWanda/Unito
b739e44
ultimissima dimostrazione
on 26 Jan
pesceWanda
pushed to
master
at
pesceWanda/Unito
e6101b1
table of contents e pagina iniziale
on 26 Jan
pesceWanda
pushed to
master
at
pesceWanda/Unito
cb47ef1
postposto l'indice
d41dfe9
formattazione
on 26 Jan
pesceWanda
pushed to
master
at
pesceWanda/Unito
556694d
prima parte source proof
on 26 Jan
pesceWanda
pushed to
master
at
pesceWanda/Unito
60f831d
decision trees
on 25 Jan
pesceWanda
pushed to
master
at
pesceWanda/Unito
86863cc
equivalence checking
on 25 Jan
pesceWanda
pushed to
master
at
pesceWanda/Unito
af8822b
equivalence checking
on 25 Jan
pesceWanda
pushed to
master
at
pesceWanda/Unito
2453b29
note gabriel
on 25 Jan
pesceWanda
pushed to
master
at
pesceWanda/Unito
ac23a7d
inference rules
on 25 Jan
pesceWanda
pushed to
master
at
pesceWanda/Unito
bf81806
5.23, 25 jan
on 25 Jan
pesceWanda
pushed to
master
at
pesceWanda/Unito
b62cccb
referenze e ancora tesi
on 25 Jan
pesceWanda
pushed to
master
at
pesceWanda/Unito
5ccf97c
24 jan
on 24 Jan
pesceWanda
pushed to
master
at
pesceWanda/Unito
1ea829b
piu` dettagli su lambda to decision tree
on 22 Jan
pesceWanda
pushed to
master
at
pesceWanda/Unito
f7726be
ho ripreso parte 2
on 20 Jan
pesceWanda
pushed to
master
at
pesceWanda/Unito
54233ab
ho ripreso
on 6 Jan
pesceWanda
pushed to
master
at
pesceWanda/Baretto
6320a56
implementazione briscola
on 5 Jan
pesceWanda
pushed to
master
at
pesceWanda/Baretto
0a96c50
more stuff
on 5 Jan
pesceWanda
pushed to
master
at
pesceWanda/Baretto
3708b17
briscola codice
on 4 Jan
pesceWanda
created branch
master
at
pesceWanda/Baretto
on 4 Jan
pesceWanda
created
pesceWanda/Baretto
on 25 Nov
pesceWanda
pushed to
master
at
pesceWanda/gioco
e6345f5
fst
on 24 Nov
pesceWanda
pushed to
master
at
pesceWanda/gioco
35ce687
first
on 23 Nov
pesceWanda
created branch
master
at
pesceWanda/gioco
on 23 Nov
pesceWanda
created
pesceWanda/gioco
on 1 Nov
pesceWanda
pushed to
master
at
pesceWanda/Curriculum_vitae
b641e96
symmetry
on 25 Oct
pesceWanda
created branch
master
at
pesceWanda/Unito
on 25 Oct
pesceWanda
created
pesceWanda/Unito
on 25 Oct
pesceWanda
created
pesceWanda/inria-internship
on 25 Oct
pesceWanda
created branch
master
at
pesceWanda/pan_au_chocolat
on 25 Oct
pesceWanda
created
pesceWanda/pan_au_chocolat
on 25 Oct
pesceWanda
created branch
rugby
at
pesceWanda/CipollaMod
on 25 Oct
pesceWanda
created branch
permissions
at
pesceWanda/CipollaMod
on 25 Oct
pesceWanda
created branch
no_registry
at
pesceWanda/CipollaMod
on 25 Oct
pesceWanda
created branch
mods2
at
pesceWanda/CipollaMod
on 25 Oct
pesceWanda
created branch
message
at
pesceWanda/CipollaMod
on 25 Oct
pesceWanda
created branch
master
at
pesceWanda/CipollaMod
on 25 Oct
pesceWanda
created branch
demo
at
pesceWanda/CipollaMod
on 25 Oct
pesceWanda
created branch
config
at
pesceWanda/CipollaMod
on 25 Oct
pesceWanda
created branch
cipollamod
at
pesceWanda/CipollaMod
on 25 Oct
pesceWanda
created branch
better_handling_messages
at
pesceWanda/CipollaMod
on 25 Oct
pesceWanda
created
pesceWanda/CipollaMod
on 25 Oct
pesceWanda
created branch
master
at
pesceWanda/Curriculum_vitae
on 25 Oct
pesceWanda
created
pesceWanda/Curriculum_vitae
on 25 Oct
pesceWanda
created branch
master
at
pesceWanda/Octopus_Carnival
on 25 Oct
pesceWanda
created
pesceWanda/Octopus_Carnival
on 19 Oct
pesceWanda
pushed to
master
at
pesceWanda/dns_server
75c0626
,mmm
on 19 Oct
pesceWanda
pushed to
master
at
pesceWanda/dns_server
7c98265
prod
on 19 Oct
pesceWanda
pushed to
master
at
pesceWanda/dns_server
e475331
test
on 19 Oct
pesceWanda
pushed to
master
at
pesceWanda/dns_server
8195de3
prova