Re: [tlaplus] TLA+ on Mac questions:

[tlaplus-google-group@xxxxxxxxxxx]

No, the Toolbox spawns the TLC process with its (Rosetta) JVM.  How big is the difference between running TLC on a native JVM compared to a JVM running on Rosetta?

Markus

On Feb 22, 2022, at 5:26 PM, sglaser@xxxxxxxxxxx wrote:

Even if the Eclipse stuff uses Rosetta, is are the TLC subprocess(s) going to use the platform native JVM? That would reduce the need to fully support Apple Silicon (for a while at least).

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/47C2B83F-6746-48F2-9E72-DD0DC486995C%40lemmster.de.