Note: Requires Sireum v3 update. Changes: Added incribing mode for summonings, detection of Sireum update for binary distribution, and changed to use JVM 1.6 bytecode format (https://github.com/sireum/v3-intellij/compare/13e20d4...209eb4ce).
↧
