2 Commits

Author SHA1 Message Date
Jack Ha
ef7139d3b2 CURA-4557 First version of model checker 2018-03-19 16:17:24 +01:00
Jack Ha
50f9548da0 CURA-4557 setting up plugin 2018-03-15 14:33:31 +01:00