Théophile Bastian

tobast pushed to master at tobast/nomnom

2024-12-16 22:58:53 +01:00

42212e13c0 Porridge : ajustement du sucre

tobast pushed to main at tobast/phd-defense

2024-12-12 11:54:56 +01:00

81c78bc581 Fixup title

tobast pushed to accords at tobast/pwgen-fr

2024-12-10 21:49:23 +01:00

64ae84b0cd Fixup rand6 being actually rand4

tobast pushed to master at tobast/tobast.fr-hugo

2024-12-10 13:20:25 +01:00

2c1eedb0dc Update home page

tobast pushed to main at tobast/phd-defense

2024-12-08 11:18:31 +01:00

99cde98782 Change title (wow, waaay too long)

tobast pushed to main at tobast/phd-defense

2024-12-07 22:53:09 +01:00

d881f52e5d Slide 14: switch 3 and 4

tobast pushed to main at tobast/phd-defense

2024-12-07 21:11:18 +01:00

0f36b8d229 Few changes after test

tobast pushed to main at tobast/phd-defense

2024-12-06 18:51:07 +01:00

8ced97c52c Suppl.: staticdeps breaking

tobast pushed to main at tobast/phd-defense

2024-12-06 12:58:57 +01:00

00707e60fe Supplementary: CesASMe dependencies + init Staticdeps context

bd354bfe99 Slide on points-to analysis (maybe not quite done)

Compare 2 commits »

tobast pushed to main at tobast/phd-site

2024-12-06 12:11:14 +01:00

59129a90fd Change PhD title

tobast pushed to main at tobast/phd-defense

2024-12-06 11:54:51 +01:00

897feccca7 Minor changes

tobast pushed to main at tobast/phd-defense

2024-12-05 18:34:44 +01:00

7a4ddb2b7b Few more changes according to feedback

tobast pushed to main at tobast/phd-defense

2024-12-05 17:56:20 +01:00

4da98f6ba6 Potatoes!

0a8d0231b0 Intro potato: add eval

c7169b2e7a Add summary slide to intro

Compare 3 commits »

tobast pushed to main at tobast/phd-defense

2024-12-05 13:43:18 +01:00

1159a4103e Move data tables to supplementary material

tobast pushed to main at tobast/phd-defense

2024-12-05 13:10:04 +01:00

1e9098a7b7 Configure pdfpc from latex

12b419633b Add A72 to backup slides

Compare 2 commits »

tobast pushed to main at tobast/phd-defense

2024-12-05 12:07:13 +01:00

626ce715da Apply some feedback

tobast pushed to main at tobast/phd-site

2024-12-05 09:59:55 +01:00

a04f38e861 Add videoconference link

tobast pushed to main at tobast/phd-defense

2024-12-04 10:24:47 +01:00

47886bb07b Few changes according to feedback

b7a2cfad9c Rename A72C section

Compare 2 commits »

tobast pushed to main at tobast/phd-defense

2024-12-04 09:52:05 +01:00

98eded2d6f Fixup typo in example

tobast pushed to main at tobast/phd-defense

2024-12-02 22:58:04 +01:00

e0c8c9198f Foundations: big picture: fix alignment