Amaury JOLY
|
216083a4cb
|
ajout biblio
|
2026-04-08 17:06:53 +02:00 |
|
Amaury JOLY
|
d4856e9707
|
Redaction des deux derniers lemmes du BFT + explication des algos + transition partie crash partie byzantine plus fluide
|
2026-03-16 09:41:45 +00:00 |
|
Amaury JOLY
|
d629de3670
|
remove RB for crash algorithms + some syntaxes fix in BFT algo
|
2026-03-16 09:15:07 +00:00 |
|
Amaury JOLY
|
bee54232af
|
remove redundant lemma and add inclusion lemma
|
2026-03-05 12:05:17 +00:00 |
|
Amaury JOLY
|
9a9d7af098
|
redaction des lemmes + preuve
|
2026-03-05 10:52:29 +00:00 |
|
Amaury JOLY
|
61282a0737
|
refactoring
|
2026-03-04 18:38:08 +00:00 |
|
Amaury JOLY
|
e4e3abad91
|
refacto preuve crash
|
2026-03-03 12:36:34 +00:00 |
|
Amaury JOLY
|
55fa76a272
|
refacto algo crash (todo preuve)
|
2026-03-02 15:10:18 +00:00 |
|
Amaury JOLY
|
d9848967b8
|
clean de l'algo
|
2026-03-02 12:59:50 +00:00 |
|
Amaury JOLY
|
cc22c9d7f3
|
algorithmpseudocode -> algorithm2e
|
2026-02-22 22:27:01 +01:00 |
|
Amaury JOLY
|
268c30a112
|
typo et quelques lemmes
|
2026-02-17 14:30:31 +01:00 |
|
Amaury JOLY
|
921dd502e3
|
typo
|
2026-01-26 12:54:25 +01:00 |
|
Amaury JOLY
|
8ae05ff173
|
huge rearangement + new algo. TODO proof on it
|
2026-01-23 17:02:27 +01:00 |
|
Amaury JOLY
|
945d830e89
|
partial-proof on BFT ARB
|
2026-01-23 11:11:19 +01:00 |
|
JOLY Amaury
|
ea8826c4f5
|
typos
|
2026-01-23 07:52:01 +00:00 |
|
Amaury JOLY
|
3e8aec36a2
|
reformatage
|
2026-01-20 10:53:00 +01:00 |
|
Amaury JOLY
|
d5a865dd0a
|
fin (?) de la spec de BFT-DL + debut de preuve de l'algo pour BFT ARB
|
2026-01-20 10:28:46 +01:00 |
|
Amaury JOLY
|
f2cc294232
|
update de la spéc de BFT-DL + preuve READ Liveness
|
2026-01-15 12:04:20 +01:00 |
|
Amaury JOLY
|
f5e0d90fb4
|
update
|
2026-01-15 09:30:46 +01:00 |
|
Amaury JOLY
|
1acb408d01
|
presentation ecole d'hiver
|
2026-01-15 09:30:33 +01:00 |
|
Amaury JOLY
|
106bc70056
|
update
|
2026-01-07 20:16:22 +01:00 |
|
Amaury JOLY
|
e89e0e8d2a
|
update
|
2026-01-07 17:40:57 +01:00 |
|
Amaury JOLY
|
926c3fdc51
|
update
|
2026-01-05 17:11:40 +01:00 |
|
Amaury JOLY
|
679e6e949c
|
reorganisation multi-files
|
2026-01-05 15:31:22 +01:00 |
|
Amaury JOLY
|
6ffb074956
|
reorganisation + propriétés de TRNG
|
2025-12-15 18:17:45 +01:00 |
|
Amaury JOLY
|
bce3b5cb3a
|
big refactoring in the ARB <=> RB+DL in crash model
|
2025-12-11 19:03:20 +01:00 |
|
Amaury JOLY
|
9475510cdb
|
presentation vulga capitole du libre
|
2025-12-09 16:19:36 +01:00 |
|
Amaury JOLY
|
ed3a31e66a
|
programme SynThèse
|
2025-12-09 16:19:10 +01:00 |
|
Amaury JOLY
|
6fdcdadfd2
|
ARB over DL + RB et version BFT
|
2025-12-09 16:17:51 +01:00 |
|
Amaury JOLY
|
3c90fdc774
|
checkpoint
|
2025-11-06 15:05:53 +01:00 |
|
Amaury JOLY
|
e6865efc53
|
update
|
2025-10-22 12:17:11 +00:00 |
|
Amaury JOLY
|
2194f699d6
|
rapportCSI
|
2025-10-22 12:16:40 +00:00 |
|
Amaury JOLY
|
3ea8de6388
|
nouvel algo
|
2025-09-29 16:06:43 +02:00 |
|
Amaury JOLY
|
35a9d91779
|
encore pas bon
|
2025-06-27 07:53:09 +00:00 |
|
Amaury JOLY
|
b5719a7d6b
|
nouvel algo + proofs
|
2025-05-19 16:50:06 +02:00 |
|
Amaury JOLY
|
d1caa2e54a
|
sync nextcloud
|
2025-05-16 14:38:08 +02:00 |
|
Amaury JOLY
|
0da5a47d47
|
sync nextcloud
|
2025-05-16 14:29:23 +02:00 |
|
Amaury JOLY
|
c3694aff50
|
sync nextcloud
|
2025-05-16 14:27:20 +02:00 |
|
Amaury JOLY
|
c5d71235d5
|
sync nextcloud
|
2025-05-16 14:26:37 +02:00 |
|
Amaury JOLY
|
5adbb82d71
|
sync nextcloud
|
2025-05-16 14:24:21 +02:00 |
|
Amaury JOLY
|
d81a1e232a
|
intro et algo propre. Proof en cours
|
2025-05-16 14:20:02 +02:00 |
|
Amaury JOLY
|
2c04ad710e
|
bad message
|
2025-05-16 14:20:02 +02:00 |
|
Amaury JOLY
|
39707197ef
|
ADoverAB v2
|
2025-05-16 14:20:02 +02:00 |
|
Amaury JOLY
|
01f1e546d4
|
ALDoverABv1
|
2025-05-16 14:20:02 +02:00 |
|
amaury
|
7133b37da2
|
hard push
|
2025-05-16 14:20:02 +02:00 |
|
amaury
|
790ab5828f
|
hard push
|
2025-05-16 14:20:02 +02:00 |
|
Amaury
|
29a2223ed0
|
oups
|
2025-05-16 14:20:02 +02:00 |
|
Amaury
|
61d7f9a8f4
|
update biblio
|
2025-05-16 14:20:02 +02:00 |
|
Amaury
|
c9e3b8a751
|
rapport de stage
|
2025-05-16 14:20:02 +02:00 |
|
Amaury
|
a09f223b46
|
update biblio
|
2025-05-16 14:20:02 +02:00 |
|