From c0cc2c56a7a686a8173f45a320be7855429d38a0 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 24 Jan 2010 11:37:13 +0000 Subject: [PATCH] Moving PTA des files to a separate directory. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1710 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/examples/{pta/csma/abst/des => des/csma/abst}/args | 0 .../{pta/csma/abst/des => des/csma/abst}/csma-bmax1-s1.des | 0 .../{pta/csma/abst/des => des/csma/abst}/csma-bmax1-s2.des | 0 .../{pta/csma/abst/des => des/csma/abst}/csma-bmax2-s1.des | 0 .../{pta/csma/abst/des => des/csma/abst}/csma-bmax2-s2.des | 0 .../{pta/csma/abst/des => des/csma/abst}/csma-bmax3-s1.des | 0 .../{pta/csma/abst/des => des/csma/abst}/csma-bmax3-s2.des | 0 .../{pta/csma/abst/des => des/csma/abst}/csma-bmax4-s1.des | 0 .../{pta/csma/abst/des => des/csma/abst}/csma-bmax4-s2.des | 0 .../{pta/csma/abst/des => des/csma/abst}/csma-bmax5-s1.des | 0 .../{pta/csma/abst/des => des/csma/abst}/csma-bmax5-s2.des | 0 prism/examples/{pta/csma/abst/des => des/csma/abst}/csma-bus.des | 0 .../{pta/csma/abst/des => des/csma/abst}/csma1.1000.deslist | 0 .../{pta/csma/abst/des => des/csma/abst}/csma1.2000.deslist | 0 .../{pta/csma/abst/des => des/csma/abst}/csma1.3000.deslist | 0 .../{pta/csma/abst/des => des/csma/abst}/csma1.4000.deslist | 0 prism/examples/{pta/csma/abst/des => des/csma/abst}/csma1.deslist | 0 .../{pta/csma/abst/des => des/csma/abst}/deadline1000.des | 0 .../{pta/csma/abst/des => des/csma/abst}/deadline2000.des | 0 .../{pta/csma/abst/des => des/csma/abst}/deadline3000.des | 0 .../{pta/csma/abst/des => des/csma/abst}/deadline4000.des | 0 21 files changed, 0 insertions(+), 0 deletions(-) rename prism/examples/{pta/csma/abst/des => des/csma/abst}/args (100%) rename prism/examples/{pta/csma/abst/des => des/csma/abst}/csma-bmax1-s1.des (100%) rename prism/examples/{pta/csma/abst/des => des/csma/abst}/csma-bmax1-s2.des (100%) rename prism/examples/{pta/csma/abst/des => des/csma/abst}/csma-bmax2-s1.des (100%) rename prism/examples/{pta/csma/abst/des => des/csma/abst}/csma-bmax2-s2.des (100%) rename prism/examples/{pta/csma/abst/des => des/csma/abst}/csma-bmax3-s1.des (100%) rename prism/examples/{pta/csma/abst/des => des/csma/abst}/csma-bmax3-s2.des (100%) rename prism/examples/{pta/csma/abst/des => des/csma/abst}/csma-bmax4-s1.des (100%) rename prism/examples/{pta/csma/abst/des => des/csma/abst}/csma-bmax4-s2.des (100%) rename prism/examples/{pta/csma/abst/des => des/csma/abst}/csma-bmax5-s1.des (100%) rename prism/examples/{pta/csma/abst/des => des/csma/abst}/csma-bmax5-s2.des (100%) rename prism/examples/{pta/csma/abst/des => des/csma/abst}/csma-bus.des (100%) rename prism/examples/{pta/csma/abst/des => des/csma/abst}/csma1.1000.deslist (100%) rename prism/examples/{pta/csma/abst/des => des/csma/abst}/csma1.2000.deslist (100%) rename prism/examples/{pta/csma/abst/des => des/csma/abst}/csma1.3000.deslist (100%) rename prism/examples/{pta/csma/abst/des => des/csma/abst}/csma1.4000.deslist (100%) rename prism/examples/{pta/csma/abst/des => des/csma/abst}/csma1.deslist (100%) rename prism/examples/{pta/csma/abst/des => des/csma/abst}/deadline1000.des (100%) rename prism/examples/{pta/csma/abst/des => des/csma/abst}/deadline2000.des (100%) rename prism/examples/{pta/csma/abst/des => des/csma/abst}/deadline3000.des (100%) rename prism/examples/{pta/csma/abst/des => des/csma/abst}/deadline4000.des (100%) diff --git a/prism/examples/pta/csma/abst/des/args b/prism/examples/des/csma/abst/args similarity index 100% rename from prism/examples/pta/csma/abst/des/args rename to prism/examples/des/csma/abst/args diff --git a/prism/examples/pta/csma/abst/des/csma-bmax1-s1.des b/prism/examples/des/csma/abst/csma-bmax1-s1.des similarity index 100% rename from prism/examples/pta/csma/abst/des/csma-bmax1-s1.des rename to prism/examples/des/csma/abst/csma-bmax1-s1.des diff --git a/prism/examples/pta/csma/abst/des/csma-bmax1-s2.des b/prism/examples/des/csma/abst/csma-bmax1-s2.des similarity index 100% rename from prism/examples/pta/csma/abst/des/csma-bmax1-s2.des rename to prism/examples/des/csma/abst/csma-bmax1-s2.des diff --git a/prism/examples/pta/csma/abst/des/csma-bmax2-s1.des b/prism/examples/des/csma/abst/csma-bmax2-s1.des similarity index 100% rename from prism/examples/pta/csma/abst/des/csma-bmax2-s1.des rename to prism/examples/des/csma/abst/csma-bmax2-s1.des diff --git a/prism/examples/pta/csma/abst/des/csma-bmax2-s2.des b/prism/examples/des/csma/abst/csma-bmax2-s2.des similarity index 100% rename from prism/examples/pta/csma/abst/des/csma-bmax2-s2.des rename to prism/examples/des/csma/abst/csma-bmax2-s2.des diff --git a/prism/examples/pta/csma/abst/des/csma-bmax3-s1.des b/prism/examples/des/csma/abst/csma-bmax3-s1.des similarity index 100% rename from prism/examples/pta/csma/abst/des/csma-bmax3-s1.des rename to prism/examples/des/csma/abst/csma-bmax3-s1.des diff --git a/prism/examples/pta/csma/abst/des/csma-bmax3-s2.des b/prism/examples/des/csma/abst/csma-bmax3-s2.des similarity index 100% rename from prism/examples/pta/csma/abst/des/csma-bmax3-s2.des rename to prism/examples/des/csma/abst/csma-bmax3-s2.des diff --git a/prism/examples/pta/csma/abst/des/csma-bmax4-s1.des b/prism/examples/des/csma/abst/csma-bmax4-s1.des similarity index 100% rename from prism/examples/pta/csma/abst/des/csma-bmax4-s1.des rename to prism/examples/des/csma/abst/csma-bmax4-s1.des diff --git a/prism/examples/pta/csma/abst/des/csma-bmax4-s2.des b/prism/examples/des/csma/abst/csma-bmax4-s2.des similarity index 100% rename from prism/examples/pta/csma/abst/des/csma-bmax4-s2.des rename to prism/examples/des/csma/abst/csma-bmax4-s2.des diff --git a/prism/examples/pta/csma/abst/des/csma-bmax5-s1.des b/prism/examples/des/csma/abst/csma-bmax5-s1.des similarity index 100% rename from prism/examples/pta/csma/abst/des/csma-bmax5-s1.des rename to prism/examples/des/csma/abst/csma-bmax5-s1.des diff --git a/prism/examples/pta/csma/abst/des/csma-bmax5-s2.des b/prism/examples/des/csma/abst/csma-bmax5-s2.des similarity index 100% rename from prism/examples/pta/csma/abst/des/csma-bmax5-s2.des rename to prism/examples/des/csma/abst/csma-bmax5-s2.des diff --git a/prism/examples/pta/csma/abst/des/csma-bus.des b/prism/examples/des/csma/abst/csma-bus.des similarity index 100% rename from prism/examples/pta/csma/abst/des/csma-bus.des rename to prism/examples/des/csma/abst/csma-bus.des diff --git a/prism/examples/pta/csma/abst/des/csma1.1000.deslist b/prism/examples/des/csma/abst/csma1.1000.deslist similarity index 100% rename from prism/examples/pta/csma/abst/des/csma1.1000.deslist rename to prism/examples/des/csma/abst/csma1.1000.deslist diff --git a/prism/examples/pta/csma/abst/des/csma1.2000.deslist b/prism/examples/des/csma/abst/csma1.2000.deslist similarity index 100% rename from prism/examples/pta/csma/abst/des/csma1.2000.deslist rename to prism/examples/des/csma/abst/csma1.2000.deslist diff --git a/prism/examples/pta/csma/abst/des/csma1.3000.deslist b/prism/examples/des/csma/abst/csma1.3000.deslist similarity index 100% rename from prism/examples/pta/csma/abst/des/csma1.3000.deslist rename to prism/examples/des/csma/abst/csma1.3000.deslist diff --git a/prism/examples/pta/csma/abst/des/csma1.4000.deslist b/prism/examples/des/csma/abst/csma1.4000.deslist similarity index 100% rename from prism/examples/pta/csma/abst/des/csma1.4000.deslist rename to prism/examples/des/csma/abst/csma1.4000.deslist diff --git a/prism/examples/pta/csma/abst/des/csma1.deslist b/prism/examples/des/csma/abst/csma1.deslist similarity index 100% rename from prism/examples/pta/csma/abst/des/csma1.deslist rename to prism/examples/des/csma/abst/csma1.deslist diff --git a/prism/examples/pta/csma/abst/des/deadline1000.des b/prism/examples/des/csma/abst/deadline1000.des similarity index 100% rename from prism/examples/pta/csma/abst/des/deadline1000.des rename to prism/examples/des/csma/abst/deadline1000.des diff --git a/prism/examples/pta/csma/abst/des/deadline2000.des b/prism/examples/des/csma/abst/deadline2000.des similarity index 100% rename from prism/examples/pta/csma/abst/des/deadline2000.des rename to prism/examples/des/csma/abst/deadline2000.des diff --git a/prism/examples/pta/csma/abst/des/deadline3000.des b/prism/examples/des/csma/abst/deadline3000.des similarity index 100% rename from prism/examples/pta/csma/abst/des/deadline3000.des rename to prism/examples/des/csma/abst/deadline3000.des diff --git a/prism/examples/pta/csma/abst/des/deadline4000.des b/prism/examples/des/csma/abst/deadline4000.des similarity index 100% rename from prism/examples/pta/csma/abst/des/deadline4000.des rename to prism/examples/des/csma/abst/deadline4000.des