Have it been used to successfully convert something in the range of 140K SLOC of Ada to C++?
Our tool has been used to convert some of the most mission-critical applications in the world. For instance, the Advanced Field Artillery Tactical Data System (AFATDS) conversion alone was well over 3 million lines of Ada to C++.