Plugins with tag "Tools integration"

Sireum v3

Sireum is a software analysis platform being developed at SAnToS Laboratory, Kansas State University.

marklogic-intellij-plugin

MarkLogic integration, providing an error log viewer, and support for running and profiling the following query types on MarkLogic.

Sireum v3 Injector

Sireum is a software analysis platform being developed at SAnToS Laboratory, Kansas State University.

Offline Review Board

Plugin for Review board with notifications and offline support.

ElmExternalTools

Provides external tools for the Elm programming language. External tools:.