From 462b96915662b5d5325fe5def91c90127053f189 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sat, 25 Mar 2006 00:15:47 +0000
Subject: [PATCH] Renaming examples directory to prism-examples.

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

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