This repository was archived by the owner on Mar 24, 2025. It is now read-only.

Intellij plugin support `@javaCompatible` #1

Closed

jxnu-liguobin opened this issue Nov 24, 2021 · 0 comments · Fixed by #7

Member

jxnu-liguobin commented Nov 24, 2021

No description provided.

jxnu-liguobin assigned IceMimosa

jxnu-liguobin transferred this issue from bitlap/smt

jxnu-liguobin changed the title ~~Intellij plugin support @JavaCompatible~~ Intellij plugin support @javaCompatible

IceMimosa linked a pull request

that will close this issue

Merged

jxnu-liguobin closed this as completed in #7

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.