Commit Graph

Select branches

Hide Pull Requests

cut

master

Mono Color

• b6de429509
  
  Correction des erreurs d'Adrien. master Mysaa 2022-05-19 23:54:52 +02:00
• 721d1ccdf0
  README Adrien Vannson 2022-05-19 23:44:16 +02:00
• be3070db17
  Merge branch 'master' of gitlab.aliens-lyon.fr:savrillo/pieuvre Adrien Vannson 2022-05-19 23:42:09 +02:00
• 81d53dc7a6
  README Adrien Vannson 2022-05-19 23:42:01 +02:00
• 47e41d14ef
  
  Merge branch 'master' of gitlab.aliens-lyon.fr:savrillo/pieuvre Mysaa 2022-05-19 23:37:26 +02:00
• 12b98d6ccc
  
  Complètion du README. Mysaa 2022-05-19 23:34:52 +02:00
• 68887d6482
  README Adrien Vannson 2022-05-19 21:51:37 +02:00
• 2d6028e010
  Style Adrien Vannson 2022-05-19 21:50:57 +02:00
• 819ce2d6de
  Petites modifs Adrien Vannson 2022-05-18 16:44:34 +02:00
• d631cd3e93
  Intros Adrien Vannson 2022-05-18 16:36:02 +02:00
• 2de70d29a7
  README Adrien Vannson 2022-05-18 11:23:20 +02:00
• d73d6210e2
  Merge branch 'master' of gitlab.aliens-lyon.fr:savrillo/pieuvre Adrien Vannson 2022-05-18 11:22:15 +02:00
• aa0b71bfc9
  README Adrien Vannson 2022-05-18 11:20:39 +02:00
• 245133b276
  
  Merge remote-tracking branch 'origin/master' Mysaa 2022-05-18 00:53:28 +02:00
• d8f791328d
  
  Ajout de True et de la tactique exact. Mysaa 2022-05-18 00:53:01 +02:00
• bbfdad1b78
  Irrefutabilite de la loi de Peirce Adrien Vannson 2022-05-17 17:26:01 +02:00
• 0f7a24ae49
  Merge branch 'master' of gitlab.aliens-lyon.fr:savrillo/pieuvre Adrien Vannson 2022-05-17 14:00:25 +02:00
• 5d65bcdc36
  Et et ou Adrien Vannson 2022-05-17 13:59:35 +02:00
• e7c676b5b0
  
  Merge remote-tracking branch 'origin/master' Mysaa 2022-05-17 12:13:20 +02:00
• 548cbc9900
  
  Intro du README Mysaa 2022-05-17 12:12:33 +02:00
• a03a5f5504
  log.8pus Adrien Vannson 2022-05-17 12:08:25 +02:00
• 7b69264e3f
  Merge branch 'master' of gitlab.aliens-lyon.fr:savrillo/pieuvre Adrien Vannson 2022-05-17 11:43:50 +02:00
• 70fa9659be
  Orthographe Adrien Vannson 2022-05-17 11:43:45 +02:00
• 41c2b27823
  README reduce Adrien Vannson 2022-05-17 11:38:40 +02:00
• d78428c831
  README alpha Adrien Vannson 2022-05-17 11:34:59 +02:00
• b3d949f764
  
  Merge remote-tracking branch 'origin/master' Mysaa 2022-05-17 11:34:04 +02:00
• dcd0b8f2d4
  
  Ajout des jolies erreur et correction de la β-reduction. Mysaa 2022-05-17 11:33:12 +02:00
• 8b73c14eeb
  README Adrien Vannson 2022-05-17 11:29:07 +02:00
• 9d480afdb6
  README Adrien Vannson 2022-05-17 11:27:58 +02:00
• bac5f87b4f
  README typecheck Adrien Vannson 2022-05-17 11:26:34 +02:00
• 425951b1b9
  Typecheck Adrien Vannson 2022-05-17 11:23:54 +02:00
• d15da6c958
  Add space Adrien Vannson 2022-05-17 10:40:27 +02:00
• 3c95807b7b
  Irréfutabilité du tiers exclus Adrien Vannson 2022-05-16 23:41:30 +02:00
• 97e0ead5fe
  Add spaces Adrien Vannson 2022-05-16 23:27:10 +02:00
• e706c4bb9d
  Add comment Adrien Vannson 2022-05-16 23:25:49 +02:00
• 7439ae817a
  Remove typecheck Adrien Vannson 2022-05-16 23:25:40 +02:00
• b5cad5149c
  Merge branch 'master' of gitlab.aliens-lyon.fr:savrillo/pieuvre Adrien Vannson 2022-05-16 23:19:23 +02:00
• 7aba10f5fc
  Typecheck Adrien Vannson 2022-05-16 23:19:18 +02:00
• 627214787e
  
  Ajout de Et, ou et des tests associés. Mysaa 2022-05-16 04:01:23 +02:00
• 905b86af2d
  
  Correction de l'α-conversion. Mysaa 2022-05-11 22:36:31 +02:00
• 09ebe6339e
  Test d'alpha equivalence Adrien Vannson 2022-05-11 22:20:29 +02:00
• 50e0046617
  Merge branch 'master' of gitlab.aliens-lyon.fr:savrillo/pieuvre Adrien Vannson 2022-05-11 21:29:29 +02:00
• f60d98ea78
  Lecture de lambda-termes et reduce Adrien Vannson 2022-05-11 21:29:20 +02:00
