IDE

Please bookmark https://ercx.runtimeverification.com/IDE for future developments.