aboutsummaryrefslogtreecommitdiffstats
path: root/data
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2021-09-10 19:51:56 +0100
committerYann Herklotz <git@yannherklotz.com>2021-09-10 19:51:56 +0100
commit06636e280046d8074eabb60e3b6f604032d85e70 (patch)
tree1760fe18985862888021073c080d8acccf4c6672 /data
parentb309d92c4846182e9f454ab81435b81e92ce9cc4 (diff)
downloadyannherklotz.com-06636e280046d8074eabb60e3b6f604032d85e70.tar.gz
yannherklotz.com-06636e280046d8074eabb60e3b6f604032d85e70.zip
Fix the toml file for cross-platform
Diffstat (limited to 'data')
-rw-r--r--data/news.toml22
1 files changed, 11 insertions, 11 deletions
diff --git a/data/news.toml b/data/news.toml
index 3a26104..1de6846 100644
--- a/data/news.toml
+++ b/data/news.toml
@@ -1,43 +1,43 @@
[[news]]
-date = 2021-08-31
+date = "2021-08-31"
event = "<a href=\"/papers/fvhls_oopsla21.pdf\">Paper on Vericert</a> accepted at OOPSLA'21."
[[news]]
-date = 2021-05-31
+date = "2021-05-31"
event = "Internship with <a href=\"https://people.irisa.fr/Sandrine.Blazy/\">Sandrine Blazy</a> and <a href=\"https://people.irisa.fr/Delphine.Demange/\">Delphine Demange</a> on <a href=\"https://gitlab.inria.fr/compcertgsa/compcertssa\">CompCertSSA</a>."
[[news]]
-date = 2021-02-05
+date = "2021-02-05"
event = "Invited seminar talk for the <a href=\"https://team.inria.fr/celtique/\">Celtique project</a>."
[[news]]
-date = 2020-09-10
+date = "2020-09-10"
event = "Artifact review committee at OOPSLA 2020."
[[news]]
-date = 2020-06-17
+date = "2020-06-17"
event = "Gold medal at <a href=\"https://www.youtube.com/watch?v=gCEtTfz5dok\">PLDI 2020 SRC Presentation</a>."
[[news]]
-date = 2020-06-15
+date = "2020-06-15"
event = "Student volunteer at PLDI 2020."
[[news]]
-date = 2020-02-25
+date = "2020-02-25"
event = "Presented Verismith at FPGA 2020."
[[news]]
-date = 2019-12-15
+date = "2019-12-15"
event = "FPGA 2020 <a href=\"/papers/fubfst_fpga2020.pdf\">Verismith paper</a> accepted."
[[news]]
-date = 2019-10-03
+date = "2019-10-03"
event = "Started PhD at Imperial College London with John Wickerson."
[[news]]
-date = 2019-09-15
+date = "2019-09-15"
event = "Submitted <a href=\"/papers/fubfst_fpga2020.pdf\">Verismith paper</a> to FPGA 2020."
[[news]]
-date = 2019-07-15
+date = "2019-07-15"
event = "Student volunteer at ECOOP 2019."