diff --git a/examples/README b/prism-examples/README
similarity index 100%
rename from examples/README
rename to prism-examples/README
diff --git a/examples/brp/README b/prism-examples/brp/README
similarity index 100%
rename from examples/brp/README
rename to prism-examples/brp/README
diff --git a/examples/brp/auto b/prism-examples/brp/auto
similarity index 100%
rename from examples/brp/auto
rename to prism-examples/brp/auto
diff --git a/examples/brp/brp.pctl b/prism-examples/brp/brp.pctl
similarity index 100%
rename from examples/brp/brp.pctl
rename to prism-examples/brp/brp.pctl
diff --git a/examples/brp/brp.pm b/prism-examples/brp/brp.pm
similarity index 100%
rename from examples/brp/brp.pm
rename to prism-examples/brp/brp.pm
diff --git a/examples/cell/README b/prism-examples/cell/README
similarity index 100%
rename from examples/cell/README
rename to prism-examples/cell/README
diff --git a/examples/cell/auto b/prism-examples/cell/auto
similarity index 100%
rename from examples/cell/auto
rename to prism-examples/cell/auto
diff --git a/examples/cell/cell.csl b/prism-examples/cell/cell.csl
similarity index 100%
rename from examples/cell/cell.csl
rename to prism-examples/cell/cell.csl
diff --git a/examples/cell/cell.sm b/prism-examples/cell/cell.sm
similarity index 100%
rename from examples/cell/cell.sm
rename to prism-examples/cell/cell.sm
diff --git a/examples/cluster/README b/prism-examples/cluster/README
similarity index 100%
rename from examples/cluster/README
rename to prism-examples/cluster/README
diff --git a/examples/cluster/auto b/prism-examples/cluster/auto
similarity index 100%
rename from examples/cluster/auto
rename to prism-examples/cluster/auto
diff --git a/examples/cluster/cluster.csl b/prism-examples/cluster/cluster.csl
similarity index 100%
rename from examples/cluster/cluster.csl
rename to prism-examples/cluster/cluster.csl
diff --git a/examples/cluster/cluster.sm b/prism-examples/cluster/cluster.sm
similarity index 100%
rename from examples/cluster/cluster.sm
rename to prism-examples/cluster/cluster.sm
diff --git a/examples/dice/README b/prism-examples/dice/README
similarity index 100%
rename from examples/dice/README
rename to prism-examples/dice/README
diff --git a/examples/dice/auto b/prism-examples/dice/auto
similarity index 100%
rename from examples/dice/auto
rename to prism-examples/dice/auto
diff --git a/examples/dice/dice.pctl b/prism-examples/dice/dice.pctl
similarity index 100%
rename from examples/dice/dice.pctl
rename to prism-examples/dice/dice.pctl
diff --git a/examples/dice/dice.pm b/prism-examples/dice/dice.pm
similarity index 100%
rename from examples/dice/dice.pm
rename to prism-examples/dice/dice.pm
diff --git a/examples/dice/two_dice.nm b/prism-examples/dice/two_dice.nm
similarity index 100%
rename from examples/dice/two_dice.nm
rename to prism-examples/dice/two_dice.nm
diff --git a/examples/dice/two_dice.pctl b/prism-examples/dice/two_dice.pctl
similarity index 100%
rename from examples/dice/two_dice.pctl
rename to prism-examples/dice/two_dice.pctl
diff --git a/examples/dice/two_dice_knuth.pctl b/prism-examples/dice/two_dice_knuth.pctl
similarity index 100%
rename from examples/dice/two_dice_knuth.pctl
rename to prism-examples/dice/two_dice_knuth.pctl
diff --git a/examples/dice/two_dice_knuth.pm b/prism-examples/dice/two_dice_knuth.pm
similarity index 100%
rename from examples/dice/two_dice_knuth.pm
rename to prism-examples/dice/two_dice_knuth.pm
diff --git a/examples/embedded/README b/prism-examples/embedded/README
similarity index 100%
rename from examples/embedded/README
rename to prism-examples/embedded/README
diff --git a/examples/embedded/auto b/prism-examples/embedded/auto
similarity index 100%
rename from examples/embedded/auto
rename to prism-examples/embedded/auto
diff --git a/examples/embedded/embedded.sm b/prism-examples/embedded/embedded.sm
similarity index 100%
rename from examples/embedded/embedded.sm
rename to prism-examples/embedded/embedded.sm
diff --git a/examples/embedded/embedded_exptime.csl b/prism-examples/embedded/embedded_exptime.csl
similarity index 100%
rename from examples/embedded/embedded_exptime.csl
rename to prism-examples/embedded/embedded_exptime.csl
diff --git a/examples/embedded/embedded_prob.csl b/prism-examples/embedded/embedded_prob.csl
similarity index 100%
rename from examples/embedded/embedded_prob.csl
rename to prism-examples/embedded/embedded_prob.csl
diff --git a/examples/firewire/README b/prism-examples/firewire/README
similarity index 100%
rename from examples/firewire/README
rename to prism-examples/firewire/README
diff --git a/examples/firewire/abst/auto b/prism-examples/firewire/abst/auto
similarity index 100%
rename from examples/firewire/abst/auto
rename to prism-examples/firewire/abst/auto
diff --git a/examples/firewire/abst/deadline.nm b/prism-examples/firewire/abst/deadline.nm
similarity index 100%
rename from examples/firewire/abst/deadline.nm
rename to prism-examples/firewire/abst/deadline.nm
diff --git a/examples/firewire/abst/deadline.pctl b/prism-examples/firewire/abst/deadline.pctl
similarity index 100%
rename from examples/firewire/abst/deadline.pctl
rename to prism-examples/firewire/abst/deadline.pctl
diff --git a/examples/firewire/abst/firewire.nm b/prism-examples/firewire/abst/firewire.nm
similarity index 100%
rename from examples/firewire/abst/firewire.nm
rename to prism-examples/firewire/abst/firewire.nm
diff --git a/examples/firewire/abst/liveness.pctl b/prism-examples/firewire/abst/liveness.pctl
similarity index 100%
rename from examples/firewire/abst/liveness.pctl
rename to prism-examples/firewire/abst/liveness.pctl
diff --git a/examples/firewire/impl/auto b/prism-examples/firewire/impl/auto
similarity index 100%
rename from examples/firewire/impl/auto
rename to prism-examples/firewire/impl/auto
diff --git a/examples/firewire/impl/deadline.nm b/prism-examples/firewire/impl/deadline.nm
similarity index 100%
rename from examples/firewire/impl/deadline.nm
rename to prism-examples/firewire/impl/deadline.nm
diff --git a/examples/firewire/impl/deadline.pctl b/prism-examples/firewire/impl/deadline.pctl
similarity index 100%
rename from examples/firewire/impl/deadline.pctl
rename to prism-examples/firewire/impl/deadline.pctl
diff --git a/examples/firewire/impl/firewire.nm b/prism-examples/firewire/impl/firewire.nm
similarity index 100%
rename from examples/firewire/impl/firewire.nm
rename to prism-examples/firewire/impl/firewire.nm
diff --git a/examples/firewire/impl/liveness.pctl b/prism-examples/firewire/impl/liveness.pctl
similarity index 100%
rename from examples/firewire/impl/liveness.pctl
rename to prism-examples/firewire/impl/liveness.pctl
diff --git a/examples/fms/README b/prism-examples/fms/README
similarity index 100%
rename from examples/fms/README
rename to prism-examples/fms/README
diff --git a/examples/fms/auto b/prism-examples/fms/auto
similarity index 100%
rename from examples/fms/auto
rename to prism-examples/fms/auto
diff --git a/examples/fms/fms.csl b/prism-examples/fms/fms.csl
similarity index 100%
rename from examples/fms/fms.csl
rename to prism-examples/fms/fms.csl
diff --git a/examples/fms/fms.sm b/prism-examples/fms/fms.sm
similarity index 100%
rename from examples/fms/fms.sm
rename to prism-examples/fms/fms.sm
diff --git a/examples/kanban/README b/prism-examples/kanban/README
similarity index 100%
rename from examples/kanban/README
rename to prism-examples/kanban/README
diff --git a/examples/kanban/auto b/prism-examples/kanban/auto
similarity index 100%
rename from examples/kanban/auto
rename to prism-examples/kanban/auto
diff --git a/examples/kanban/kanban.csl b/prism-examples/kanban/kanban.csl
similarity index 100%
rename from examples/kanban/kanban.csl
rename to prism-examples/kanban/kanban.csl
diff --git a/examples/kanban/kanban.sm b/prism-examples/kanban/kanban.sm
similarity index 100%
rename from examples/kanban/kanban.sm
rename to prism-examples/kanban/kanban.sm
diff --git a/examples/leader/asynchronous/README b/prism-examples/leader/asynchronous/README
similarity index 100%
rename from examples/leader/asynchronous/README
rename to prism-examples/leader/asynchronous/README
diff --git a/examples/leader/asynchronous/auto b/prism-examples/leader/asynchronous/auto
similarity index 100%
rename from examples/leader/asynchronous/auto
rename to prism-examples/leader/asynchronous/auto
diff --git a/examples/leader/asynchronous/leader10.nm b/prism-examples/leader/asynchronous/leader10.nm
similarity index 100%
rename from examples/leader/asynchronous/leader10.nm
rename to prism-examples/leader/asynchronous/leader10.nm
diff --git a/examples/leader/asynchronous/leader10.pctl b/prism-examples/leader/asynchronous/leader10.pctl
similarity index 100%
rename from examples/leader/asynchronous/leader10.pctl
rename to prism-examples/leader/asynchronous/leader10.pctl
diff --git a/examples/leader/asynchronous/leader3.nm b/prism-examples/leader/asynchronous/leader3.nm
similarity index 100%
rename from examples/leader/asynchronous/leader3.nm
rename to prism-examples/leader/asynchronous/leader3.nm
diff --git a/examples/leader/asynchronous/leader3.pctl b/prism-examples/leader/asynchronous/leader3.pctl
similarity index 100%
rename from examples/leader/asynchronous/leader3.pctl
rename to prism-examples/leader/asynchronous/leader3.pctl
diff --git a/examples/leader/asynchronous/leader4.nm b/prism-examples/leader/asynchronous/leader4.nm
similarity index 100%
rename from examples/leader/asynchronous/leader4.nm
rename to prism-examples/leader/asynchronous/leader4.nm
diff --git a/examples/leader/asynchronous/leader4.pctl b/prism-examples/leader/asynchronous/leader4.pctl
similarity index 100%
rename from examples/leader/asynchronous/leader4.pctl
rename to prism-examples/leader/asynchronous/leader4.pctl
diff --git a/examples/leader/asynchronous/leader5.nm b/prism-examples/leader/asynchronous/leader5.nm
similarity index 100%
rename from examples/leader/asynchronous/leader5.nm
rename to prism-examples/leader/asynchronous/leader5.nm
diff --git a/examples/leader/asynchronous/leader5.pctl b/prism-examples/leader/asynchronous/leader5.pctl
similarity index 100%
rename from examples/leader/asynchronous/leader5.pctl
rename to prism-examples/leader/asynchronous/leader5.pctl
diff --git a/examples/leader/asynchronous/leader6.nm b/prism-examples/leader/asynchronous/leader6.nm
similarity index 100%
rename from examples/leader/asynchronous/leader6.nm
rename to prism-examples/leader/asynchronous/leader6.nm
diff --git a/examples/leader/asynchronous/leader6.pctl b/prism-examples/leader/asynchronous/leader6.pctl
similarity index 100%
rename from examples/leader/asynchronous/leader6.pctl
rename to prism-examples/leader/asynchronous/leader6.pctl
diff --git a/examples/leader/asynchronous/leader7.nm b/prism-examples/leader/asynchronous/leader7.nm
similarity index 100%
rename from examples/leader/asynchronous/leader7.nm
rename to prism-examples/leader/asynchronous/leader7.nm
diff --git a/examples/leader/asynchronous/leader7.pctl b/prism-examples/leader/asynchronous/leader7.pctl
similarity index 100%
rename from examples/leader/asynchronous/leader7.pctl
rename to prism-examples/leader/asynchronous/leader7.pctl
diff --git a/examples/leader/asynchronous/leader8.nm b/prism-examples/leader/asynchronous/leader8.nm
similarity index 100%
rename from examples/leader/asynchronous/leader8.nm
rename to prism-examples/leader/asynchronous/leader8.nm
diff --git a/examples/leader/asynchronous/leader8.pctl b/prism-examples/leader/asynchronous/leader8.pctl
similarity index 100%
rename from examples/leader/asynchronous/leader8.pctl
rename to prism-examples/leader/asynchronous/leader8.pctl
diff --git a/examples/leader/asynchronous/leader9.nm b/prism-examples/leader/asynchronous/leader9.nm
similarity index 100%
rename from examples/leader/asynchronous/leader9.nm
rename to prism-examples/leader/asynchronous/leader9.nm
diff --git a/examples/leader/asynchronous/leader9.pctl b/prism-examples/leader/asynchronous/leader9.pctl
similarity index 100%
rename from examples/leader/asynchronous/leader9.pctl
rename to prism-examples/leader/asynchronous/leader9.pctl
diff --git a/examples/leader/synchronous/README b/prism-examples/leader/synchronous/README
similarity index 100%
rename from examples/leader/synchronous/README
rename to prism-examples/leader/synchronous/README
diff --git a/examples/leader/synchronous/auto b/prism-examples/leader/synchronous/auto
similarity index 100%
rename from examples/leader/synchronous/auto
rename to prism-examples/leader/synchronous/auto
diff --git a/examples/leader/synchronous/leader10.pctl b/prism-examples/leader/synchronous/leader10.pctl
similarity index 100%
rename from examples/leader/synchronous/leader10.pctl
rename to prism-examples/leader/synchronous/leader10.pctl
diff --git a/examples/leader/synchronous/leader10_2.pm b/prism-examples/leader/synchronous/leader10_2.pm
similarity index 100%
rename from examples/leader/synchronous/leader10_2.pm
rename to prism-examples/leader/synchronous/leader10_2.pm
diff --git a/examples/leader/synchronous/leader3.pctl b/prism-examples/leader/synchronous/leader3.pctl
similarity index 100%
rename from examples/leader/synchronous/leader3.pctl
rename to prism-examples/leader/synchronous/leader3.pctl
diff --git a/examples/leader/synchronous/leader3_10.pm b/prism-examples/leader/synchronous/leader3_10.pm
similarity index 100%
rename from examples/leader/synchronous/leader3_10.pm
rename to prism-examples/leader/synchronous/leader3_10.pm
diff --git a/examples/leader/synchronous/leader3_12.pm b/prism-examples/leader/synchronous/leader3_12.pm
similarity index 100%
rename from examples/leader/synchronous/leader3_12.pm
rename to prism-examples/leader/synchronous/leader3_12.pm
diff --git a/examples/leader/synchronous/leader3_14.pm b/prism-examples/leader/synchronous/leader3_14.pm
similarity index 100%
rename from examples/leader/synchronous/leader3_14.pm
rename to prism-examples/leader/synchronous/leader3_14.pm
diff --git a/examples/leader/synchronous/leader3_16.pm b/prism-examples/leader/synchronous/leader3_16.pm
similarity index 100%
rename from examples/leader/synchronous/leader3_16.pm
rename to prism-examples/leader/synchronous/leader3_16.pm
diff --git a/examples/leader/synchronous/leader3_2.pm b/prism-examples/leader/synchronous/leader3_2.pm
similarity index 100%
rename from examples/leader/synchronous/leader3_2.pm
rename to prism-examples/leader/synchronous/leader3_2.pm
diff --git a/examples/leader/synchronous/leader3_3.pm b/prism-examples/leader/synchronous/leader3_3.pm
similarity index 100%
rename from examples/leader/synchronous/leader3_3.pm
rename to prism-examples/leader/synchronous/leader3_3.pm
diff --git a/examples/leader/synchronous/leader3_4.pm b/prism-examples/leader/synchronous/leader3_4.pm
similarity index 100%
rename from examples/leader/synchronous/leader3_4.pm
rename to prism-examples/leader/synchronous/leader3_4.pm
diff --git a/examples/leader/synchronous/leader3_5.pm b/prism-examples/leader/synchronous/leader3_5.pm
similarity index 100%
rename from examples/leader/synchronous/leader3_5.pm
rename to prism-examples/leader/synchronous/leader3_5.pm
diff --git a/examples/leader/synchronous/leader3_6.pm b/prism-examples/leader/synchronous/leader3_6.pm
similarity index 100%
rename from examples/leader/synchronous/leader3_6.pm
rename to prism-examples/leader/synchronous/leader3_6.pm
diff --git a/examples/leader/synchronous/leader3_8.pm b/prism-examples/leader/synchronous/leader3_8.pm
similarity index 100%
rename from examples/leader/synchronous/leader3_8.pm
rename to prism-examples/leader/synchronous/leader3_8.pm
diff --git a/examples/leader/synchronous/leader4.pctl b/prism-examples/leader/synchronous/leader4.pctl
similarity index 100%
rename from examples/leader/synchronous/leader4.pctl
rename to prism-examples/leader/synchronous/leader4.pctl
diff --git a/examples/leader/synchronous/leader4_10.pm b/prism-examples/leader/synchronous/leader4_10.pm
similarity index 100%
rename from examples/leader/synchronous/leader4_10.pm
rename to prism-examples/leader/synchronous/leader4_10.pm
diff --git a/examples/leader/synchronous/leader4_12.pm b/prism-examples/leader/synchronous/leader4_12.pm
similarity index 100%
rename from examples/leader/synchronous/leader4_12.pm
rename to prism-examples/leader/synchronous/leader4_12.pm
diff --git a/examples/leader/synchronous/leader4_2.pm b/prism-examples/leader/synchronous/leader4_2.pm
similarity index 100%
rename from examples/leader/synchronous/leader4_2.pm
rename to prism-examples/leader/synchronous/leader4_2.pm
diff --git a/examples/leader/synchronous/leader4_3.pm b/prism-examples/leader/synchronous/leader4_3.pm
similarity index 100%
rename from examples/leader/synchronous/leader4_3.pm
rename to prism-examples/leader/synchronous/leader4_3.pm
diff --git a/examples/leader/synchronous/leader4_4.pm b/prism-examples/leader/synchronous/leader4_4.pm
similarity index 100%
rename from examples/leader/synchronous/leader4_4.pm
rename to prism-examples/leader/synchronous/leader4_4.pm
diff --git a/examples/leader/synchronous/leader4_5.pm b/prism-examples/leader/synchronous/leader4_5.pm
similarity index 100%
rename from examples/leader/synchronous/leader4_5.pm
rename to prism-examples/leader/synchronous/leader4_5.pm
diff --git a/examples/leader/synchronous/leader4_6.pm b/prism-examples/leader/synchronous/leader4_6.pm
similarity index 100%
rename from examples/leader/synchronous/leader4_6.pm
rename to prism-examples/leader/synchronous/leader4_6.pm
diff --git a/examples/leader/synchronous/leader4_8.pm b/prism-examples/leader/synchronous/leader4_8.pm
similarity index 100%
rename from examples/leader/synchronous/leader4_8.pm
rename to prism-examples/leader/synchronous/leader4_8.pm
diff --git a/examples/leader/synchronous/leader5.pctl b/prism-examples/leader/synchronous/leader5.pctl
similarity index 100%
rename from examples/leader/synchronous/leader5.pctl
rename to prism-examples/leader/synchronous/leader5.pctl
diff --git a/examples/leader/synchronous/leader5_2.pm b/prism-examples/leader/synchronous/leader5_2.pm
similarity index 100%
rename from examples/leader/synchronous/leader5_2.pm
rename to prism-examples/leader/synchronous/leader5_2.pm
diff --git a/examples/leader/synchronous/leader5_3.pm b/prism-examples/leader/synchronous/leader5_3.pm
similarity index 100%
rename from examples/leader/synchronous/leader5_3.pm
rename to prism-examples/leader/synchronous/leader5_3.pm
diff --git a/examples/leader/synchronous/leader5_4.pm b/prism-examples/leader/synchronous/leader5_4.pm
similarity index 100%
rename from examples/leader/synchronous/leader5_4.pm
rename to prism-examples/leader/synchronous/leader5_4.pm
diff --git a/examples/leader/synchronous/leader5_5.pm b/prism-examples/leader/synchronous/leader5_5.pm
similarity index 100%
rename from examples/leader/synchronous/leader5_5.pm
rename to prism-examples/leader/synchronous/leader5_5.pm
diff --git a/examples/leader/synchronous/leader5_6.pm b/prism-examples/leader/synchronous/leader5_6.pm
similarity index 100%
rename from examples/leader/synchronous/leader5_6.pm
rename to prism-examples/leader/synchronous/leader5_6.pm
diff --git a/examples/leader/synchronous/leader5_8.pm b/prism-examples/leader/synchronous/leader5_8.pm
similarity index 100%
rename from examples/leader/synchronous/leader5_8.pm
rename to prism-examples/leader/synchronous/leader5_8.pm
diff --git a/examples/leader/synchronous/leader6.pctl b/prism-examples/leader/synchronous/leader6.pctl
similarity index 100%
rename from examples/leader/synchronous/leader6.pctl
rename to prism-examples/leader/synchronous/leader6.pctl
diff --git a/examples/leader/synchronous/leader6_2.pm b/prism-examples/leader/synchronous/leader6_2.pm
similarity index 100%
rename from examples/leader/synchronous/leader6_2.pm
rename to prism-examples/leader/synchronous/leader6_2.pm
diff --git a/examples/leader/synchronous/leader6_3.pm b/prism-examples/leader/synchronous/leader6_3.pm
similarity index 100%
rename from examples/leader/synchronous/leader6_3.pm
rename to prism-examples/leader/synchronous/leader6_3.pm
diff --git a/examples/leader/synchronous/leader6_4.pm b/prism-examples/leader/synchronous/leader6_4.pm
similarity index 100%
rename from examples/leader/synchronous/leader6_4.pm
rename to prism-examples/leader/synchronous/leader6_4.pm
diff --git a/examples/leader/synchronous/leader6_5.pm b/prism-examples/leader/synchronous/leader6_5.pm
similarity index 100%
rename from examples/leader/synchronous/leader6_5.pm
rename to prism-examples/leader/synchronous/leader6_5.pm
diff --git a/examples/leader/synchronous/leader6_6.pm b/prism-examples/leader/synchronous/leader6_6.pm
similarity index 100%
rename from examples/leader/synchronous/leader6_6.pm
rename to prism-examples/leader/synchronous/leader6_6.pm
diff --git a/examples/leader/synchronous/leader7.pctl b/prism-examples/leader/synchronous/leader7.pctl
similarity index 100%
rename from examples/leader/synchronous/leader7.pctl
rename to prism-examples/leader/synchronous/leader7.pctl
diff --git a/examples/leader/synchronous/leader7_2.pm b/prism-examples/leader/synchronous/leader7_2.pm
similarity index 100%
rename from examples/leader/synchronous/leader7_2.pm
rename to prism-examples/leader/synchronous/leader7_2.pm
diff --git a/examples/leader/synchronous/leader7_3.pm b/prism-examples/leader/synchronous/leader7_3.pm
similarity index 100%
rename from examples/leader/synchronous/leader7_3.pm
rename to prism-examples/leader/synchronous/leader7_3.pm
diff --git a/examples/leader/synchronous/leader7_4.pm b/prism-examples/leader/synchronous/leader7_4.pm
similarity index 100%
rename from examples/leader/synchronous/leader7_4.pm
rename to prism-examples/leader/synchronous/leader7_4.pm
diff --git a/examples/leader/synchronous/leader7_5.pm b/prism-examples/leader/synchronous/leader7_5.pm
similarity index 100%
rename from examples/leader/synchronous/leader7_5.pm
rename to prism-examples/leader/synchronous/leader7_5.pm
diff --git a/examples/leader/synchronous/leader8.pctl b/prism-examples/leader/synchronous/leader8.pctl
similarity index 100%
rename from examples/leader/synchronous/leader8.pctl
rename to prism-examples/leader/synchronous/leader8.pctl
diff --git a/examples/leader/synchronous/leader8_2.pm b/prism-examples/leader/synchronous/leader8_2.pm
similarity index 100%
rename from examples/leader/synchronous/leader8_2.pm
rename to prism-examples/leader/synchronous/leader8_2.pm
diff --git a/examples/leader/synchronous/leader8_3.pm b/prism-examples/leader/synchronous/leader8_3.pm
similarity index 100%
rename from examples/leader/synchronous/leader8_3.pm
rename to prism-examples/leader/synchronous/leader8_3.pm
diff --git a/examples/leader/synchronous/leader8_4.pm b/prism-examples/leader/synchronous/leader8_4.pm
similarity index 100%
rename from examples/leader/synchronous/leader8_4.pm
rename to prism-examples/leader/synchronous/leader8_4.pm
diff --git a/examples/leader/synchronous/leader8_6.pm b/prism-examples/leader/synchronous/leader8_6.pm
similarity index 100%
rename from examples/leader/synchronous/leader8_6.pm
rename to prism-examples/leader/synchronous/leader8_6.pm
diff --git a/examples/leader/synchronous/leader9.pctl b/prism-examples/leader/synchronous/leader9.pctl
similarity index 100%
rename from examples/leader/synchronous/leader9.pctl
rename to prism-examples/leader/synchronous/leader9.pctl
diff --git a/examples/leader/synchronous/leader9_2.pm b/prism-examples/leader/synchronous/leader9_2.pm
similarity index 100%
rename from examples/leader/synchronous/leader9_2.pm
rename to prism-examples/leader/synchronous/leader9_2.pm
diff --git a/examples/leader/synchronous/leader9_3.pm b/prism-examples/leader/synchronous/leader9_3.pm
similarity index 100%
rename from examples/leader/synchronous/leader9_3.pm
rename to prism-examples/leader/synchronous/leader9_3.pm
diff --git a/examples/leader/synchronous/leader9_4.pm b/prism-examples/leader/synchronous/leader9_4.pm
similarity index 100%
rename from examples/leader/synchronous/leader9_4.pm
rename to prism-examples/leader/synchronous/leader9_4.pm
diff --git a/examples/molecules/README b/prism-examples/molecules/README
similarity index 100%
rename from examples/molecules/README
rename to prism-examples/molecules/README
diff --git a/examples/molecules/auto b/prism-examples/molecules/auto
similarity index 100%
rename from examples/molecules/auto
rename to prism-examples/molecules/auto
diff --git a/examples/molecules/knacl.csl b/prism-examples/molecules/knacl.csl
similarity index 100%
rename from examples/molecules/knacl.csl
rename to prism-examples/molecules/knacl.csl
diff --git a/examples/molecules/knacl.sm b/prism-examples/molecules/knacl.sm
similarity index 100%
rename from examples/molecules/knacl.sm
rename to prism-examples/molecules/knacl.sm
diff --git a/examples/molecules/mc.csl b/prism-examples/molecules/mc.csl
similarity index 100%
rename from examples/molecules/mc.csl
rename to prism-examples/molecules/mc.csl
diff --git a/examples/molecules/mc.sm b/prism-examples/molecules/mc.sm
similarity index 100%
rename from examples/molecules/mc.sm
rename to prism-examples/molecules/mc.sm
diff --git a/examples/molecules/nacl.csl b/prism-examples/molecules/nacl.csl
similarity index 100%
rename from examples/molecules/nacl.csl
rename to prism-examples/molecules/nacl.csl
diff --git a/examples/molecules/nacl.sm b/prism-examples/molecules/nacl.sm
similarity index 100%
rename from examples/molecules/nacl.sm
rename to prism-examples/molecules/nacl.sm
diff --git a/examples/mutual/README b/prism-examples/mutual/README
similarity index 100%
rename from examples/mutual/README
rename to prism-examples/mutual/README
diff --git a/examples/mutual/auto b/prism-examples/mutual/auto
similarity index 100%
rename from examples/mutual/auto
rename to prism-examples/mutual/auto
diff --git a/examples/mutual/mutual10.nm b/prism-examples/mutual/mutual10.nm
similarity index 100%
rename from examples/mutual/mutual10.nm
rename to prism-examples/mutual/mutual10.nm
diff --git a/examples/mutual/mutual10.pctl b/prism-examples/mutual/mutual10.pctl
similarity index 100%
rename from examples/mutual/mutual10.pctl
rename to prism-examples/mutual/mutual10.pctl
diff --git a/examples/mutual/mutual3.nm b/prism-examples/mutual/mutual3.nm
similarity index 100%
rename from examples/mutual/mutual3.nm
rename to prism-examples/mutual/mutual3.nm
diff --git a/examples/mutual/mutual3.pctl b/prism-examples/mutual/mutual3.pctl
similarity index 100%
rename from examples/mutual/mutual3.pctl
rename to prism-examples/mutual/mutual3.pctl
diff --git a/examples/mutual/mutual4.nm b/prism-examples/mutual/mutual4.nm
similarity index 100%
rename from examples/mutual/mutual4.nm
rename to prism-examples/mutual/mutual4.nm
diff --git a/examples/mutual/mutual4.pctl b/prism-examples/mutual/mutual4.pctl
similarity index 100%
rename from examples/mutual/mutual4.pctl
rename to prism-examples/mutual/mutual4.pctl
diff --git a/examples/mutual/mutual5.nm b/prism-examples/mutual/mutual5.nm
similarity index 100%
rename from examples/mutual/mutual5.nm
rename to prism-examples/mutual/mutual5.nm
diff --git a/examples/mutual/mutual5.pctl b/prism-examples/mutual/mutual5.pctl
similarity index 100%
rename from examples/mutual/mutual5.pctl
rename to prism-examples/mutual/mutual5.pctl
diff --git a/examples/mutual/mutual8.nm b/prism-examples/mutual/mutual8.nm
similarity index 100%
rename from examples/mutual/mutual8.nm
rename to prism-examples/mutual/mutual8.nm
diff --git a/examples/mutual/mutual8.pctl b/prism-examples/mutual/mutual8.pctl
similarity index 100%
rename from examples/mutual/mutual8.pctl
rename to prism-examples/mutual/mutual8.pctl
diff --git a/examples/pepa/PC-LAN4.pepa b/prism-examples/pepa/PC-LAN4.pepa
similarity index 100%
rename from examples/pepa/PC-LAN4.pepa
rename to prism-examples/pepa/PC-LAN4.pepa
diff --git a/examples/pepa/PC-LAN6.pepa b/prism-examples/pepa/PC-LAN6.pepa
similarity index 100%
rename from examples/pepa/PC-LAN6.pepa
rename to prism-examples/pepa/PC-LAN6.pepa
diff --git a/examples/pepa/README b/prism-examples/pepa/README
similarity index 100%
rename from examples/pepa/README
rename to prism-examples/pepa/README
diff --git a/examples/pepa/auto b/prism-examples/pepa/auto
similarity index 100%
rename from examples/pepa/auto
rename to prism-examples/pepa/auto
diff --git a/examples/pepa/badge.pepa b/prism-examples/pepa/badge.pepa
similarity index 100%
rename from examples/pepa/badge.pepa
rename to prism-examples/pepa/badge.pepa
diff --git a/examples/phil/nofair/README b/prism-examples/phil/nofair/README
similarity index 100%
rename from examples/phil/nofair/README
rename to prism-examples/phil/nofair/README
diff --git a/examples/phil/nofair/auto b/prism-examples/phil/nofair/auto
similarity index 100%
rename from examples/phil/nofair/auto
rename to prism-examples/phil/nofair/auto
diff --git a/examples/phil/nofair/phil-nofair10.nm b/prism-examples/phil/nofair/phil-nofair10.nm
similarity index 100%
rename from examples/phil/nofair/phil-nofair10.nm
rename to prism-examples/phil/nofair/phil-nofair10.nm
diff --git a/examples/phil/nofair/phil-nofair3.nm b/prism-examples/phil/nofair/phil-nofair3.nm
similarity index 100%
rename from examples/phil/nofair/phil-nofair3.nm
rename to prism-examples/phil/nofair/phil-nofair3.nm
diff --git a/examples/phil/nofair/phil-nofair4.nm b/prism-examples/phil/nofair/phil-nofair4.nm
similarity index 100%
rename from examples/phil/nofair/phil-nofair4.nm
rename to prism-examples/phil/nofair/phil-nofair4.nm
diff --git a/examples/phil/nofair/phil-nofair5.nm b/prism-examples/phil/nofair/phil-nofair5.nm
similarity index 100%
rename from examples/phil/nofair/phil-nofair5.nm
rename to prism-examples/phil/nofair/phil-nofair5.nm
diff --git a/examples/phil/nofair/phil-nofair6.nm b/prism-examples/phil/nofair/phil-nofair6.nm
similarity index 100%
rename from examples/phil/nofair/phil-nofair6.nm
rename to prism-examples/phil/nofair/phil-nofair6.nm
diff --git a/examples/phil/nofair/phil-nofair7.nm b/prism-examples/phil/nofair/phil-nofair7.nm
similarity index 100%
rename from examples/phil/nofair/phil-nofair7.nm
rename to prism-examples/phil/nofair/phil-nofair7.nm
diff --git a/examples/phil/nofair/phil-nofair8.nm b/prism-examples/phil/nofair/phil-nofair8.nm
similarity index 100%
rename from examples/phil/nofair/phil-nofair8.nm
rename to prism-examples/phil/nofair/phil-nofair8.nm
diff --git a/examples/phil/nofair/phil-nofair9.nm b/prism-examples/phil/nofair/phil-nofair9.nm
similarity index 100%
rename from examples/phil/nofair/phil-nofair9.nm
rename to prism-examples/phil/nofair/phil-nofair9.nm
diff --git a/examples/phil/nofair/phil3.pctl b/prism-examples/phil/nofair/phil3.pctl
similarity index 100%
rename from examples/phil/nofair/phil3.pctl
rename to prism-examples/phil/nofair/phil3.pctl
diff --git a/examples/phil/nofair/phil4.pctl b/prism-examples/phil/nofair/phil4.pctl
similarity index 100%
rename from examples/phil/nofair/phil4.pctl
rename to prism-examples/phil/nofair/phil4.pctl
diff --git a/examples/phil/nofair/phil5.pctl b/prism-examples/phil/nofair/phil5.pctl
similarity index 100%
rename from examples/phil/nofair/phil5.pctl
rename to prism-examples/phil/nofair/phil5.pctl
diff --git a/examples/phil/nofair/phil6.pctl b/prism-examples/phil/nofair/phil6.pctl
similarity index 100%
rename from examples/phil/nofair/phil6.pctl
rename to prism-examples/phil/nofair/phil6.pctl
diff --git a/examples/phil/nofair/phil7.pctl b/prism-examples/phil/nofair/phil7.pctl
similarity index 100%
rename from examples/phil/nofair/phil7.pctl
rename to prism-examples/phil/nofair/phil7.pctl
diff --git a/examples/phil/nofair/phil8.pctl b/prism-examples/phil/nofair/phil8.pctl
similarity index 100%
rename from examples/phil/nofair/phil8.pctl
rename to prism-examples/phil/nofair/phil8.pctl
diff --git a/examples/phil/nofair/phil9.pctl b/prism-examples/phil/nofair/phil9.pctl
similarity index 100%
rename from examples/phil/nofair/phil9.pctl
rename to prism-examples/phil/nofair/phil9.pctl
diff --git a/examples/phil/original/README b/prism-examples/phil/original/README
similarity index 100%
rename from examples/phil/original/README
rename to prism-examples/phil/original/README
diff --git a/examples/phil/original/auto b/prism-examples/phil/original/auto
similarity index 100%
rename from examples/phil/original/auto
rename to prism-examples/phil/original/auto
diff --git a/examples/phil/original/phil10.nm b/prism-examples/phil/original/phil10.nm
similarity index 100%
rename from examples/phil/original/phil10.nm
rename to prism-examples/phil/original/phil10.nm
diff --git a/examples/phil/original/phil10.pctl b/prism-examples/phil/original/phil10.pctl
similarity index 100%
rename from examples/phil/original/phil10.pctl
rename to prism-examples/phil/original/phil10.pctl
diff --git a/examples/phil/original/phil15.nm b/prism-examples/phil/original/phil15.nm
similarity index 100%
rename from examples/phil/original/phil15.nm
rename to prism-examples/phil/original/phil15.nm
diff --git a/examples/phil/original/phil15.pctl b/prism-examples/phil/original/phil15.pctl
similarity index 100%
rename from examples/phil/original/phil15.pctl
rename to prism-examples/phil/original/phil15.pctl
diff --git a/examples/phil/original/phil20.nm b/prism-examples/phil/original/phil20.nm
similarity index 100%
rename from examples/phil/original/phil20.nm
rename to prism-examples/phil/original/phil20.nm
diff --git a/examples/phil/original/phil20.pctl b/prism-examples/phil/original/phil20.pctl
similarity index 100%
rename from examples/phil/original/phil20.pctl
rename to prism-examples/phil/original/phil20.pctl
diff --git a/examples/phil/original/phil25.nm b/prism-examples/phil/original/phil25.nm
similarity index 100%
rename from examples/phil/original/phil25.nm
rename to prism-examples/phil/original/phil25.nm
diff --git a/examples/phil/original/phil25.pctl b/prism-examples/phil/original/phil25.pctl
similarity index 100%
rename from examples/phil/original/phil25.pctl
rename to prism-examples/phil/original/phil25.pctl
diff --git a/examples/phil/original/phil3.nm b/prism-examples/phil/original/phil3.nm
similarity index 100%
rename from examples/phil/original/phil3.nm
rename to prism-examples/phil/original/phil3.nm
diff --git a/examples/phil/original/phil3.pctl b/prism-examples/phil/original/phil3.pctl
similarity index 100%
rename from examples/phil/original/phil3.pctl
rename to prism-examples/phil/original/phil3.pctl
diff --git a/examples/phil/original/phil30.nm b/prism-examples/phil/original/phil30.nm
similarity index 100%
rename from examples/phil/original/phil30.nm
rename to prism-examples/phil/original/phil30.nm
diff --git a/examples/phil/original/phil30.pctl b/prism-examples/phil/original/phil30.pctl
similarity index 100%
rename from examples/phil/original/phil30.pctl
rename to prism-examples/phil/original/phil30.pctl
diff --git a/examples/phil/original/phil4.nm b/prism-examples/phil/original/phil4.nm
similarity index 100%
rename from examples/phil/original/phil4.nm
rename to prism-examples/phil/original/phil4.nm
diff --git a/examples/phil/original/phil4.pctl b/prism-examples/phil/original/phil4.pctl
similarity index 100%
rename from examples/phil/original/phil4.pctl
rename to prism-examples/phil/original/phil4.pctl
diff --git a/examples/phil/original/phil5.nm b/prism-examples/phil/original/phil5.nm
similarity index 100%
rename from examples/phil/original/phil5.nm
rename to prism-examples/phil/original/phil5.nm
diff --git a/examples/phil/original/phil5.pctl b/prism-examples/phil/original/phil5.pctl
similarity index 100%
rename from examples/phil/original/phil5.pctl
rename to prism-examples/phil/original/phil5.pctl
diff --git a/examples/phil/original/phil6.nm b/prism-examples/phil/original/phil6.nm
similarity index 100%
rename from examples/phil/original/phil6.nm
rename to prism-examples/phil/original/phil6.nm
diff --git a/examples/phil/original/phil6.pctl b/prism-examples/phil/original/phil6.pctl
similarity index 100%
rename from examples/phil/original/phil6.pctl
rename to prism-examples/phil/original/phil6.pctl
diff --git a/examples/phil/original/phil7.nm b/prism-examples/phil/original/phil7.nm
similarity index 100%
rename from examples/phil/original/phil7.nm
rename to prism-examples/phil/original/phil7.nm
diff --git a/examples/phil/original/phil7.pctl b/prism-examples/phil/original/phil7.pctl
similarity index 100%
rename from examples/phil/original/phil7.pctl
rename to prism-examples/phil/original/phil7.pctl
diff --git a/examples/phil/original/phil8.nm b/prism-examples/phil/original/phil8.nm
similarity index 100%
rename from examples/phil/original/phil8.nm
rename to prism-examples/phil/original/phil8.nm
diff --git a/examples/phil/original/phil8.pctl b/prism-examples/phil/original/phil8.pctl
similarity index 100%
rename from examples/phil/original/phil8.pctl
rename to prism-examples/phil/original/phil8.pctl
diff --git a/examples/phil/original/phil9.nm b/prism-examples/phil/original/phil9.nm
similarity index 100%
rename from examples/phil/original/phil9.nm
rename to prism-examples/phil/original/phil9.nm
diff --git a/examples/phil/original/phil9.pctl b/prism-examples/phil/original/phil9.pctl
similarity index 100%
rename from examples/phil/original/phil9.pctl
rename to prism-examples/phil/original/phil9.pctl
diff --git a/examples/phil_lss/README b/prism-examples/phil_lss/README
similarity index 100%
rename from examples/phil_lss/README
rename to prism-examples/phil_lss/README
diff --git a/examples/phil_lss/auto b/prism-examples/phil_lss/auto
similarity index 100%
rename from examples/phil_lss/auto
rename to prism-examples/phil_lss/auto
diff --git a/examples/phil_lss/phil_lss3.nm b/prism-examples/phil_lss/phil_lss3.nm
similarity index 100%
rename from examples/phil_lss/phil_lss3.nm
rename to prism-examples/phil_lss/phil_lss3.nm
diff --git a/examples/phil_lss/phil_lss3.pctl b/prism-examples/phil_lss/phil_lss3.pctl
similarity index 100%
rename from examples/phil_lss/phil_lss3.pctl
rename to prism-examples/phil_lss/phil_lss3.pctl
diff --git a/examples/phil_lss/phil_lss4.nm b/prism-examples/phil_lss/phil_lss4.nm
similarity index 100%
rename from examples/phil_lss/phil_lss4.nm
rename to prism-examples/phil_lss/phil_lss4.nm
diff --git a/examples/phil_lss/phil_lss4.pctl b/prism-examples/phil_lss/phil_lss4.pctl
similarity index 100%
rename from examples/phil_lss/phil_lss4.pctl
rename to prism-examples/phil_lss/phil_lss4.pctl
diff --git a/examples/polling/README b/prism-examples/polling/README
similarity index 100%
rename from examples/polling/README
rename to prism-examples/polling/README
diff --git a/examples/polling/auto b/prism-examples/polling/auto
similarity index 100%
rename from examples/polling/auto
rename to prism-examples/polling/auto
diff --git a/examples/polling/poll.csl b/prism-examples/polling/poll.csl
similarity index 100%
rename from examples/polling/poll.csl
rename to prism-examples/polling/poll.csl
diff --git a/examples/polling/poll10.sm b/prism-examples/polling/poll10.sm
similarity index 100%
rename from examples/polling/poll10.sm
rename to prism-examples/polling/poll10.sm
diff --git a/examples/polling/poll11.sm b/prism-examples/polling/poll11.sm
similarity index 100%
rename from examples/polling/poll11.sm
rename to prism-examples/polling/poll11.sm
diff --git a/examples/polling/poll12.sm b/prism-examples/polling/poll12.sm
similarity index 100%
rename from examples/polling/poll12.sm
rename to prism-examples/polling/poll12.sm
diff --git a/examples/polling/poll13.sm b/prism-examples/polling/poll13.sm
similarity index 100%
rename from examples/polling/poll13.sm
rename to prism-examples/polling/poll13.sm
diff --git a/examples/polling/poll14.sm b/prism-examples/polling/poll14.sm
similarity index 100%
rename from examples/polling/poll14.sm
rename to prism-examples/polling/poll14.sm
diff --git a/examples/polling/poll15.sm b/prism-examples/polling/poll15.sm
similarity index 100%
rename from examples/polling/poll15.sm
rename to prism-examples/polling/poll15.sm
diff --git a/examples/polling/poll16.sm b/prism-examples/polling/poll16.sm
similarity index 100%
rename from examples/polling/poll16.sm
rename to prism-examples/polling/poll16.sm
diff --git a/examples/polling/poll17.sm b/prism-examples/polling/poll17.sm
similarity index 100%
rename from examples/polling/poll17.sm
rename to prism-examples/polling/poll17.sm
diff --git a/examples/polling/poll18.sm b/prism-examples/polling/poll18.sm
similarity index 100%
rename from examples/polling/poll18.sm
rename to prism-examples/polling/poll18.sm
diff --git a/examples/polling/poll19.sm b/prism-examples/polling/poll19.sm
similarity index 100%
rename from examples/polling/poll19.sm
rename to prism-examples/polling/poll19.sm
diff --git a/examples/polling/poll2.sm b/prism-examples/polling/poll2.sm
similarity index 100%
rename from examples/polling/poll2.sm
rename to prism-examples/polling/poll2.sm
diff --git a/examples/polling/poll20.sm b/prism-examples/polling/poll20.sm
similarity index 100%
rename from examples/polling/poll20.sm
rename to prism-examples/polling/poll20.sm
diff --git a/examples/polling/poll3.sm b/prism-examples/polling/poll3.sm
similarity index 100%
rename from examples/polling/poll3.sm
rename to prism-examples/polling/poll3.sm
diff --git a/examples/polling/poll4.sm b/prism-examples/polling/poll4.sm
similarity index 100%
rename from examples/polling/poll4.sm
rename to prism-examples/polling/poll4.sm
diff --git a/examples/polling/poll5.sm b/prism-examples/polling/poll5.sm
similarity index 100%
rename from examples/polling/poll5.sm
rename to prism-examples/polling/poll5.sm
diff --git a/examples/polling/poll6.sm b/prism-examples/polling/poll6.sm
similarity index 100%
rename from examples/polling/poll6.sm
rename to prism-examples/polling/poll6.sm
diff --git a/examples/polling/poll7.sm b/prism-examples/polling/poll7.sm
similarity index 100%
rename from examples/polling/poll7.sm
rename to prism-examples/polling/poll7.sm
diff --git a/examples/polling/poll8.sm b/prism-examples/polling/poll8.sm
similarity index 100%
rename from examples/polling/poll8.sm
rename to prism-examples/polling/poll8.sm
diff --git a/examples/polling/poll9.sm b/prism-examples/polling/poll9.sm
similarity index 100%
rename from examples/polling/poll9.sm
rename to prism-examples/polling/poll9.sm
diff --git a/examples/rabin/README b/prism-examples/rabin/README
similarity index 100%
rename from examples/rabin/README
rename to prism-examples/rabin/README
diff --git a/examples/rabin/auto b/prism-examples/rabin/auto
similarity index 100%
rename from examples/rabin/auto
rename to prism-examples/rabin/auto
diff --git a/examples/rabin/rabin10.nm b/prism-examples/rabin/rabin10.nm
similarity index 100%
rename from examples/rabin/rabin10.nm
rename to prism-examples/rabin/rabin10.nm
diff --git a/examples/rabin/rabin10.pctl b/prism-examples/rabin/rabin10.pctl
similarity index 100%
rename from examples/rabin/rabin10.pctl
rename to prism-examples/rabin/rabin10.pctl
diff --git a/examples/rabin/rabin12.nm b/prism-examples/rabin/rabin12.nm
similarity index 100%
rename from examples/rabin/rabin12.nm
rename to prism-examples/rabin/rabin12.nm
diff --git a/examples/rabin/rabin12.pctl b/prism-examples/rabin/rabin12.pctl
similarity index 100%
rename from examples/rabin/rabin12.pctl
rename to prism-examples/rabin/rabin12.pctl
diff --git a/examples/rabin/rabin3.nm b/prism-examples/rabin/rabin3.nm
similarity index 100%
rename from examples/rabin/rabin3.nm
rename to prism-examples/rabin/rabin3.nm
diff --git a/examples/rabin/rabin3.pctl b/prism-examples/rabin/rabin3.pctl
similarity index 100%
rename from examples/rabin/rabin3.pctl
rename to prism-examples/rabin/rabin3.pctl
diff --git a/examples/rabin/rabin4.nm b/prism-examples/rabin/rabin4.nm
similarity index 100%
rename from examples/rabin/rabin4.nm
rename to prism-examples/rabin/rabin4.nm
diff --git a/examples/rabin/rabin4.pctl b/prism-examples/rabin/rabin4.pctl
similarity index 100%
rename from examples/rabin/rabin4.pctl
rename to prism-examples/rabin/rabin4.pctl
diff --git a/examples/rabin/rabin5.nm b/prism-examples/rabin/rabin5.nm
similarity index 100%
rename from examples/rabin/rabin5.nm
rename to prism-examples/rabin/rabin5.nm
diff --git a/examples/rabin/rabin5.pctl b/prism-examples/rabin/rabin5.pctl
similarity index 100%
rename from examples/rabin/rabin5.pctl
rename to prism-examples/rabin/rabin5.pctl
diff --git a/examples/rabin/rabin6.nm b/prism-examples/rabin/rabin6.nm
similarity index 100%
rename from examples/rabin/rabin6.nm
rename to prism-examples/rabin/rabin6.nm
diff --git a/examples/rabin/rabin6.pctl b/prism-examples/rabin/rabin6.pctl
similarity index 100%
rename from examples/rabin/rabin6.pctl
rename to prism-examples/rabin/rabin6.pctl
diff --git a/examples/rabin/rabin8.nm b/prism-examples/rabin/rabin8.nm
similarity index 100%
rename from examples/rabin/rabin8.nm
rename to prism-examples/rabin/rabin8.nm
diff --git a/examples/rabin/rabin8.pctl b/prism-examples/rabin/rabin8.pctl
similarity index 100%
rename from examples/rabin/rabin8.pctl
rename to prism-examples/rabin/rabin8.pctl
diff --git a/examples/self-stabilisation/beauquier/README b/prism-examples/self-stabilisation/beauquier/README
similarity index 100%
rename from examples/self-stabilisation/beauquier/README
rename to prism-examples/self-stabilisation/beauquier/README
diff --git a/examples/self-stabilisation/beauquier/auto b/prism-examples/self-stabilisation/beauquier/auto
similarity index 100%
rename from examples/self-stabilisation/beauquier/auto
rename to prism-examples/self-stabilisation/beauquier/auto
diff --git a/examples/self-stabilisation/beauquier/beauquier11.nm b/prism-examples/self-stabilisation/beauquier/beauquier11.nm
similarity index 100%
rename from examples/self-stabilisation/beauquier/beauquier11.nm
rename to prism-examples/self-stabilisation/beauquier/beauquier11.nm
diff --git a/examples/self-stabilisation/beauquier/beauquier11.pctl b/prism-examples/self-stabilisation/beauquier/beauquier11.pctl
similarity index 100%
rename from examples/self-stabilisation/beauquier/beauquier11.pctl
rename to prism-examples/self-stabilisation/beauquier/beauquier11.pctl
diff --git a/examples/self-stabilisation/beauquier/beauquier3.nm b/prism-examples/self-stabilisation/beauquier/beauquier3.nm
similarity index 100%
rename from examples/self-stabilisation/beauquier/beauquier3.nm
rename to prism-examples/self-stabilisation/beauquier/beauquier3.nm
diff --git a/examples/self-stabilisation/beauquier/beauquier3.pctl b/prism-examples/self-stabilisation/beauquier/beauquier3.pctl
similarity index 100%
rename from examples/self-stabilisation/beauquier/beauquier3.pctl
rename to prism-examples/self-stabilisation/beauquier/beauquier3.pctl
diff --git a/examples/self-stabilisation/beauquier/beauquier5.nm b/prism-examples/self-stabilisation/beauquier/beauquier5.nm
similarity index 100%
rename from examples/self-stabilisation/beauquier/beauquier5.nm
rename to prism-examples/self-stabilisation/beauquier/beauquier5.nm
diff --git a/examples/self-stabilisation/beauquier/beauquier5.pctl b/prism-examples/self-stabilisation/beauquier/beauquier5.pctl
similarity index 100%
rename from examples/self-stabilisation/beauquier/beauquier5.pctl
rename to prism-examples/self-stabilisation/beauquier/beauquier5.pctl
diff --git a/examples/self-stabilisation/beauquier/beauquier7.nm b/prism-examples/self-stabilisation/beauquier/beauquier7.nm
similarity index 100%
rename from examples/self-stabilisation/beauquier/beauquier7.nm
rename to prism-examples/self-stabilisation/beauquier/beauquier7.nm
diff --git a/examples/self-stabilisation/beauquier/beauquier7.pctl b/prism-examples/self-stabilisation/beauquier/beauquier7.pctl
similarity index 100%
rename from examples/self-stabilisation/beauquier/beauquier7.pctl
rename to prism-examples/self-stabilisation/beauquier/beauquier7.pctl
diff --git a/examples/self-stabilisation/beauquier/beauquier9.nm b/prism-examples/self-stabilisation/beauquier/beauquier9.nm
similarity index 100%
rename from examples/self-stabilisation/beauquier/beauquier9.nm
rename to prism-examples/self-stabilisation/beauquier/beauquier9.nm
diff --git a/examples/self-stabilisation/beauquier/beauquier9.pctl b/prism-examples/self-stabilisation/beauquier/beauquier9.pctl
similarity index 100%
rename from examples/self-stabilisation/beauquier/beauquier9.pctl
rename to prism-examples/self-stabilisation/beauquier/beauquier9.pctl
diff --git a/examples/self-stabilisation/herman/README b/prism-examples/self-stabilisation/herman/README
similarity index 100%
rename from examples/self-stabilisation/herman/README
rename to prism-examples/self-stabilisation/herman/README
diff --git a/examples/self-stabilisation/herman/auto b/prism-examples/self-stabilisation/herman/auto
similarity index 100%
rename from examples/self-stabilisation/herman/auto
rename to prism-examples/self-stabilisation/herman/auto
diff --git a/examples/self-stabilisation/herman/herman11.pctl b/prism-examples/self-stabilisation/herman/herman11.pctl
similarity index 100%
rename from examples/self-stabilisation/herman/herman11.pctl
rename to prism-examples/self-stabilisation/herman/herman11.pctl
diff --git a/examples/self-stabilisation/herman/herman11.pm b/prism-examples/self-stabilisation/herman/herman11.pm
similarity index 100%
rename from examples/self-stabilisation/herman/herman11.pm
rename to prism-examples/self-stabilisation/herman/herman11.pm
diff --git a/examples/self-stabilisation/herman/herman13.pctl b/prism-examples/self-stabilisation/herman/herman13.pctl
similarity index 100%
rename from examples/self-stabilisation/herman/herman13.pctl
rename to prism-examples/self-stabilisation/herman/herman13.pctl
diff --git a/examples/self-stabilisation/herman/herman13.pm b/prism-examples/self-stabilisation/herman/herman13.pm
similarity index 100%
rename from examples/self-stabilisation/herman/herman13.pm
rename to prism-examples/self-stabilisation/herman/herman13.pm
diff --git a/examples/self-stabilisation/herman/herman15.pctl b/prism-examples/self-stabilisation/herman/herman15.pctl
similarity index 100%
rename from examples/self-stabilisation/herman/herman15.pctl
rename to prism-examples/self-stabilisation/herman/herman15.pctl
diff --git a/examples/self-stabilisation/herman/herman15.pm b/prism-examples/self-stabilisation/herman/herman15.pm
similarity index 100%
rename from examples/self-stabilisation/herman/herman15.pm
rename to prism-examples/self-stabilisation/herman/herman15.pm
diff --git a/examples/self-stabilisation/herman/herman17.pctl b/prism-examples/self-stabilisation/herman/herman17.pctl
similarity index 100%
rename from examples/self-stabilisation/herman/herman17.pctl
rename to prism-examples/self-stabilisation/herman/herman17.pctl
diff --git a/examples/self-stabilisation/herman/herman17.pm b/prism-examples/self-stabilisation/herman/herman17.pm
similarity index 100%
rename from examples/self-stabilisation/herman/herman17.pm
rename to prism-examples/self-stabilisation/herman/herman17.pm
diff --git a/examples/self-stabilisation/herman/herman19.pctl b/prism-examples/self-stabilisation/herman/herman19.pctl
similarity index 100%
rename from examples/self-stabilisation/herman/herman19.pctl
rename to prism-examples/self-stabilisation/herman/herman19.pctl
diff --git a/examples/self-stabilisation/herman/herman19.pm b/prism-examples/self-stabilisation/herman/herman19.pm
similarity index 100%
rename from examples/self-stabilisation/herman/herman19.pm
rename to prism-examples/self-stabilisation/herman/herman19.pm
diff --git a/examples/self-stabilisation/herman/herman21.pctl b/prism-examples/self-stabilisation/herman/herman21.pctl
similarity index 100%
rename from examples/self-stabilisation/herman/herman21.pctl
rename to prism-examples/self-stabilisation/herman/herman21.pctl
diff --git a/examples/self-stabilisation/herman/herman21.pm b/prism-examples/self-stabilisation/herman/herman21.pm
similarity index 100%
rename from examples/self-stabilisation/herman/herman21.pm
rename to prism-examples/self-stabilisation/herman/herman21.pm
diff --git a/examples/self-stabilisation/herman/herman3.pctl b/prism-examples/self-stabilisation/herman/herman3.pctl
similarity index 100%
rename from examples/self-stabilisation/herman/herman3.pctl
rename to prism-examples/self-stabilisation/herman/herman3.pctl
diff --git a/examples/self-stabilisation/herman/herman3.pm b/prism-examples/self-stabilisation/herman/herman3.pm
similarity index 100%
rename from examples/self-stabilisation/herman/herman3.pm
rename to prism-examples/self-stabilisation/herman/herman3.pm
diff --git a/examples/self-stabilisation/herman/herman5.pctl b/prism-examples/self-stabilisation/herman/herman5.pctl
similarity index 100%
rename from examples/self-stabilisation/herman/herman5.pctl
rename to prism-examples/self-stabilisation/herman/herman5.pctl
diff --git a/examples/self-stabilisation/herman/herman5.pm b/prism-examples/self-stabilisation/herman/herman5.pm
similarity index 100%
rename from examples/self-stabilisation/herman/herman5.pm
rename to prism-examples/self-stabilisation/herman/herman5.pm
diff --git a/examples/self-stabilisation/herman/herman7.pctl b/prism-examples/self-stabilisation/herman/herman7.pctl
similarity index 100%
rename from examples/self-stabilisation/herman/herman7.pctl
rename to prism-examples/self-stabilisation/herman/herman7.pctl
diff --git a/examples/self-stabilisation/herman/herman7.pm b/prism-examples/self-stabilisation/herman/herman7.pm
similarity index 100%
rename from examples/self-stabilisation/herman/herman7.pm
rename to prism-examples/self-stabilisation/herman/herman7.pm
diff --git a/examples/self-stabilisation/herman/herman9.pctl b/prism-examples/self-stabilisation/herman/herman9.pctl
similarity index 100%
rename from examples/self-stabilisation/herman/herman9.pctl
rename to prism-examples/self-stabilisation/herman/herman9.pctl
diff --git a/examples/self-stabilisation/herman/herman9.pm b/prism-examples/self-stabilisation/herman/herman9.pm
similarity index 100%
rename from examples/self-stabilisation/herman/herman9.pm
rename to prism-examples/self-stabilisation/herman/herman9.pm
diff --git a/examples/self-stabilisation/israeli-jalfon/README b/prism-examples/self-stabilisation/israeli-jalfon/README
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/README
rename to prism-examples/self-stabilisation/israeli-jalfon/README
diff --git a/examples/self-stabilisation/israeli-jalfon/auto b/prism-examples/self-stabilisation/israeli-jalfon/auto
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/auto
rename to prism-examples/self-stabilisation/israeli-jalfon/auto
diff --git a/examples/self-stabilisation/israeli-jalfon/ij10.nm b/prism-examples/self-stabilisation/israeli-jalfon/ij10.nm
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij10.nm
rename to prism-examples/self-stabilisation/israeli-jalfon/ij10.nm
diff --git a/examples/self-stabilisation/israeli-jalfon/ij10.pctl b/prism-examples/self-stabilisation/israeli-jalfon/ij10.pctl
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij10.pctl
rename to prism-examples/self-stabilisation/israeli-jalfon/ij10.pctl
diff --git a/examples/self-stabilisation/israeli-jalfon/ij11.nm b/prism-examples/self-stabilisation/israeli-jalfon/ij11.nm
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij11.nm
rename to prism-examples/self-stabilisation/israeli-jalfon/ij11.nm
diff --git a/examples/self-stabilisation/israeli-jalfon/ij11.pctl b/prism-examples/self-stabilisation/israeli-jalfon/ij11.pctl
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij11.pctl
rename to prism-examples/self-stabilisation/israeli-jalfon/ij11.pctl
diff --git a/examples/self-stabilisation/israeli-jalfon/ij12.nm b/prism-examples/self-stabilisation/israeli-jalfon/ij12.nm
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij12.nm
rename to prism-examples/self-stabilisation/israeli-jalfon/ij12.nm
diff --git a/examples/self-stabilisation/israeli-jalfon/ij12.pctl b/prism-examples/self-stabilisation/israeli-jalfon/ij12.pctl
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij12.pctl
rename to prism-examples/self-stabilisation/israeli-jalfon/ij12.pctl
diff --git a/examples/self-stabilisation/israeli-jalfon/ij13.nm b/prism-examples/self-stabilisation/israeli-jalfon/ij13.nm
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij13.nm
rename to prism-examples/self-stabilisation/israeli-jalfon/ij13.nm
diff --git a/examples/self-stabilisation/israeli-jalfon/ij13.pctl b/prism-examples/self-stabilisation/israeli-jalfon/ij13.pctl
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij13.pctl
rename to prism-examples/self-stabilisation/israeli-jalfon/ij13.pctl
diff --git a/examples/self-stabilisation/israeli-jalfon/ij14.nm b/prism-examples/self-stabilisation/israeli-jalfon/ij14.nm
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij14.nm
rename to prism-examples/self-stabilisation/israeli-jalfon/ij14.nm
diff --git a/examples/self-stabilisation/israeli-jalfon/ij14.pctl b/prism-examples/self-stabilisation/israeli-jalfon/ij14.pctl
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij14.pctl
rename to prism-examples/self-stabilisation/israeli-jalfon/ij14.pctl
diff --git a/examples/self-stabilisation/israeli-jalfon/ij15.nm b/prism-examples/self-stabilisation/israeli-jalfon/ij15.nm
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij15.nm
rename to prism-examples/self-stabilisation/israeli-jalfon/ij15.nm
diff --git a/examples/self-stabilisation/israeli-jalfon/ij15.pctl b/prism-examples/self-stabilisation/israeli-jalfon/ij15.pctl
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij15.pctl
rename to prism-examples/self-stabilisation/israeli-jalfon/ij15.pctl
diff --git a/examples/self-stabilisation/israeli-jalfon/ij16.nm b/prism-examples/self-stabilisation/israeli-jalfon/ij16.nm
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij16.nm
rename to prism-examples/self-stabilisation/israeli-jalfon/ij16.nm
diff --git a/examples/self-stabilisation/israeli-jalfon/ij16.pctl b/prism-examples/self-stabilisation/israeli-jalfon/ij16.pctl
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij16.pctl
rename to prism-examples/self-stabilisation/israeli-jalfon/ij16.pctl
diff --git a/examples/self-stabilisation/israeli-jalfon/ij17.nm b/prism-examples/self-stabilisation/israeli-jalfon/ij17.nm
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij17.nm
rename to prism-examples/self-stabilisation/israeli-jalfon/ij17.nm
diff --git a/examples/self-stabilisation/israeli-jalfon/ij17.pctl b/prism-examples/self-stabilisation/israeli-jalfon/ij17.pctl
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij17.pctl
rename to prism-examples/self-stabilisation/israeli-jalfon/ij17.pctl
diff --git a/examples/self-stabilisation/israeli-jalfon/ij18.nm b/prism-examples/self-stabilisation/israeli-jalfon/ij18.nm
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij18.nm
rename to prism-examples/self-stabilisation/israeli-jalfon/ij18.nm
diff --git a/examples/self-stabilisation/israeli-jalfon/ij18.pctl b/prism-examples/self-stabilisation/israeli-jalfon/ij18.pctl
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij18.pctl
rename to prism-examples/self-stabilisation/israeli-jalfon/ij18.pctl
diff --git a/examples/self-stabilisation/israeli-jalfon/ij19.nm b/prism-examples/self-stabilisation/israeli-jalfon/ij19.nm
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij19.nm
rename to prism-examples/self-stabilisation/israeli-jalfon/ij19.nm
diff --git a/examples/self-stabilisation/israeli-jalfon/ij19.pctl b/prism-examples/self-stabilisation/israeli-jalfon/ij19.pctl
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij19.pctl
rename to prism-examples/self-stabilisation/israeli-jalfon/ij19.pctl
diff --git a/examples/self-stabilisation/israeli-jalfon/ij20.nm b/prism-examples/self-stabilisation/israeli-jalfon/ij20.nm
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij20.nm
rename to prism-examples/self-stabilisation/israeli-jalfon/ij20.nm
diff --git a/examples/self-stabilisation/israeli-jalfon/ij20.pctl b/prism-examples/self-stabilisation/israeli-jalfon/ij20.pctl
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij20.pctl
rename to prism-examples/self-stabilisation/israeli-jalfon/ij20.pctl
diff --git a/examples/self-stabilisation/israeli-jalfon/ij21.nm b/prism-examples/self-stabilisation/israeli-jalfon/ij21.nm
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij21.nm
rename to prism-examples/self-stabilisation/israeli-jalfon/ij21.nm
diff --git a/examples/self-stabilisation/israeli-jalfon/ij21.pctl b/prism-examples/self-stabilisation/israeli-jalfon/ij21.pctl
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij21.pctl
rename to prism-examples/self-stabilisation/israeli-jalfon/ij21.pctl
diff --git a/examples/self-stabilisation/israeli-jalfon/ij3.nm b/prism-examples/self-stabilisation/israeli-jalfon/ij3.nm
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij3.nm
rename to prism-examples/self-stabilisation/israeli-jalfon/ij3.nm
diff --git a/examples/self-stabilisation/israeli-jalfon/ij3.pctl b/prism-examples/self-stabilisation/israeli-jalfon/ij3.pctl
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij3.pctl
rename to prism-examples/self-stabilisation/israeli-jalfon/ij3.pctl
diff --git a/examples/self-stabilisation/israeli-jalfon/ij4.nm b/prism-examples/self-stabilisation/israeli-jalfon/ij4.nm
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij4.nm
rename to prism-examples/self-stabilisation/israeli-jalfon/ij4.nm
diff --git a/examples/self-stabilisation/israeli-jalfon/ij4.pctl b/prism-examples/self-stabilisation/israeli-jalfon/ij4.pctl
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij4.pctl
rename to prism-examples/self-stabilisation/israeli-jalfon/ij4.pctl
diff --git a/examples/self-stabilisation/israeli-jalfon/ij5.nm b/prism-examples/self-stabilisation/israeli-jalfon/ij5.nm
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij5.nm
rename to prism-examples/self-stabilisation/israeli-jalfon/ij5.nm
diff --git a/examples/self-stabilisation/israeli-jalfon/ij5.pctl b/prism-examples/self-stabilisation/israeli-jalfon/ij5.pctl
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij5.pctl
rename to prism-examples/self-stabilisation/israeli-jalfon/ij5.pctl
diff --git a/examples/self-stabilisation/israeli-jalfon/ij6.nm b/prism-examples/self-stabilisation/israeli-jalfon/ij6.nm
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij6.nm
rename to prism-examples/self-stabilisation/israeli-jalfon/ij6.nm
diff --git a/examples/self-stabilisation/israeli-jalfon/ij6.pctl b/prism-examples/self-stabilisation/israeli-jalfon/ij6.pctl
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij6.pctl
rename to prism-examples/self-stabilisation/israeli-jalfon/ij6.pctl
diff --git a/examples/self-stabilisation/israeli-jalfon/ij7.nm b/prism-examples/self-stabilisation/israeli-jalfon/ij7.nm
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij7.nm
rename to prism-examples/self-stabilisation/israeli-jalfon/ij7.nm
diff --git a/examples/self-stabilisation/israeli-jalfon/ij7.pctl b/prism-examples/self-stabilisation/israeli-jalfon/ij7.pctl
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij7.pctl
rename to prism-examples/self-stabilisation/israeli-jalfon/ij7.pctl
diff --git a/examples/self-stabilisation/israeli-jalfon/ij8.nm b/prism-examples/self-stabilisation/israeli-jalfon/ij8.nm
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij8.nm
rename to prism-examples/self-stabilisation/israeli-jalfon/ij8.nm
diff --git a/examples/self-stabilisation/israeli-jalfon/ij8.pctl b/prism-examples/self-stabilisation/israeli-jalfon/ij8.pctl
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij8.pctl
rename to prism-examples/self-stabilisation/israeli-jalfon/ij8.pctl
diff --git a/examples/self-stabilisation/israeli-jalfon/ij9.nm b/prism-examples/self-stabilisation/israeli-jalfon/ij9.nm
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij9.nm
rename to prism-examples/self-stabilisation/israeli-jalfon/ij9.nm
diff --git a/examples/self-stabilisation/israeli-jalfon/ij9.pctl b/prism-examples/self-stabilisation/israeli-jalfon/ij9.pctl
similarity index 100%
rename from examples/self-stabilisation/israeli-jalfon/ij9.pctl
rename to prism-examples/self-stabilisation/israeli-jalfon/ij9.pctl
diff --git a/examples/tandem/README b/prism-examples/tandem/README
similarity index 100%
rename from examples/tandem/README
rename to prism-examples/tandem/README
diff --git a/examples/tandem/auto b/prism-examples/tandem/auto
similarity index 100%
rename from examples/tandem/auto
rename to prism-examples/tandem/auto
diff --git a/examples/tandem/tandem.csl b/prism-examples/tandem/tandem.csl
similarity index 100%
rename from examples/tandem/tandem.csl
rename to prism-examples/tandem/tandem.csl
diff --git a/examples/tandem/tandem.sm b/prism-examples/tandem/tandem.sm
similarity index 100%
rename from examples/tandem/tandem.sm
rename to prism-examples/tandem/tandem.sm