Commit graph

4 commits

Author SHA1 Message Date
Jack Ha
1aba1cfe6a CURA-4557 model checker is now a tool, click to activate 2018-03-20 16:30:11 +01:00
Jack Ha
e958516913 CURA-4557 add checking on material change as well 2018-03-19 16:50:35 +01:00
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