diff options
author | Nathan Lasseter <nathan@4574.co.uk> | 2014-03-29 18:27:13 +0000 |
---|---|---|
committer | Nathan Lasseter <nathan@4574.co.uk> | 2014-03-29 18:27:13 +0000 |
commit | 1e799f72df429beceb42aa8d1ce640e5e2c5210e (patch) | |
tree | e137fa46147725e55bb23537b9f0ff24bf1d3984 /examples | |
parent | d9fbb2c4900b008daa9c5e0302677f9d1674a473 (diff) |
Updated file endings for examples
Diffstat (limited to 'examples')
-rw-r--r-- | examples/abc.dfa (renamed from examples/abc.vfsm) | 0 | ||||
-rw-r--r-- | examples/even.dfa (renamed from examples/even.vfsm) | 0 | ||||
-rw-r--r-- | examples/helloworld.dfa (renamed from examples/helloworld.vfsm) | 0 | ||||
-rw-r--r-- | examples/looptest.ndfa (renamed from examples/looptest.vfsm) | 0 | ||||
-rw-r--r-- | examples/mfcs.dfa (renamed from examples/mfcs.vfsm) | 0 | ||||
-rw-r--r-- | examples/mfcs2.dfa (renamed from examples/mfcs2.vfsm) | 0 | ||||
-rw-r--r-- | examples/nondet.ndfa (renamed from examples/nondet.vfsm) | 0 | ||||
-rw-r--r-- | examples/psc.dfa (renamed from examples/psc.vfsm) | 0 |
8 files changed, 0 insertions, 0 deletions
diff --git a/examples/abc.vfsm b/examples/abc.dfa index 691d5f6..691d5f6 100644 --- a/examples/abc.vfsm +++ b/examples/abc.dfa diff --git a/examples/even.vfsm b/examples/even.dfa index cc281b2..cc281b2 100644 --- a/examples/even.vfsm +++ b/examples/even.dfa diff --git a/examples/helloworld.vfsm b/examples/helloworld.dfa index ab808f0..ab808f0 100644 --- a/examples/helloworld.vfsm +++ b/examples/helloworld.dfa diff --git a/examples/looptest.vfsm b/examples/looptest.ndfa index 37673fd..37673fd 100644 --- a/examples/looptest.vfsm +++ b/examples/looptest.ndfa diff --git a/examples/mfcs.vfsm b/examples/mfcs.dfa index 2320199..2320199 100644 --- a/examples/mfcs.vfsm +++ b/examples/mfcs.dfa diff --git a/examples/mfcs2.vfsm b/examples/mfcs2.dfa index 2e70532..2e70532 100644 --- a/examples/mfcs2.vfsm +++ b/examples/mfcs2.dfa diff --git a/examples/nondet.vfsm b/examples/nondet.ndfa index dad024a..dad024a 100644 --- a/examples/nondet.vfsm +++ b/examples/nondet.ndfa diff --git a/examples/psc.vfsm b/examples/psc.dfa index e906108..e906108 100644 --- a/examples/psc.vfsm +++ b/examples/psc.dfa |