Used CIL is outdated
At the moment version 1.5.1 is used. It was released on 14 Jul 2012. See the official CIL page.
Updated by Evgeny Novikov 7 months ago
- Target version set to 3.0
- Priority changed from Normal to Urgent
- Assignee set to Ilja Zakharov
I suggest that we will not get rid of CIL at least in a near future as we did not do that during many past years. So, at least we should to use a more modern version that can help to get rid of many CIL related issues without increasing verification time.
Updated by Evgeny Novikov 26 days ago
- Status changed from New to Resolved
I switched Klever to Frama-C (CIL) from Deductive Verification Tools for Linux Kernel in branch frama-c-cil and made everything required in addition there. Now the branch undergoes testing. I hope that this is the last iteration.