bparodi/UniTO
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Commit graph

  • 48e411a3b4 resurrect master Benedetta Parodi 2024-10-29 09:23:12 +0100
  • c2122d9568 resurrect Benedetta Parodi 2024-10-29 09:11:05 +0100
  • 7921456d7d ripeti AA Francesco Mecca 2020-07-08 17:48:22 +0200
  • 24b9c948c7 DANNATO GALLA CHE VUOLE VEDERE COSA HO SCRITTo Francesco Mecca 2020-07-06 11:39:00 +0200
  • 5ef80769a2 teoria aa Francesco Mecca 2020-07-04 19:00:26 +0200
  • 8a0df09bcb esercizi Francesco Mecca 2020-07-04 12:48:04 +0200
  • f367913b4b manca un esercizio - riordinato Francesco Mecca 2020-07-03 22:38:33 +0200
  • 84096d29f6 esercizi Francesco Mecca 2020-07-03 19:08:23 +0200
  • 2540e7c3ee esercizi svm Francesco Mecca 2020-07-02 11:58:47 +0200
  • 009ac7e338 aa Francesco Mecca 2020-07-01 19:04:07 +0200
  • 3498912e21 todo Francesco Mecca 2020-06-30 23:24:50 +0200
  • 4a35831f00 tesi coppo Francesco Mecca 2020-06-30 23:21:29 +0200
  • 0ba93f9046 c to D Francesco Mecca 2020-06-30 21:39:38 +0200
  • dea5a6fbe4 traces Francesco Mecca 2020-06-30 19:31:56 +0200
  • 08c310c4d9 traces Francesco Mecca 2020-06-30 14:07:10 +0200
  • 6482ad97a6 tesi Francesco Mecca 2020-06-29 17:44:43 +0200
  • 395f612967 tesi Francesco Mecca 2020-06-28 12:50:46 +0200
  • 4af9518c85 teoria Francesco Mecca 2020-06-23 21:53:50 +0200
  • 30871c038b ancora tesi Francesco Mecca 2020-06-20 13:43:13 +0200
  • b26311c22e tesi altri punti Francesco Mecca 2020-06-19 13:42:02 +0200
  • 953b08f1f1 esercizi naz Francesco Mecca 2020-06-18 15:35:40 +0200
  • 8cdeb4b84b esercizi marco Francesco Mecca 2020-06-17 20:01:41 +0200
  • 31cb7db080 progmobile Francesco Mecca 2020-06-16 19:25:06 +0200
  • 35a4cabdc3 meo .1 Francesco Mecca 2020-06-16 18:27:43 +0200
  • 73458f77a9 domani Ferruccio Francesco Mecca 2020-06-10 23:53:20 +0200
  • 3e8e00dd40 media Francesco Mecca 2020-06-10 16:44:46 +0200
  • 039bb72b2c che coglioni Francesco Mecca 2020-06-10 16:36:17 +0200
  • cf18a81e30 esame alle 15 Francesco Mecca 2020-06-10 12:46:44 +0200
  • 793bd9a611 preparazione orale Francesco Mecca 2020-06-09 23:34:59 +0200
  • a18e6f6cce ltl Francesco Mecca 2020-06-08 18:06:52 +0200
  • 587e2797f5 accessors Francesco Mecca 2020-06-08 00:08:07 +0200
  • f317ed7c6b vpc pls Francesco Mecca 2020-06-07 19:19:54 +0200
  • 36e32086ae sono un cretino Francesco Mecca 2020-06-04 23:48:32 +0200
  • 2e830c2872 latex on intro Francesco Mecca 2020-05-29 16:49:45 +0200
  • 286cda4043 small changes related to abstract Francesco Mecca 2020-05-27 18:49:35 +0200
  • 3733c6ef5a halp Francesco Mecca 2020-05-22 23:59:44 +0200
  • 8ee1f539e5 teoria Francesco Mecca 2020-05-22 23:34:54 +0200
  • 5ea1311075 invio donatelli Francesco Mecca 2020-05-22 12:48:27 +0200
  • dd69606455 single pdf file Francesco Mecca 2020-05-22 12:15:33 +0200
  • d3775adf91 latex + makefiles + fixini Francesco Mecca 2020-05-22 00:15:00 +0200
  • b472e6db1c riduzione + trace_eq Francesco Mecca 2020-05-21 23:34:22 +0200
  • c943cf3948 riduzione Francesco Mecca 2020-05-21 23:11:30 +0200
  • 02017d7db7 derivation graph corretti Francesco Mecca 2020-05-21 20:54:06 +0200
  • d8099c689b bisimulazione Francesco Mecca 2020-05-21 20:42:06 +0200
  • 31dba96560 labeling on derivation graph Francesco Mecca 2020-05-21 19:59:25 +0200
  • 46c52642b9 rotated img Francesco Mecca 2020-05-21 19:30:55 +0200
  • 71d824f3ce esercizio analisi, svista Francesco Mecca 2020-05-21 19:27:27 +0200
  • 9147d35cea host up Francesco Mecca 2020-05-21 13:57:43 +0200
  • 0347f90e15 3.9 Francesco Mecca 2020-05-08 19:23:51 +0200
  • 2f48ab2347 todo Francesco Mecca 2020-05-08 15:30:53 +0200
  • 081133b389 es 3.6 Francesco Mecca 2020-05-08 12:32:56 +0200
  • 4950a08fff analisi .2 Francesco Mecca 2020-05-07 17:47:52 +0200
  • cbcafef95d t e p semiflows? Francesco Mecca 2020-05-06 19:16:51 +0200
  • 104036d723 diagrammi e riduzioni Francesco Mecca 2020-05-06 18:06:30 +0200
  • 7117cc6dce analisi Francesco Mecca 2020-05-06 17:10:03 +0200
  • 6140efd278 nuovo analisi Francesco Mecca 2020-05-05 22:00:56 +0200
  • 13b5a6afba reteF Francesco Mecca 2020-05-05 15:36:21 +0200
  • ec0110f88c reteF quasi Francesco Mecca 2020-05-05 15:06:01 +0200
  • 0eac2b81c7 todo Francesco Mecca 2020-05-04 19:23:08 +0200
  • be67ad26ab todo Francesco Mecca 2020-05-04 19:21:16 +0200
  • 70f706485c todo file .1 Francesco Mecca 2020-05-03 18:15:10 +0200
  • fd33263a6d reti ABCD Francesco Mecca 2020-05-03 18:13:53 +0200
  • 1c6d6334d2 pt vpc .2 Francesco Mecca 2020-05-01 19:18:26 +0200
  • 86fd0c74ad pn vpc Francesco Mecca 2020-04-29 21:32:42 +0200
  • eabd733503 labs .1 finito Francesco Mecca 2020-04-25 17:54:18 +0200
  • 51c6ceb375 consegne: grafi Francesco Mecca 2020-04-25 11:47:51 +0200
  • 64ef749f5d labs .1 Francesco Mecca 2020-04-24 23:46:19 +0200
  • 8dda87f54a relazione progmobile Francesco Mecca 2020-04-20 16:58:51 +0200
  • a0dc9ab579 progmobile organizzato Francesco Mecca 2020-04-18 21:07:22 +0200
  • 01130c6715 progmobile organizzato Francesco Mecca 2020-04-18 12:09:53 +0200
  • 60bcbb29e9 progmobile Francesco Mecca 2020-04-18 11:47:50 +0200
  • 09f788b3d4 correzioni Gabriel #3 Francesco Mecca 2020-04-13 18:49:40 +0200
  • d2c73080a1 correzioni Gabriel #2 Francesco Mecca 2020-04-12 23:20:37 +0200
  • e692378874 correzioni coppo #2 Francesco Mecca 2020-04-12 17:30:03 +0200
  • 97360b7f1d correzioni gabriel #2 Francesco Mecca 2020-04-12 13:14:35 +0200
  • 14cf53ee8d correzioni coppo #1 vero Francesco Mecca 2020-04-11 17:56:40 +0200
  • f464d23c8f bibliography todo Francesco Mecca 2020-04-11 01:02:04 +0200
  • f682171afd Merge branch 'master' of http://francescomecca.eu/git/git/pesceWanda/UNITO Francesco Mecca 2020-04-11 00:40:29 +0200
  • e906e83513 tesi Francesco Mecca 2020-04-11 00:39:55 +0200
  • 28a48f4755 mail gabriel e coppo Francesco Mecca 2020-04-11 00:31:10 +0200
  • d5b2944465 mail gabriel e coppo Francesco Mecca 2020-04-11 00:30:01 +0200
  • a4328b0b14 mail gabriel e coppo Francesco Mecca 2020-04-11 00:26:52 +0200
  • 13b8bb01f2 mail gabriel e coppo Francesco Mecca 2020-04-11 00:26:05 +0200
  • b0d1da99c1 todo coppo Francesco Mecca 2020-04-10 00:46:42 +0200
  • 1ec9393e38 correzioni Gabriel piu` apici Francesco Mecca 2020-04-10 00:37:36 +0200
  • 67ae30a28d correzioni coppo Francesco Mecca 2020-04-09 23:46:51 +0200
  • 048affd516 gabriel draft sent Francesco Mecca 2020-04-09 01:44:19 +0200
  • f26f4b7a0a gabriel draft Francesco Mecca 2020-04-09 01:00:31 +0200
  • d2c9f70bf8 Merge branch 'master' of http://francescomecca.eu/git/git/pesceWanda/UNITO Francesco Mecca 2020-04-08 11:20:13 +0200
  • a87c2bfca5 vpb Francesco Mecca 2020-04-08 11:19:59 +0200
  • a8791e3c5e more latex Francesco Mecca 2020-04-07 21:05:08 +0200
  • 8946d41fb4 more latex for inf rules Francesco Mecca 2020-04-06 16:20:01 +0200
  • 6b528d921e more latex for inf rules Francesco Mecca 2020-04-05 20:33:38 +0200
  • d19c25abbd symbolic execution done Francesco Mecca 2020-04-03 18:12:32 +0200
  • 42f531b3e3 results of mumble meeting Francesco Mecca 2020-04-03 15:53:54 +0200
  • b433663bdd latex symbols and python Francesco Mecca 2020-04-02 14:14:39 +0200
  • af1e069b6c s/constraint/decision/g Francesco Mecca 2020-04-01 17:16:57 +0200
  • 5ebabff90d continuing with proof Francesco Mecca 2020-04-01 00:37:54 +0200
  • 48f004b0ae lambda form Francesco Mecca 2020-03-30 21:23:55 +0200
  • d3664f6e31 ocaml runtime values Francesco Mecca 2020-03-29 22:54:33 +0200