The Ada compiler evaluation system