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.
#1 Updated by Evgeny Novikov 5 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.