Sireum IntelliJ Plugin

This IntelliJ plugin integrates Sireum tools.

Setup

./setup.cmd

Set IntelliJ preference: Editor -> GUI Designer:

Generate GUI into: -> Java source code
Default accessibility for UI-bound fields: -> protected
Build, Execution, Deployment -> Compiler -> Disable Add runtime assertion for notnull...

Click on sireum-intellij-plugin

Rebuild project in IntelliJ, then:

clean

Rerun setup:

./setup.cmd

Package artifacts:

cleanFiles; packageArtifactZip

Post-processing:

./post.cmd

Name		Name	Last commit message	Last commit date
Latest commit History 281 Commits
antlr4-intellij-adaptor @ c6cbe71		antlr4-intellij-adaptor @ c6cbe71
project		project
resources		resources
src/main/scala/org/sireum/intellij		src/main/scala/org/sireum/intellij
.gitattributes		.gitattributes
.gitignore		.gitignore
.gitmodules		.gitmodules
build.sbt		build.sbt
license.md		license.md
license.txt		license.txt
post.cmd		post.cmd
post.sh		post.sh
readme.md		readme.md
setup.cmd		setup.cmd
setup.sh		setup.sh
sireum-icon-copy.cmd		sireum-icon-copy.cmd
try.cmd		try.cmd
try.sh		try.sh