# HG changeset patch # User Christian Urban # Date 1736253762 0 # Node ID 2807ec31d14467be58ffa1559f172757c0071780 # Parent 1daec107e6ab5a66249205fd6f3250c915810e62 updated diff -r 1daec107e6ab -r 2807ec31d144 Cookbook/main.html --- a/Cookbook/main.html Tue May 21 15:52:33 2024 +0100 +++ b/Cookbook/main.html Tue Jan 07 12:42:42 2025 +0000 @@ -95,7 +95,7 @@ A repository -is available and you are very welcome to contribute to it. The current draft of the tutorial is here. +is available and you are very welcome to contribute to it. The current draft of the tutorial is here.

Stable Version

diff -r 1daec107e6ab -r 2807ec31d144 index.html --- a/index.html Tue May 21 15:52:33 2024 +0100 +++ b/index.html Tue Jan 07 12:42:42 2025 +0000 @@ -193,8 +193,8 @@ by Xingyuan Zhang and me

-Current PhD Chengsong Tan
-Former PhD Fahad Ausaf (works at ARM in the VHDL compiler team)
+Current PhD Meshal Nasser Binnasban
+Former PhDs Fahad Ausaf (works at ARM in the VHDL compiler team); Chengsong Tan (postdoc at Imperial College, now works at Kaihong Digital verifying OSes)
Former RAs Chunhan Wu, Cezary Kaliszyk, Julien Narboux