>> Does anyone in the industry use it ? Does anyone knows for sure that Airbus uses it ? I've heard Xavier Leroy say a year or two ago that Airbus was still evaluating CompCert and was thinking of using it in production…
>> Does anyone in the industry use it ? Does anyone knows for sure that Airbus uses it ? I've heard Xavier Leroy say a year or two ago that Airbus was still evaluating CompCert and was thinking of using it in production…