1. 2
  1.  

  2. 2

    This is old work, upstream CompCert verified separate compilation since 2.7 released in 2016, based on completely different approach.