PyIDF - VS Code Plugin
PyIDF is a tool for performing analysis on Python file which represent a state transition system. This VSCode plugin provides analysis via warnings on whether or not the given Python file is in the correct form to be analysed by PyIDF.
For a detailed outline of the correct form of Python files for PyIDF please see our documentation. The version of Python used for writing the files must be at least Python3, but for the purposes of the analysis the system must have an executable called
In future releases we will fully integrate functionality to receive the analysis of PyIDF via VSCode. Currently there is one command which allows the generated code in Imandra Protocol Language to viewed (