[dang]

Can anybody figure out the year on this one? Internet Archive says 2011 but it seems it might be earlier.

[pjscott]

The HTTP headers can put an upper bound on the date:

    Last-Modified: Fri, 29 Oct 2010 16:59:15 GMT

And the changelog for CIL suggests that it may be significantly older:

http://www.eecs.berkeley.edu/~necula/cil/changes.html

[dang]

That header trick is a good one.

Ok, we'll put 2010 on it even though it is likely quite a bit older. An upper bound is better than nothing.

[mmozeiko]

This URL http://www.eecs.berkeley.edu/~necula/cil/cil002.html#toc1 mentions cil version 1.3.7. Changelog http://www.eecs.berkeley.edu/~necula/cil/changes.html says 1.3.7 was released on 2009-04-24.

[dang]

But 2010 may just have been when they stopped updating a version number. It looks like early 2000s material to me, based on nothing in particular. There's also this:

When I (George) started to write CIL I thought it was going to take two weeks. Exactly a year has passed since then and I am still fixing bugs in it

The CIL paper was published in 2002. Actually the whole project looks interesting—arguably more so than the currently posted page. It should have its own HN thread sometime. https://news.ycombinator.com/item?id=836735 was a while ago!

[bjwbell]

FYI the project is still active, https://github.com/cil-project/cil

That website for it hasn't been updated.