• 92e1371027
  
  Merge remote-tracking branch 'origin/master' Mysaa 2022-05-10 15:25:38 +02:00
• 241a44528e
  
  Ajout de la β-réduction du λ-terme final. Mysaa 2022-05-10 15:24:42 +02:00
• 359d7333f5
  Commentaire Adrien Vannson 2022-05-10 15:20:50 +02:00
• 2ce406f7f2
  Test 6 Adrien Vannson 2022-05-10 15:15:59 +02:00
• d451f1ba72
  Test 1 Adrien Vannson 2022-05-10 15:13:03 +02:00
• 98a9e6964f
  
  Merge remote-tracking branch 'origin/master' Mysaa 2022-05-10 15:00:38 +02:00
• f1f890058f
  
  Merge branch 'cut' Mysaa 2022-05-10 15:00:19 +02:00
• 93e1174ff3
  Renommage Adrien Vannson 2022-05-10 14:50:13 +02:00
• dc29a93934
  Affichage des subgoals Adrien Vannson 2022-05-10 14:44:07 +02:00
• 5774bab7d8
  Fonction find_hyp Adrien Vannson 2022-05-10 14:31:34 +02:00
• 2b98fd6407
  
  Correction du typage de ExFalso. Mysaa 2022-05-10 14:23:38 +02:00
• a1276102a7
  
  Ajout du cut, un peu buggé pour l'instant. cut Mysaa 2022-05-10 14:17:35 +02:00
• 188bc43576
  Modif d'un test Adrien Vannson 2022-05-10 14:15:18 +02:00
• f6be1ad6da
  Test 8 Adrien Vannson 2022-05-10 14:02:36 +02:00
• 7eb605eb83
  Test élimination du faux Adrien Vannson 2022-05-10 14:00:01 +02:00
• e51762b03b
  Ajout de preuves Adrien Vannson 2022-05-10 13:57:02 +02:00
• 07e7a6b4eb
  Text Adrien Vannson 2022-05-10 13:42:17 +02:00
• 98d525c58a
  Elim Adrien Vannson 2022-05-10 13:41:20 +02:00
• 4ca1a65529
  Tests Adrien Vannson 2022-05-10 12:10:33 +02:00
• 46fa8ce223
  Merge branch 'master' of gitlab.aliens-lyon.fr:savrillo/pieuvre Adrien Vannson 2022-05-10 11:48:58 +02:00
• 8fc318b75e
  Tests Adrien Vannson 2022-05-10 11:48:53 +02:00
• ed4471da44
  
  Ajout du README Mysaa 2022-05-10 11:25:25 +02:00
• 29d7e67a00
  Indentation Adrien Vannson 2022-05-10 11:23:09 +02:00
• 73984f4232
  
  Merge remote-tracking branch 'origin/master' Mysaa 2022-05-10 11:20:35 +02:00
• b13db5a7ba
  
  Ajout du typecheck des preuves finales. Mysaa 2022-05-10 11:19:03 +02:00
• 5af07fff8d
  Apply Adrien Vannson 2022-05-10 11:11:03 +02:00
• b9d507b650
  Ajout de tactic.ml Adrien Vannson 2022-05-10 10:31:30 +02:00
• 40ac538cc1
  Assumption Adrien Vannson 2022-05-09 00:42:33 +02:00
• 5304002158
  Affichage des hypothèses Adrien Vannson 2022-05-09 00:18:22 +02:00
• 17907e1690
  Construction du lambda-terme Adrien Vannson 2022-05-09 00:15:52 +02:00
• ec7519ce98
  Correction du parseur Adrien Vannson 2022-05-09 00:15:23 +02:00
• 8f5488bf86
  Suppression d'un warning Adrien Vannson 2022-05-08 22:37:54 +02:00
• 5b7784184d
  Indentation Adrien Vannson 2022-05-08 22:34:25 +02:00
• fc7317b2d0
  Parse tactics Adrien Vannson 2022-05-08 20:03:29 +02:00
• f833807253
  Interractive mode Adrien Vannson 2022-05-08 18:52:04 +02:00
• 34455d887d
  False Adrien Vannson 2022-05-08 18:29:54 +02:00
• 136da4a898
  Lecture de non Adrien Vannson 2022-05-08 18:18:36 +02:00
• a5d820319a
  Correction d'un bug lors de la lecture de l'entrée standard Adrien Vannson 2022-05-08 18:14:13 +02:00
• 15afcecabe
  Correction d'un bug Adrien Vannson 2022-05-08 18:10:08 +02:00
• 4d6287f2cd
  Lecture d'une formule à prouver Adrien Vannson 2022-05-08 18:10:00 +02:00
• 4bfe9e9e6e
  
  Ajout du code de pieuvre qui manipule les λ-expressions.} Mysaa 2022-05-06 01:29:00 +02:00
• 542ae30dee
  
  Merge remote-tracking branch 'refs/remotes/origin/master' Mysaa 2022-05-03 15:14:52 +02:00
• 19a4354c66
  
  Ajout de l'α-conversion et des fonctions d'affichage des λ-termes et des types. Mysaa 2022-05-03 15:13:58 +02:00
• 2b0db8d161
  Correction de la compilation Adrien Vannson 2022-05-03 12:08:10 +02:00
• 1d760b1565
  
  Ajout des types et des fonctions à implémenter. Mysaa 2022-05-03 12:00:36 +02:00
• 107cef8edd
  
  Premier commit - Structure des fichiers Mysaa 2022-05-03 10:34:31 +02:00