Closed mahiuchun closed 10 years ago
kerneis
commented
10 years ago On Mon, May 19, 2014 at 08:45:52AM -0700, Xiaojun Ma wrote:
Subject: CIL tutorial link not working (#11) https://github.com/kerneis/cil/issues/11
The author seems to have moved away from ETH Zurich, his webpage is not available anymore.
Zach, is the pdf of the CIL tutorial now hosted elsewhere?
Best, Gabriel
kerneis
commented
10 years ago I think I can host it directly from github. I'll look into that later today or tomorrow.
Thanks for the heads-up.
Zach
On Mon, May 19, 2014 at 8:58 AM, Gabriel Kerneis gabriel@kerneis.infowrote:
On Mon, May 19, 2014 at 08:45:52AM -0700, Xiaojun Ma wrote:
Subject: CIL tutorial link not working (#11) https://github.com/kerneis/cil/issues/11
The author seems to have moved away from ETH Zurich, his webpage is not available anymore.
Zach, is the pdf of the CIL tutorial now hosted elsewhere?
Best, Gabriel
kerneis
commented
10 years ago https://bitbucket.org/zanderso/cil-template/downloads/ciltut.pdf
Should work. Sorry for the delay.
Cheers, Zach
On Mon, May 19, 2014 at 1:12 PM, Zachary Anderson zanderso@gmail.comwrote:
I think I can host it directly from github. I'll look into that later today or tomorrow.
Thanks for the heads-up.
Zach
On Mon, May 19, 2014 at 8:58 AM, Gabriel Kerneis gabriel@kerneis.infowrote:
On Mon, May 19, 2014 at 08:45:52AM -0700, Xiaojun Ma wrote:
Subject: CIL tutorial link not working (#11) https://github.com/kerneis/cil/issues/11
The author seems to have moved away from ETH Zurich, his webpage is not available anymore.
Zach, is the pdf of the CIL tutorial now hosted elsewhere?
Best, Gabriel
As title.