pesceWanda

1 day ago

pesceWanda pushed to master at pesceWanda/UNITO

2e830c2 latex on intro

2 days ago

pesceWanda pushed to master at pesceWanda/subscleaner

fb2f254 don't use fstrings

eaab56e new ad signature + pass re.dotall to include newlines

be8bbc4 update readme: installation + dependecies

...

2 days ago

pesceWanda pushed to master at pesceWanda/aggiusta_accenti

058f214 c++17

3 days ago

pesceWanda pushed to master at pesceWanda/UNITO

286cda4 small changes related to abstract

8 days ago

pesceWanda pushed to master at pesceWanda/UNITO

3733c6e halp

8 days ago

pesceWanda pushed to master at pesceWanda/UNITO

8ee1f53 teoria

8 days ago

pesceWanda pushed to master at pesceWanda/UNITO

5ea1311 invio donatelli

8 days ago

pesceWanda pushed to master at pesceWanda/UNITO

dd69606 single pdf file

9 days ago

pesceWanda pushed to master at pesceWanda/UNITO

d3775ad latex + makefiles + fixini

9 days ago

pesceWanda pushed to master at pesceWanda/UNITO

b472e6d riduzione + trace_eq

c943cf3 riduzione

9 days ago

pesceWanda pushed to master at pesceWanda/UNITO

02017d7 derivation graph corretti

d8099c6 bisimulazione

9 days ago

pesceWanda pushed to master at pesceWanda/UNITO

31dba96 labeling on derivation graph

9 days ago

pesceWanda pushed to master at pesceWanda/UNITO

46c5264 rotated img

9 days ago

pesceWanda pushed to master at pesceWanda/UNITO

71d824f esercizio analisi, svista

9 days ago

pesceWanda pushed to master at pesceWanda/UNITO

9147d35 host up

22 days ago

pesceWanda pushed to master at pesceWanda/UNITO

0347f90 3.9

22 days ago

pesceWanda pushed to master at pesceWanda/UNITO

2f48ab2 todo

22 days ago

pesceWanda pushed to master at pesceWanda/UNITO

081133b es 3.6

23 days ago

pesceWanda pushed to master at pesceWanda/UNITO

4950a08 analisi .2

24 days ago

pesceWanda pushed to master at pesceWanda/UNITO

cbcafef t e p semiflows?

24 days ago

pesceWanda pushed to master at pesceWanda/UNITO

104036d diagrammi e riduzioni

24 days ago

pesceWanda pushed to master at pesceWanda/UNITO

7117cc6 analisi

25 days ago

pesceWanda pushed to master at pesceWanda/UNITO

6140efd nuovo analisi

25 days ago

pesceWanda pushed to master at pesceWanda/UNITO

13b5a6a reteF

25 days ago

pesceWanda pushed to master at pesceWanda/UNITO

ec0110f reteF quasi

26 days ago

pesceWanda pushed to master at pesceWanda/UNITO

0eac2b8 todo

be67ad2 todo

27 days ago

pesceWanda pushed to master at pesceWanda/UNITO

70f7064 todo file .1

27 days ago

pesceWanda pushed to master at pesceWanda/UNITO

fd33263 reti ABCD

29 days ago

pesceWanda pushed to master at pesceWanda/UNITO

1c6d633 pt vpc .2

on 29 Apr

pesceWanda pushed to master at pesceWanda/UNITO

86fd0c7 pn vpc