Project

General

Profile

Bug #6775

Updated by Evgeny Novikov about 8 years ago

CIL is used in both LDV Tools and in Core and we have to track its issues. In particular there are several ones well known from LDV Tools (too much useless labour to move them to Klever): 
 # #5387. 
 # #5012. 
 # #4798. 
 # #1334. 
 # #1333. 
 # #1323. 

 I am not sure that updating CIL (#6629) will help us but who knows. 

Back