Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• 390b436365
  
  Ajout des temps. master Mysaa 2022-08-29 12:17:07 +02:00
• d4eb15cbe0
  
  Petites corrections de fin. Mysaa 2022-08-29 01:45:26 +02:00
• 671c64867e
  
  Petites correction du diapo Mysaa 2022-08-28 15:37:16 +02:00
• 48ba118e8d
  
  Petites modifications Mysaa 2022-08-27 19:42:47 +02:00
• ab247d4e36
  
  Écourtage Mysaa 2022-08-27 18:27:47 +02:00
• 9c00e37561
  
  Ajout de pauses Mysaa 2022-08-27 13:52:04 +02:00
• 741155f474
  
  Ajout du diapo pour la soutenance. Mysaa 2022-08-26 16:08:43 +02:00
• 43839abed3
  
  Typos et plus petit toc Mysaa 2022-08-19 20:37:41 +02:00
• e158907268
  
  Prise en compte des commentaires de Clément - Preuves Mysaa 2022-08-18 19:17:42 +02:00
• c81d730465
  
  Commentaires en français, vingtpagisation Mysaa 2022-08-18 17:01:36 +02:00
• 93f99896e4
  
  Prise en compte des Commentaires de Clément - Corps Mysaa 2022-08-18 16:09:25 +02:00
• 95521344c6
  
  Typos Mysaa 2022-08-18 04:59:09 +02:00
• df93d905ce
  
  Prise en compte des commentaires de Daniele Mysaa 2022-08-18 04:47:37 +02:00
• 6591b1c3ce
  
  Optimisation pour les 20 pages Mysaa 2022-08-14 12:09:11 +02:00
• ee742cb8a6
  
  Ajout d'une citation. Mysaa 2022-08-14 02:00:30 +02:00
• 396db085ec
  
  Ajout de la preuve de la première propriété. Mysaa 2022-08-13 20:02:38 +02:00
• c6e5368993
  
  Ajout d'un exemple de la puissance de la compairaison des class table vis-à-vis des programmes. Mysaa 2022-08-13 18:39:38 +02:00
• 24544df6ff
  
  Ajout de l'exemple de nécessité de la class table de test, suppression des ct communes de l'exemple. Mysaa 2022-08-13 18:15:07 +02:00
• f36103f0e8
  
  Ajout d'une explication pour l'exemple des test interfaces inimplémentables. Mysaa 2022-08-12 15:48:02 +02:00
• 1cc3b461d9
  
  Modifications de l'introduction selon le commentaire de Clément. Mysaa 2022-08-12 15:28:18 +02:00
• 98110d6ef8
  
  Correction de quelques erreurs LaTeX Mysaa 2022-08-12 14:16:57 +02:00
• ca485e2e77
  
  Ajout d'un gros exemple d'utilisation de l'équivalence. Mysaa 2022-08-12 13:27:21 +02:00
• bb2c062cc8
  
  Prise en compte des commentaires sur mes commentaires sur les commentaires de Clément. Mysaa 2022-08-09 09:10:25 +02:00
• e31a43228a
  
  Prise en compte des remarques de Daniele, esquisse d'intro et de conclusion. Mysaa 2022-08-08 23:42:32 +02:00
• e4178b644b
  
  Ever more typos Mysaa 2022-08-07 15:34:42 +02:00
• 380b23f527
  
  Correction de quelques typos Mysaa 2022-08-07 14:55:54 +02:00
• 8e64e14dc0
  
  Prise en compte des commentaires de Clément, partie 3 Mysaa 2022-08-07 13:28:38 +02:00
• 4848e9d71a
  
  Prise en compte des commentaire de Clément, Partie 2 Mysaa 2022-08-06 20:59:22 +02:00
• b139cc06dd
  
  Prise en compte des commentaires de Clément, partie 1 Mysaa 2022-08-04 18:38:54 +02:00
• 5c830b50d7
  
  Preuve du second théorème. Mysaa 2022-08-04 10:45:00 +02:00
• 74b4b47860
  
  Début de la nouvelle (j'espère bonne) preuve. Mysaa 2022-08-03 20:54:04 +02:00
• 7c741561fd
  
  Nouvelle version qui ne marche pas. Mysaa 2022-08-03 15:37:44 +02:00
• 821ed92d74
  
  Début de preuve .... faux sûrement. Mysaa 2022-07-30 12:58:19 +02:00
• 9f708fe379
  
  Expression du théorème pour la seconde preuve. Mysaa 2022-07-28 17:56:50 +02:00
• 6252c993e8
  
  Ajout des commentaires visibles. Mysaa 2022-07-19 12:30:52 +02:00
• 235fbfafb5
  
  Continuation de la preuve du context lemma. Mysaa 2022-07-18 12:10:26 +02:00
• ac36aa6a5e
  
  Ajout de la preuve du premier théorème de typage. Mysaa 2022-07-15 14:46:29 +02:00
• a9a5154c1e
  
  Modification du début du vendredi Mysaa 2022-07-01 11:16:02 +02:00
• f0ae7ca42f
  
  Avancement du rapport, jeudi. Mysaa 2022-06-30 20:18:52 +02:00
• 2364c04799
  
  Début de la définition des test interfacesx. Mysaa 2022-06-30 12:43:55 +02:00
• 800627599e
  
  Restructuration du dossier, début du rapport de stage. Mysaa 2022-06-29 17:48:16 +02:00
• b880b5f59a
  
  Corrections suite aux indications de Clement. Mysaa 2022-06-28 11:47:54 +02:00
• c91bc559b9
  
  Dernieres modifs Mysaa 2022-06-24 20:53:37 +02:00
• 51670b501d
  
  Ajout des notes du Mardi. Mysaa 2022-06-21 16:15:29 +02:00
• 5ffd08c62d
  
  Ajout des notes du Lundi. Mysaa 2022-06-21 11:52:06 +02:00
• 735f2d52b6
  
  Notes jusqu'au 15 juin Mysaa 2022-06-16 15:28:24 +02:00
• 16f5177fba
  
  Ajout du code de compilation Mysaa 2022-06-10 15:16:12 +02:00
• 4c5fd08211
  
  Premier commit - Notes Mysaa 2022-06-10 15:08:07 +02:00