Amaury JOLY amaury_joly
0 Followers · 0 Following
  • Joined on 2022-03-07
Repositories
9
 Projects Packages Public Activity Starred Repositories
amaury_joly pushed to master at amaury_joly/nix-config 2026-04-10 18:40:58 +02:00
b4f7205dce c'est le bordel un peu
6105c58cda reformat
Compare 2 commits »
amaury_joly pushed to main at amaury_joly/bwconsistency 2026-04-08 17:11:55 +02:00
216083a4cb ajout biblio
amaury_joly pushed to master at amaury_joly/nix-config 2026-03-25 19:14:11 +01:00
6c9ba6ea88 update vmgaming
amaury_joly pushed to master at amaury_joly/nix-config 2026-03-25 19:04:41 +01:00
b2038c9105 update
amaury_joly pushed to main at amaury_joly/bwconsistency 2026-03-16 10:42:19 +01:00
d4856e9707 Redaction des deux derniers lemmes du BFT + explication des algos + transition partie crash partie byzantine plus fluide
d629de3670 remove RB for crash algorithms + some syntaxes fix in BFT algo
bee54232af remove redundant lemma and add inclusion lemma
Compare 3 commits »
amaury_joly pushed to master at amaury_joly/nix-config 2026-03-12 13:29:31 +01:00
c7262c7c68 update vmgpupassthrought
amaury_joly pushed to main at amaury_joly/bwconsistency 2026-03-05 11:53:05 +01:00
9a9d7af098 redaction des lemmes + preuve
61282a0737 refactoring
e4e3abad91 refacto preuve crash
Compare 3 commits »
amaury_joly created branch main_old in amaury_joly/bwconsistency 2026-03-02 16:16:27 +01:00
amaury_joly pushed to main_old at amaury_joly/bwconsistency 2026-03-02 16:16:27 +01:00
18448b481e fix du devcontainer
94b22408e5 Install party
8f51a7eed6 je rajoute un mecanisme de detection d'equivocation
Compare 3 commits »
amaury_joly pushed to main at amaury_joly/bwconsistency 2026-03-02 16:15:57 +01:00
55fa76a272 refacto algo crash (todo preuve)
d9848967b8 clean de l'algo
Compare 2 commits »
amaury_joly pushed to main at amaury_joly/bwconsistency 2026-03-02 13:23:53 +01:00
18448b481e fix du devcontainer
94b22408e5 Install party
8f51a7eed6 je rajoute un mecanisme de detection d'equivocation
cc22c9d7f3 algorithmpseudocode -> algorithm2e
268c30a112 typo et quelques lemmes
Compare 5 commits »
amaury_joly pushed to main at amaury_joly/bwconsistency 2026-01-26 12:56:50 +01:00
921dd502e3 typo
amaury_joly pushed to main at amaury_joly/bwconsistency 2026-01-23 17:03:00 +01:00
8ae05ff173 huge rearangement + new algo. TODO proof on it
amaury_joly pushed to main at amaury_joly/bwconsistency 2026-01-23 11:11:37 +01:00
945d830e89 partial-proof on BFT ARB
amaury_joly pushed to main at amaury_joly/bwconsistency 2026-01-23 08:57:38 +01:00
ea8826c4f5 typos
amaury_joly pushed to main at amaury_joly/bwconsistency 2026-01-20 10:54:27 +01:00
3e8aec36a2 reformatage
amaury_joly pushed to main at amaury_joly/bwconsistency 2026-01-20 10:29:20 +01:00
d5a865dd0a fin (?) de la spec de BFT-DL + debut de preuve de l'algo pour BFT ARB
amaury_joly pushed to main at amaury_joly/bwconsistency 2026-01-15 12:04:38 +01:00
f2cc294232 update de la spéc de BFT-DL + preuve READ Liveness
amaury_joly pushed to main at amaury_joly/bwconsistency 2026-01-15 09:31:03 +01:00
f5e0d90fb4 update
1acb408d01 presentation ecole d'hiver
Compare 2 commits »
amaury_joly pushed to main at amaury_joly/bwconsistency 2026-01-07 20:16:48 +01:00
106bc70056 update
e89e0e8d2a update
Compare 2 commits »