[CIL users] The CCL module

2013-09-13 Thread Alex Susu
Hello. I played the last days a bit with the CCL (CCured Light) CIL module - for example, I used the equalTypes function defined there, which checks structurally 2 types are equal (types defined with typedef are allowed, as well). Also, I tried to use the CCL module on C files. It

Re: [CIL users] New feature: CIL plugins

2013-09-13 Thread Gabriel Kerneis
On Tue, Aug 27, 2013 at 04:57:36PM +0100, Gabriel Kerneis wrote: > I have just merged my work on CIL plugins into the "develop" branch of > the git repository. This is of interest to anybody who writes his own > CIL features (previously configured using EXTRA_FEATURES). Now fixed to work on Window