Win a copy of Functional Reactive Programming this week in the Other Languages forum!
  • Post Reply
  • Bookmark Topic Watch Topic
  • New Topic

ECLIPSE TPTP

 
Jason Hocker
Ranch Hand
Posts: 132
  • Mark post as helpful
  • send pies
  • Quote
  • Report post to moderator
I'm new to using TPTP. Is there a version under development that works with java 6?

Does anyone have a better set of tests for the static analysis? Or know of a website that has a repository of tests?
 
  • Post Reply
  • Bookmark Topic Watch Topic
  • New Topic