[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Toolbox running under Java 1.8

Hi folks.  After reading Viewpoint in the Communications of the ACM I was motivated to try TLA+.  I can get  the command line tools to work but the toolbox refuses to run the model checker but it does parse specs ok.  I have tried both the current version and the release candidate.  I am using windows 7 with Java 1.8.0_25 and the only conclusion I can come to is that the version of Eclipse that the toolbox uses won't run correctly with Java 1.8.  Is this a known issue or am I simply doing something stupid?