Sireum v3 Injector

Compatible with: IntelliJ IDEA PhpStorm WebStorm PyCharm RubyMine AppCode CLion GoLand DataGrip Rider MPS Android Studio
Aug 02, 2018
103
Sireum is a software analysis platform being developed at SAnToS Laboratory, Kansas State University. This plugin provides an IntelliJ Scala language injector for the Sireum language.

Download plugin