Open Issues Need Help
View All on GitHub Software Development • Plugin Development
AI Summary: Investigate why VS Code sometimes blocks `.iml` files from being opened or edited, potentially due to workspace conflicts with other IDEs (like Android Studio/IntelliJ). Explore adding a user notification within the ImandraX extension to alert users of this issue. Consider the feasibility and desirability of supporting an alternative file extension (e.g., `.imandra`) to mitigate conflicts.
Complexity:
4/5
enhancement help wanted question