3 ms·
This URL http://www.eecs.berkeley.edu/~necula/cil/cil002.html#toc1 http://www.eecs.berkeley.edu/~necula/cil/cil002.html#toc1 mentions cil version 1.3.7. Changel
by mmozeiko 12y ago
This URL http://www.eecs.berkeley.edu/~necula/cil/cil002.html#toc1 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 http://www.eecs.berkeley.edu/~necula/cil/changes.html says 1.3.7 was released on 2009-04-24.
- dang 12y agoBut 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 https://news.ycombinator.com/item?id=836735 was a while ago!
- bjwbell 12y agoFYI the project is still active, https://github.com/cil-project/cil https://github.com/cil-project/cil That website for it hasn't been updated.