Sireum IntelliJ Plugin

This plugin integrates Sireum tools such as the Logika program verifier and natural deduction proof checker for propositional, predicate, and programming logic into IntelliJ 15 (or above).

Setup, Build, and Install

1. Clone both Sireum v3 repository and this repository:

   git clone git@github.com:sireum/v3.git sireum-v3
   git clone git@github.com:sireum/v3-intellij.git sireum-v3-intellij

2. Create a symlink sireum-v3 to point to the Sireum v3 local git repo inside sireum-v3-intellij:

   cd sireum-v3-intellij
   ln -s ../sireum-v3
   ./setup.sh

3. Follow the instructions for checking out IntelliJ IDEA Community Edition (you only need to check, and not build).

4. Follow the instructions for setting up IntelliJ for plugin developments.

5. Open this local git repository in IntelliJ as a project, then right-click on the opened project folder using IntelliJ.

6. Add Scala plugin's jars to the classpath of your IntelliJ Platform SDK (see Plugin Dependencies).

7. Right-click on the project folder and select "Prepare Plugin Module 'sireum-v3-intellij' For Deployment".

   This produces a plugin zip file that you can install in your IntelliJ instance.