Amaury JOLY

amaury_joly pushed to main at amaury_joly/bwconsistency

2025-12-11 19:04:01 +01:00

bce3b5cb3a big refactoring in the ARB <=> RB+DL in crash model

amaury_joly pushed to main at amaury_joly/bwconsistency

2025-12-09 16:24:25 +01:00

9475510cdb presentation vulga capitole du libre

ed3a31e66a programme SynThèse

6fdcdadfd2 ARB over DL + RB et version BFT

3c90fdc774 checkpoint

Compare 4 commits »

amaury_joly pushed to main at amaury_joly/bwconsistency

2025-10-22 14:17:44 +02:00

e6865efc53 update

2194f699d6 rapportCSI

Compare 2 commits »

amaury_joly pushed to main at amaury_joly/bwconsistency

2025-09-29 16:07:11 +02:00

3ea8de6388 nouvel algo

amaury_joly pushed to main at amaury_joly/bwconsistency

2025-06-27 09:58:57 +02:00

35a9d91779 encore pas bon

amaury_joly pushed to main at amaury_joly/bwconsistency

2025-05-19 16:51:12 +02:00

b5719a7d6b nouvel algo + proofs

amaury_joly pushed to main at amaury_joly/bwconsistency

2025-05-16 14:38:19 +02:00

d1caa2e54a sync nextcloud

amaury_joly pushed to main at amaury_joly/bwconsistency

2025-05-16 14:29:36 +02:00

0da5a47d47 sync nextcloud

amaury_joly pushed to main at amaury_joly/bwconsistency

2025-05-16 14:27:31 +02:00

c3694aff50 sync nextcloud

amaury_joly pushed to main at amaury_joly/bwconsistency

2025-05-16 14:26:50 +02:00

c5d71235d5 sync nextcloud

5adbb82d71 sync nextcloud

d81a1e232a intro et algo propre. Proof en cours

2c04ad710e bad message

39707197ef ADoverAB v2

Compare 33 commits »

amaury_joly pushed to master at amaury_joly/bwconsistency

2025-05-16 14:24:41 +02:00

5adbb82d71 sync nextcloud

d81a1e232a intro et algo propre. Proof en cours

2c04ad710e bad message

39707197ef ADoverAB v2

01f1e546d4 ALDoverABv1

Compare 28 commits »

amaury_joly pushed to main at amaury_joly/bwconsistency

2025-05-16 14:11:11 +02:00

82f0f8c92c sync nextcloud

amaury_joly pushed to master at amaury_joly/bwconsistency

2025-05-16 13:59:06 +02:00

3f4ec11b0a sync nextcloud

amaury_joly pushed to master at amaury_joly/bwconsistency

2025-05-16 13:57:25 +02:00

506bcb6415 sync nextcloud

658ba1c6c7 first

Compare 2 commits »

amaury_joly pushed to master at amaury_joly/bwconsistency

2025-05-16 13:28:28 +02:00

71296deb95 sync nextclodu

amaury_joly created branch master in amaury_joly/bwconsistency

2025-05-16 13:28:27 +02:00

amaury_joly pushed to main at amaury_joly/bwconsistency

2025-05-15 13:49:06 +02:00

999511988d intro et algo propre. Proof en cours

amaury_joly pushed to main at amaury_joly/bwconsistency

2025-05-05 10:26:37 +02:00

ee359083fd bad message

23b4126f7e ADoverAB v2

aefa847e9b ALDoverABv1

Compare 3 commits »

amaury_joly created branch master in amaury_joly/auuki_ynh

2025-02-19 09:22:04 +01:00

amaury_joly pushed to master at amaury_joly/auuki_ynh

2025-02-19 09:22:04 +01:00

6d984eb80b first