Store diagnostics using caches + fixed annotation sometimes happening after receiving diagnostics - Githubissues

AdaCore / Ada-IntelliJ

Support for Ada and SPARK languages in IntelliJ IDEA

Apache License 2.0

21 stars 8 forks source link

Store diagnostics using caches + fixed annotation sometimes happening after receiving diagnostics #47

Closed raja-s closed 5 years ago