amaury_joly/bwconsistency
1
0
Fork 0
Code Issues 5 Pull Requests Packages Projects 3 Releases Wiki Activity

Commit Graph

  • 216083a4cb ajout biblio main Amaury JOLY 2026-04-08 17:06:53 +02:00
  • d4856e9707 Redaction des deux derniers lemmes du BFT + explication des algos + transition partie crash partie byzantine plus fluide Amaury JOLY 2026-03-16 09:41:45 +00:00
  • d629de3670 remove RB for crash algorithms + some syntaxes fix in BFT algo Amaury JOLY 2026-03-16 09:15:07 +00:00
  • bee54232af remove redundant lemma and add inclusion lemma Amaury JOLY 2026-03-05 12:05:17 +00:00
  • 9a9d7af098 redaction des lemmes + preuve Amaury JOLY 2026-03-05 10:52:29 +00:00
  • 61282a0737 refactoring Amaury JOLY 2026-03-04 18:38:08 +00:00
  • e4e3abad91 refacto preuve crash Amaury JOLY 2026-03-03 12:36:34 +00:00
  • 55fa76a272 refacto algo crash (todo preuve) Amaury JOLY 2026-03-02 15:10:18 +00:00
  • d9848967b8 clean de l'algo Amaury JOLY 2026-03-02 12:59:50 +00:00
  • 18448b481e fix du devcontainer main_old Amaury JOLY 2026-03-02 12:22:40 +00:00
  • 94b22408e5 Install party Amaury JOLY 2026-03-02 12:22:15 +00:00
  • 8f51a7eed6 je rajoute un mecanisme de detection d'equivocation Amaury JOLY 2026-02-23 15:01:43 +01:00
  • cc22c9d7f3 algorithmpseudocode -> algorithm2e Amaury JOLY 2026-02-22 22:27:01 +01:00
  • 268c30a112 typo et quelques lemmes Amaury JOLY 2026-02-17 14:30:31 +01:00
  • 921dd502e3 typo Amaury JOLY 2026-01-26 12:54:25 +01:00
  • 8ae05ff173 huge rearangement + new algo. TODO proof on it Amaury JOLY 2026-01-23 17:02:27 +01:00
  • 945d830e89 partial-proof on BFT ARB Amaury JOLY 2026-01-23 11:11:19 +01:00
  • ea8826c4f5 typos JOLY Amaury 2026-01-23 07:52:01 +00:00
  • 3e8aec36a2 reformatage Amaury JOLY 2026-01-20 10:53:00 +01:00
  • d5a865dd0a fin (?) de la spec de BFT-DL + debut de preuve de l'algo pour BFT ARB Amaury JOLY 2026-01-20 10:28:46 +01:00
  • f2cc294232 update de la spéc de BFT-DL + preuve READ Liveness Amaury JOLY 2026-01-15 12:04:20 +01:00
  • f5e0d90fb4 update Amaury JOLY 2026-01-15 09:30:46 +01:00
  • 1acb408d01 presentation ecole d'hiver Amaury JOLY 2026-01-15 09:30:33 +01:00
  • 106bc70056 update Amaury JOLY 2026-01-07 20:16:22 +01:00
  • e89e0e8d2a update Amaury JOLY 2026-01-07 17:40:57 +01:00
  • 926c3fdc51 update Amaury JOLY 2026-01-05 17:11:40 +01:00
  • 679e6e949c reorganisation multi-files Amaury JOLY 2026-01-05 15:31:22 +01:00
  • 6ffb074956 reorganisation + propriétés de TRNG Amaury JOLY 2025-12-15 18:17:45 +01:00
  • bce3b5cb3a big refactoring in the ARB <=> RB+DL in crash model Amaury JOLY 2025-12-11 19:03:20 +01:00
  • 9475510cdb presentation vulga capitole du libre Amaury JOLY 2025-12-09 16:19:36 +01:00
  • ed3a31e66a programme SynThèse Amaury JOLY 2025-12-09 16:19:10 +01:00
  • 6fdcdadfd2 ARB over DL + RB et version BFT Amaury JOLY 2025-12-09 16:17:51 +01:00
  • 3c90fdc774 checkpoint Amaury JOLY 2025-11-06 15:05:53 +01:00
  • e6865efc53 update Amaury JOLY 2025-10-22 12:17:11 +00:00
  • 2194f699d6 rapportCSI Amaury JOLY 2025-10-22 12:16:40 +00:00
  • 3ea8de6388 nouvel algo Amaury JOLY 2025-09-29 16:06:43 +02:00
  • 35a9d91779 encore pas bon Amaury JOLY 2025-06-27 07:53:09 +00:00
  • b5719a7d6b nouvel algo + proofs Amaury JOLY 2025-05-19 16:50:06 +02:00
  • d1caa2e54a sync nextcloud Amaury JOLY 2025-05-16 14:38:08 +02:00
  • 0da5a47d47 sync nextcloud Amaury JOLY 2025-05-16 14:29:23 +02:00
  • c3694aff50 sync nextcloud Amaury JOLY 2025-05-16 14:27:20 +02:00
  • c5d71235d5 sync nextcloud Amaury JOLY 2025-05-16 14:26:37 +02:00
  • 5adbb82d71 sync nextcloud master Amaury JOLY 2025-05-16 14:24:21 +02:00
  • d81a1e232a intro et algo propre. Proof en cours Amaury JOLY 2025-05-15 11:48:32 +00:00
  • 2c04ad710e bad message Amaury JOLY 2025-05-05 08:13:55 +00:00
  • 39707197ef ADoverAB v2 Amaury JOLY 2025-05-02 07:22:19 +00:00
  • 01f1e546d4 ALDoverABv1 Amaury JOLY 2025-04-30 07:07:35 +00:00
  • 7133b37da2 hard push amaury 2024-12-17 14:58:27 +01:00
  • 790ab5828f hard push amaury 2024-12-17 14:57:43 +01:00
  • 29a2223ed0 oups Amaury 2024-04-03 09:13:23 +02:00
  • 61d7f9a8f4 update biblio Amaury 2023-10-31 15:59:46 +01:00
  • c9e3b8a751 rapport de stage Amaury 2023-09-11 09:21:49 +02:00
  • a09f223b46 update biblio Amaury 2023-07-12 14:24:04 +02:00
  • 0a3fb33f63 configuration vscode Amaury 2023-07-11 14:25:09 +02:00
  • 028ef5f9f2 quelques notes de lectures (pas très beau, histoire de l'avoir sur le git) Amaury 2023-07-11 14:24:05 +02:00
  • ef0e2b3e45 biblio au 11/07/23 + notes tri Amaury 2023-07-11 14:22:47 +02:00
  • e27c7dea04 edit presentation dalgo + gitignore latex Amaury 2023-07-11 14:21:30 +02:00
  • 6d37e433ef reorganisation Amaury 2023-07-03 14:32:03 +02:00
  • 7c080a146d retrait fichier poubelle Amaury 2023-06-29 13:35:39 +02:00
  • 6a75aa7ebf ajout présentation pour Scille séminaire été 2023 Amaury 2023-06-29 13:34:57 +02:00
  • 8bf0a343fa spell check + des ajouts en vrac amaury 2023-05-12 14:56:24 +02:00
  • dc7c4f0290 refactor amaury 2023-05-07 16:08:25 +02:00
  • 3437a6751b rajout de notes + debut beamer amaury 2023-05-07 16:02:45 +02:00
  • 66aeded3d1 rajout de mes notes amaury 2023-04-24 10:12:40 +02:00
  • fa7e0ac5c1 lecture_vdLLP (#10) Amaury JOLY 2023-04-20 13:45:09 +02:00
  • f4fe573079 edit README amaury 2023-04-13 15:18:19 +02:00
  • 3a3f759070 edit README amaury 2023-04-13 15:10:37 +02:00
  • 77d7d734fe done amaury 2023-04-12 14:13:39 +02:00
  • 8b65ea242a Rey18_chapitre1 amaury 2023-04-11 14:27:28 +02:00
  • fee42383f4 first commit amaury 2023-04-11 10:30:29 +02:00
  • 82f0f8c92c sync nextcloud Amaury JOLY 2025-05-16 14:08:06 +02:00
  • 3f4ec11b0a sync nextcloud Amaury JOLY 2025-05-16 13:58:52 +02:00
  • 506bcb6415 sync nextcloud Amaury JOLY 2025-05-16 13:57:12 +02:00
  • 658ba1c6c7 first Amaury JOLY 2025-05-16 13:55:27 +02:00
  • 71296deb95 sync nextclodu Amaury JOLY 2025-05-16 13:27:55 +02:00
  • 999511988d intro et algo propre. Proof en cours Amaury JOLY 2025-05-15 11:48:32 +00:00
  • ee359083fd bad message Amaury JOLY 2025-05-05 08:13:55 +00:00
  • 23b4126f7e ADoverAB v2 Amaury JOLY 2025-05-02 07:22:19 +00:00
  • aefa847e9b ALDoverABv1 Amaury JOLY 2025-04-30 07:07:35 +00:00
  • 87ef596364 hard push amaury 2024-12-17 14:58:27 +01:00
  • ab70a09cbf hard push amaury 2024-12-17 14:57:43 +01:00
  • e51d7de452 oups Amaury 2024-04-03 09:13:23 +02:00
  • 25bcd0cc27 update biblio Amaury 2023-10-31 15:59:46 +01:00
  • 8199d8d9e2 rapport de stage Amaury 2023-09-11 09:21:49 +02:00
  • 4d216f8338 update biblio Amaury 2023-07-12 14:24:04 +02:00
  • 9c0f14255d configuration vscode Amaury 2023-07-11 14:25:09 +02:00
  • b1ae7f3821 quelques notes de lectures (pas très beau, histoire de l'avoir sur le git) Amaury 2023-07-11 14:24:05 +02:00
  • 74cd55be4b biblio au 11/07/23 + notes tri Amaury 2023-07-11 14:22:47 +02:00
  • 9130472a12 edit presentation dalgo + gitignore latex Amaury 2023-07-11 14:21:30 +02:00
  • b00fc6acbe reorganisation Amaury 2023-07-03 14:32:03 +02:00
  • f1b1dc40ca retrait fichier poubelle Amaury 2023-06-29 13:35:39 +02:00
  • e080a1d53a ajout présentation pour Scille séminaire été 2023 Amaury 2023-06-29 13:34:57 +02:00
  • 5b2ad4ab99 spell check + des ajouts en vrac amaury 2023-05-12 14:56:24 +02:00
  • a44d8f8ebb refactor amaury 2023-05-07 16:08:25 +02:00
  • 0e3463f97d rajout de notes + debut beamer amaury 2023-05-07 16:02:45 +02:00
  • 5fd2cd1273 rajout de mes notes amaury 2023-04-24 10:12:40 +02:00
  • 84867740de lecture_vdLLP (#10) Amaury JOLY 2023-04-20 13:45:09 +02:00
  • b0695ae27e edit README amaury 2023-04-13 15:18:19 +02:00
  • 8763cc6413 edit README amaury 2023-04-13 15:10:37 +02:00
  • 18373a46df done amaury 2023-04-12 14:13:39 +02:00