I just wanted to use eclipse tptp, a framework for analyzing static code, but support for code analysis ended with tptp 4.5.0. 1. It seems that this version cannot be integrated into the current eclipse galilee. I'm right? 2. What language independent framework for eclipse would you use as an alternative to tptp static analysis, which works with eclipse galileo?
source
share