search

AdaCore / Ada-IntelliJ

Support for Ada and SPARK languages in IntelliJ IDEA
Apache License 2.0
21 stars 8 forks source link

Optimized `AdaAnnotator` to work with an external annotator (ALS) #37

Closed raja-s closed 5 years ago