Sireum v3 Injector

Compatible with: IntelliJ IDEA PhpStorm WebStorm PyCharm RubyMine AppCode CLion GoLand DataGrip Rider MPS Android Studio
Jan 13, 2018
39
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