Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

IDE support @apply #40

Closed
Tracked by #20
jxnu-liguobin opened this issue Jul 6, 2021 · 0 comments · Fixed by #55
Closed
Tracked by #20

IDE support @apply #40

jxnu-liguobin opened this issue Jul 6, 2021 · 0 comments · Fixed by #55
Assignees
@IceMimosa
Labels
enhancement New feature or request intellij plugin
Milestone
0.2.0

Comments

@jxnu-liguobin
Copy link
Member

No description provided.

@jxnu-liguobin jxnu-liguobin mentioned this issue Jul 6, 2021
Closed
6 tasks
@jxnu-liguobin jxnu-liguobin changed the title @apply IDE support @apply Jul 6, 2021
@jxnu-liguobin jxnu-liguobin added the enhancement New feature or request label Jul 6, 2021
@jxnu-liguobin jxnu-liguobin added this to the 0.2.0 milestone Jul 7, 2021
@IceMimosa IceMimosa linked a pull request Jul 9, 2021 that will close this issue
IDEA support annotation apply & constructor #55
Merged
2 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@IceMimosa IceMimosa

Labels
enhancement New feature or request intellij plugin
Projects
None yet
Milestone
0.2.0
Development

Successfully merging a pull request may close this issue.

IDEA support annotation apply & constructor bitlap/smt
2 participants
@IceMimosa @jxnu-liguobin