search

ocadaruma / tlaplus-intellij-plugin

Intellij plugin for TLA+ formal specification language.
Apache License 2.0
52 stars 2 forks source link

Request port to GoLand #26

Closed IdlePhysicist closed 2 years ago

IdlePhysicist commented 2 years ago

Hello, I am a GoLand user and I am wondering if it would be possible for this plugin to be ported to the GoLand IDE and presumably other IntelliJ IDEs?

Thanks

ocadaruma commented 2 years ago

Currently this plugin depends on IntelliJ platform's java feature to run TLC (https://github.com/ocadaruma/tlaplus-intellij-plugin/blob/v0.7.3/src/main/resources/META-INF/plugin.xml#L25) but yeah, it sounds reasonable to make it works also on other IDEs. Let me consider if it's possible.

ocadaruma commented 2 years ago

https://github.com/ocadaruma/tlaplus-intellij-plugin/releases/tag/v0.7.4 has been released. All IntelliJ-based IDEs (including GoLand) is now supported.

Please try it out

IdlePhysicist commented 2 years ago

It looks good, this is the only strange thing that I note. Though it does not impede me from using your plugin.

Please run the Java VM, which executes TLC with a throughput optimized garbage collector, by passing the "-XX:+UseParallelGC" property.

Thank you for doing this work!

ocadaruma commented 2 years ago

Ah yeah, that's a known warning message because G1GC is used by default now. I think it shouldn't cause any actual problem.