art-decomp 0.0.0

data/spec/fixtures/fsm.h

@@ -0,0 +1,19 @@
+---1 10 10 110
+--01 00 10 000
+--11 00 01 101
+-0-0 01 10 101
+-110 00 00 110
+0-01 11 01 101
+00-1 01 01 101
+0000 10 10 111
+0011 11 11 011
+0100 01 11 100
+0100 10 10 000
+0110 01 10 111
+0110 10 11 100
+1-00 10 00 110
+10-1 01 10 001
+1011 11 11 101
+1101 01 11 111
+1101 11 11 100
+1111 01 11 100

data/spec/fixtures/fsm.partially-exp

@@ -0,0 +1,31 @@
+0-00 init0 init1 00
+0-01 init4 IOwait 01
+0-10 init1 init2 10
+0-11 init1 init2 10
+0000 IOwait IOwait 01
+0001 IOwait IOwait 01
+0001 read0 read1 11
+0010 IOwait init2 01
+0010 RMACK RMACK 11
+0010 read1 IOwait 01
+0011 IOwait init2 01
+0100 init1 init1 00
+0100 write0 IOwait 01
+0110 IOwait read0 00
+0111 IOwait RMACK 11
+0111 RMACK read0 00
+0111 init4 init4 10
+1-00 init0 init1 00
+1-01 init4 IOwait 01
+1-10 init1 init2 10
+1-10 init2 init4 10
+1-11 init1 init2 10
+1000 IOwait init1 01
+1001 IOwait init1 01
+1001 WMACK write0 01
+1010 IOwait init2 01
+1011 IOwait init2 01
+1100 IOwait write0 11
+1100 WMACK WMACK 00
+1101 IOwait WMACK 00
+1111 init4 init4 10

data/spec/fixtures/fsm.q

@@ -0,0 +1,10 @@
+00 1  init0
+00 1  init4
+01 1  IOwait
+10 0  init1
+10 1  RMACK
+10 1  init2
+11 0  read1
+11 1  WMACK
+11 1  read0
+11 1  write0

data/spec/fixtures/lion

@@ -0,0 +1,15 @@
+.i 2
+.o 1
+.p 11
+.s 4
+-0 st0 st0 0
+11 st0 st0 0
+01 st0 st1 -
+0- st1 st1 1
+11 st1 st0 0
+10 st1 st2 1
+1- st2 st2 1
+00 st2 st1 1
+01 st2 st3 1
+0- st3 st3 1
+11 st3 st2 1

data/spec/fixtures/lion.exp

@@ -0,0 +1,15 @@
+00 st0 st0 0
+00 st1 st1 1
+00 st2 st1 1
+00 st3 st3 1
+01 st0 st1 -
+01 st1 st1 1
+01 st2 st3 1
+01 st3 st3 1
+10 st0 st0 0
+10 st1 st2 1
+10 st2 st2 1
+11 st0 st0 0
+11 st1 st0 0
+11 st2 st2 1
+11 st3 st2 1

data/spec/fixtures/lion.h

@@ -0,0 +1,10 @@
+-00 0 0 011
+-01 0 0 000
+-10 1 1 111
+-11 1 1 101
+001 1 0 011
+010 0 0 000
+011 0 1 101
+101 1 1 111
+110 0 0 01-
+111 0 0 000

data/spec/fixtures/lion.to_kiss

@@ -0,0 +1,11 @@
+-0 st0 st0 0
+0- st1 st1 1
+0- st3 st3 1
+00 st2 st1 1
+01 st0 st1 -
+01 st2 st3 1
+1- st2 st2 1
+10 st1 st2 1
+11 st0 st0 0
+11 st1 st0 0
+11 st3 st2 1

data/spec/fixtures/mark1

@@ -0,0 +1,26 @@
+.i 5
+.o 16
+.p 22
+.s 15
+0---- * state1 -11---1-00------
+1---- state1 state3 -11---1-00------
+1---- state2 state0 -11---1-00------
+1---- state3 state4 101---1-01------
+1-111 state4 state13 -11---1-00------
+1-110 state4 state10 -11---1-00------
+1-10- state4 state9 -11---1-00------
+1-011 state4 state8 -11---1-00------
+1-010 state4 state7 -11---1-00------
+1-001 state4 state6 -11---1-00------
+1-000 state4 state5 -11---1-00------
+1---- state5 state14 0011--1-00------
+1---- state6 state14 00100-0-00000011
+1---- state7 state14 001---1100------
+1---- state8 state14 010---1-00------
+1---- state9 state14 001---1010000101
+1---- state10 state11 -11---1-00100000
+10--- state11 state13 -11---1-00------
+11--- state11 state12 -11---1-00------
+1---- state12 state13 -110110-00------
+1---- state13 state14 -11---1-00------
+1---- state14 state3 -110110-00------

data/spec/fixtures/mc

@@ -0,0 +1,14 @@
+.i 3
+.o 5
+.p 10
+.s 4
+0-- HG HG 00010
+-0- HG HG 00010
+11- HG HY 10010
+--0 HY HY 00110
+--1 HY FG 10110
+10- FG FG 01000
+0-- FG FY 11000
+-1- FG FY 11000
+--0 FY FY 01001
+--1 FY HG 11001

data/spec/fixtures/mc.to_kiss

@@ -0,0 +1,10 @@
+--0 FY FY 01001
+--0 HY HY 00110
+--1 FY HG 11001
+--1 HY FG 10110
+-0- HG HG 00010
+-1- FG FY 11000
+0-- FG FY 11000
+0-- HG HG 00010
+10- FG FG 01000
+11- HG HY 10010

data/spec/fixtures/opus

@@ -0,0 +1,26 @@
+.i 5
+.o 6
+.p 22
+.s 10
+--1-- * init0 110000
+--1-- init0 init0 110000
+--0-- init0 init1 110000
+--00- init1 init1 110000
+--01- init1 init2 110001
+--0-- init2 init4 110100
+--01- init4 init4 110100
+--00- init4 IOwait 000000
+0000- IOwait IOwait 000000
+1000- IOwait init1 110000
+01000 IOwait read0 101000
+11000 IOwait write0 100010
+01001 IOwait RMACK 100000
+11001 IOwait WMACK 100000
+--01- IOwait init2 110001
+--0-0 RMACK RMACK 100000
+--0-1 RMACK read0 101000
+--0-0 WMACK WMACK 100000
+--0-1 WMACK write0 100010
+--0-- read0 read1 101001
+--0-- read1 IOwait 000000
+--0-- write0 IOwait 000000

data/spec/fixtures/opus.amb.h

@@ -0,0 +1,22 @@
+-0--01 10 11 10000000
+-0--01 11 10 01110100
+-0--10 00 10 00101001
+-0--10 11 01 00110000
+-0-001 00 00 00100000
+-0-010 01 01 01100000
+-0-101 00 00 01101000
+-0-110 01 10 00100010
+-00-01 01 01 00110000
+-00-10 10 11 10000000
+-01-00 11 11 00110001
+-01-01 01 11 00110001
+-01-10 10 10 01110100
+-01-11 11 11 00110001
+-1---- * 11 01110000
+-1--10 11 11 01110000
+000-00 11 11 10000000
+000-11 11 01 00110000
+100000 11 00 01101000
+100011 11 10 00100010
+100100 11 00 00100000
+100111 11 01 01100000

data/spec/fixtures/opus.h

@@ -0,0 +1,21 @@
+----00 * 11 00110000
+----00 11 11 00110000
+----01 11 11 01110000
+----10 00 00 00110100
+----10 10 11 10101001
+----11 11 01 01000000
+---001 01 01 00100000
+---001 10 10 00100000
+---101 01 10 01101000
+---101 10 11 10100010
+--0-01 00 01 01000000
+--0-10 11 11 01110000
+--1-01 00 00 00110100
+--1-10 01 00 01110001
+--1-10 11 00 01110001
+000-10 01 01 01000000
+010010 01 10 01101000
+010110 01 01 00100000
+100-10 01 11 01110000
+110010 01 11 10100010
+110110 01 10 00100000

data/spec/fixtures/opus.to_kiss

@@ -0,0 +1,22 @@
+--0-- init0 init1 110000
+--0-- init2 init4 110100
+--0-- read0 read1 101001
+--0-- read1 IOwait 000000
+--0-- write0 IOwait 000000
+--0-0 RMACK RMACK 100000
+--0-0 WMACK WMACK 100000
+--0-1 RMACK read0 101000
+--0-1 WMACK write0 100010
+--00- init1 init1 110000
+--00- init4 IOwait 000000
+--01- IOwait init2 110001
+--01- init1 init2 110001
+--01- init4 init4 110100
+--1-- * init0 110000
+--1-- init0 init0 110000
+0000- IOwait IOwait 000000
+01000 IOwait read0 101000
+01001 IOwait RMACK 100000
+1000- IOwait init1 110000
+11000 IOwait write0 100010
+11001 IOwait WMACK 100000

data/spec/fixtures/s420

@@ -0,0 +1,142 @@
+.i 19
+.o 2
+.p 137
+.s 18
+.r 1111111111111111
+1----------------1- 1111111111111111 0000000000000000 11
+1----------------00 1111111111111111 0000000000000000 10
+1----------------01 1111111111111111 0000000000000000 11
+0------------------ 1111111111111111 0000000000000000 10
+10----------------1 0000000000000000 0001000000000000 01
+10----------------0 0000000000000000 0001000000000000 00
+00----------------- 0000000000000000 0000000000000000 00
+01----------------1 0000000000000000 0000000000000000 00
+11----------------1 0000000000000000 0000000000000000 01
+-1----------------0 0000000000000000 0000000000000000 00
+0------------------ 0001000000000000 0000000000000000 00
+11---------------1- 0001000000000000 0000000000000000 01
+11---------------00 0001000000000000 0000000000000000 00
+11---------------01 0001000000000000 0000000000000000 01
+10---------------00 0001000000000000 0010000000000000 00
+10---------------10 0001000000000000 0010000000000000 01
+10----------------1 0001000000000000 0010000000000000 01
+00----------------- 0010000000000000 0000000000000000 00
+10--------------0-0 0010000000000000 0011000000000000 00
+10--------------1-0 0010000000000000 0011000000000000 01
+10----------------1 0010000000000000 0011000000000000 01
+01----------------- 0010000000000000 0000000000000000 00
+11--------------0-0 0010000000000000 0000000000000000 00
+11--------------1-0 0010000000000000 0000000000000000 01
+11----------------1 0010000000000000 0000000000000000 01
+0------------------ 0011000000000000 0000000000000000 00
+11---------------10 0011000000000000 0000000000000000 01
+11---------------00 0011000000000000 0000000000000000 00
+11----------------1 0011000000000000 0000000000000000 01
+10---------------1- 0011000000000000 0100000000000000 01
+10---------------01 0011000000000000 0100000000000000 01
+10---------------00 0011000000000000 0100000000000000 00
+10----------------1 0100000000000000 0101000000000000 01
+10-------------0--0 0100000000000000 0101000000000000 00
+10-------------1--0 0100000000000000 0101000000000000 01
+00----------------- 0100000000000000 0000000000000000 00
+01-------------0--1 0100000000000000 0000000000000000 00
+11-------------0--1 0100000000000000 0000000000000000 01
+-1-------------0--0 0100000000000000 0000000000000000 00
+01-------------1--- 0100000000000000 0000000000000000 00
+11-------------1--- 0100000000000000 0000000000000000 01
+0------------------ 0101000000000000 0000000000000000 00
+11---------------10 0101000000000000 0000000000000000 01
+11---------------00 0101000000000000 0000000000000000 00
+11----------------1 0101000000000000 0000000000000000 01
+10---------------10 0101000000000000 0110000000000000 01
+10---------------00 0101000000000000 0110000000000000 00
+10----------------1 0101000000000000 0110000000000000 01
+0------------------ 0110000000000000 0000000000000000 00
+11--------------1-0 0110000000000000 0000000000000000 01
+11--------------0-0 0110000000000000 0000000000000000 00
+11----------------1 0110000000000000 0000000000000000 01
+10--------------1-- 0110000000000000 0111000000000000 01
+10--------------0-0 0110000000000000 0111000000000000 00
+10--------------0-1 0110000000000000 0111000000000000 01
+0------------------ 0111000000000000 0000000000000000 00
+11---------------1- 0111000000000000 0000000000000000 01
+11---------------00 0111000000000000 0000000000000000 00
+11---------------01 0111000000000000 0000000000000000 01
+10---------------1- 0111000000000000 1000000000000000 01
+10---------------01 0111000000000000 1000000000000000 01
+10---------------00 0111000000000000 1000000000000000 00
+00----------------- 1000000000000000 0000000000000000 00
+10----------------1 1000000000000000 1001000000000000 01
+10------------1---0 1000000000000000 1001000000000000 01
+10------------0---0 1000000000000000 1001000000000000 00
+01------------0---1 1000000000000000 0000000000000000 00
+11------------0---1 1000000000000000 0000000000000000 01
+11------------1---1 1000000000000000 0000000000000000 01
+01------------1---1 1000000000000000 0000000000000000 00
+11------------1---0 1000000000000000 0000000000000000 01
+11------------0---0 1000000000000000 0000000000000000 00
+01----------------0 1000000000000000 0000000000000000 00
+00----------------- 1001000000000000 0000000000000000 00
+10---------------1- 1001000000000000 1010000000000000 01
+10---------------00 1001000000000000 1010000000000000 00
+10---------------01 1001000000000000 1010000000000000 01
+01----------------- 1001000000000000 0000000000000000 00
+11---------------1- 1001000000000000 0000000000000000 01
+11---------------01 1001000000000000 0000000000000000 01
+11---------------00 1001000000000000 0000000000000000 00
+00----------------- 1010000000000000 0000000000000000 00
+10--------------1-- 1010000000000000 1011000000000000 01
+10--------------0-1 1010000000000000 1011000000000000 01
+10--------------0-0 1010000000000000 1011000000000000 00
+01----------------- 1010000000000000 0000000000000000 00
+11--------------1-0 1010000000000000 0000000000000000 01
+11--------------0-0 1010000000000000 0000000000000000 00
+11----------------1 1010000000000000 0000000000000000 01
+00----------------- 1011000000000000 0000000000000000 00
+10---------------00 1011000000000000 1100000000000000 00
+10---------------10 1011000000000000 1100000000000000 01
+10----------------1 1011000000000000 1100000000000000 01
+01----------------- 1011000000000000 0000000000000000 00
+11---------------10 1011000000000000 0000000000000000 01
+11---------------00 1011000000000000 0000000000000000 00
+11----------------1 1011000000000000 0000000000000000 01
+00----------------- 1100000000000000 0000000000000000 00
+10-------------0--1 1100000000000000 1101000000000000 01
+10-------------0--0 1100000000000000 1101000000000000 00
+10-------------1--- 1100000000000000 1101000000000000 01
+11----------------1 1100000000000000 0000000000000000 01
+01----------------1 1100000000000000 0000000000000000 00
+11-------------0--0 1100000000000000 0000000000000000 00
+11-------------1--0 1100000000000000 0000000000000000 01
+01----------------0 1100000000000000 0000000000000000 00
+0------------------ 1101000000000000 0000000000000000 00
+10---------------1- 1101000000000000 1110000000000000 01
+10---------------00 1101000000000000 1110000000000000 00
+10---------------01 1101000000000000 1110000000000000 01
+11---------------1- 1101000000000000 0000000000000000 01
+11---------------00 1101000000000000 0000000000000000 00
+11---------------01 1101000000000000 0000000000000000 01
+10--------------1-- 1110000000000000 1111000000000000 01
+10--------------0-0 1110000000000000 1111000000000000 00
+10--------------0-1 1110000000000000 1111000000000000 01
+00----------------- 1110000000000000 0000000000000000 00
+01----------------- 1110000000000000 0000000000000000 00
+11--------------1-- 1110000000000000 0000000000000000 01
+11--------------0-0 1110000000000000 0000000000000000 00
+11--------------0-1 1110000000000000 0000000000000000 01
+01----------------- 1111000000000000 0000000000000000 00
+11---------------00 1111000000000000 0000000000000000 00
+11---------------10 1111000000000000 0000000000000000 01
+11----------------1 1111000000000000 0000000000000000 01
+00----------------- 1111000000000000 0000000100000000 00
+10---------------10 1111000000000000 0000000100000000 01
+10---------------00 1111000000000000 0000000100000000 00
+10----------------1 1111000000000000 0000000100000000 01
+00----------------- 0000000100000000 0000000000000000 00
+10-----------1----- 0000000100000000 0001000000000000 01
+10-----------0----0 0000000100000000 0001000000000000 00
+10-----------0----1 0000000100000000 0001000000000000 01
+01----------------- 0000000100000000 0000000000000000 00
+11-----------1----0 0000000100000000 0000000000000000 01
+11-----------0----0 0000000100000000 0000000000000000 00
+11----------------1 0000000100000000 0000000000000000 01

data/spec/fixtures/s8

@@ -0,0 +1,24 @@
+.i 4
+.o 1
+.p 20
+.s 5
+1000 s1 s1 1
+0100 s1 s1 1
+0010 s1 s2 1
+0001 s1 s2 1
+1000 s2 s2 1
+0100 s2 s3 1
+0010 s2 s2 1
+0001 s2 s1 1
+1000 s3 s3 1
+0100 s3 s5 1
+0010 s3 s3 1
+0001 s3 s5 1
+1000 s4 s4 1
+0100 s4 s2 1
+0010 s4 s3 1
+0001 s4 s3 1
+1000 s5 s5 1
+0100 s5 s5 1
+0010 s5 s1 1
+0001 s5 s4 1

data/spec/spec.opts

@@ -0,0 +1,3 @@
+--colour
+--diff unified
+--require spec/spec_helper

data/spec/spec_helper.rb

@@ -0,0 +1,8 @@
+require 'tempfile'
+require 'tmpdir'
+
+require 'lib/art-decomp'
+
+def rex string
+  Regexp.new Regexp.escape(string)
+end

metadata

@@ -0,0 +1,224 @@
+--- !ruby/object:Gem::Specification 
+name: art-decomp
+version: !ruby/object:Gem::Version 
+  version: 0.0.0
+platform: ruby
+authors: 
+- Piotr Szotkowski
+autorequire: 
+bindir: bin
+cert_chain: []
+
+date: 2009-12-02 00:00:00 +01:00
+default_executable: 
+dependencies: 
+- !ruby/object:Gem::Dependency 
+  name: teejayvanslyke-gazer
+  type: :runtime
+  version_requirement: 
+  version_requirements: !ruby/object:Gem::Requirement 
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        version: "0"
+    version: 
+- !ruby/object:Gem::Dependency 
+  name: trollop
+  type: :runtime
+  version_requirement: 
+  version_requirements: !ruby/object:Gem::Requirement 
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        version: "0"
+    version: 
+- !ruby/object:Gem::Dependency 
+  name: diff-lcs
+  type: :development
+  version_requirement: 
+  version_requirements: !ruby/object:Gem::Requirement 
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        version: "0"
+    version: 
+- !ruby/object:Gem::Dependency 
+  name: jeweler
+  type: :development
+  version_requirement: 
+  version_requirements: !ruby/object:Gem::Requirement 
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        version: "0"
+    version: 
+- !ruby/object:Gem::Dependency 
+  name: rcov
+  type: :development
+  version_requirement: 
+  version_requirements: !ruby/object:Gem::Requirement 
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        version: "0"
+    version: 
+- !ruby/object:Gem::Dependency 
+  name: rspec
+  type: :development
+  version_requirement: 
+  version_requirements: !ruby/object:Gem::Requirement 
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        version: "0"
+    version: 
+description: 
+email: p.szotkowski@tele.pw.edu.pl
+executables: 
+- ad-validate
+- ad-compare
+- ad-console
+- ad-inputs
+- art-decomp
+extensions: []
+
+extra_rdoc_files: 
+- README
+files: 
+- .gitignore
+- LICENCE
+- README
+- Rakefile
+- VERSION
+- bin/ad-compare
+- bin/ad-console
+- bin/ad-inputs
+- bin/ad-validate
+- bin/art-decomp
+- lib/art-decomp.rb
+- lib/art-decomp/arch.rb
+- lib/art-decomp/b.rb
+- lib/art-decomp/bipainter.rb
+- lib/art-decomp/blanket.rb
+- lib/art-decomp/decomposer.rb
+- lib/art-decomp/decomposition.rb
+- lib/art-decomp/exceptions.rb
+- lib/art-decomp/executable.rb
+- lib/art-decomp/fsm.rb
+- lib/art-decomp/graph.rb
+- lib/art-decomp/kiss.rb
+- lib/art-decomp/logging.rb
+- lib/art-decomp/qu_generator/block_table.rb
+- lib/art-decomp/qu_generator/edge_labels.rb
+- lib/art-decomp/qv_generator/bipainting.rb
+- lib/art-decomp/qv_generator/graph_colouring.rb
+- lib/art-decomp/qv_generator/graph_merging.rb
+- lib/art-decomp/sep.rb
+- lib/art-decomp/uv_generator/braindead.rb
+- lib/art-decomp/uv_generator/relevance.rb
+- lib/core/enumerable.rb
+- lib/core/file.rb
+- lib/core/integer.rb
+- lib/core/set.rb
+- lib/core/string.rb
+- spec/art-decomp/arch_spec.rb
+- spec/art-decomp/b_spec.rb
+- spec/art-decomp/bipainter_spec.rb
+- spec/art-decomp/blanket_spec.rb
+- spec/art-decomp/decomposer_spec.rb
+- spec/art-decomp/decomposition_spec.rb
+- spec/art-decomp/executable_spec.rb
+- spec/art-decomp/fsm_spec.rb
+- spec/art-decomp/graph_spec.rb
+- spec/art-decomp/kiss_spec.rb
+- spec/art-decomp/logging_spec.rb
+- spec/art-decomp/qu_generator/block_table_spec.rb
+- spec/art-decomp/qu_generator/edge_labels_spec.rb
+- spec/art-decomp/qv_generator/bipainting_spec.rb
+- spec/art-decomp/qv_generator/graph_colouring_spec.rb
+- spec/art-decomp/qv_generator/graph_merging_spec.rb
+- spec/art-decomp/sep_spec.rb
+- spec/art-decomp/uv_generator/braindead_spec.rb
+- spec/art-decomp/uv_generator/relevance_spec.rb
+- spec/core/enumerable_spec.rb
+- spec/core/file_spec.rb
+- spec/core/integer_spec.rb
+- spec/core/set_spec.rb
+- spec/core/string_spec.rb
+- spec/fixtures/ex5
+- spec/fixtures/fsm
+- spec/fixtures/fsm.exp
+- spec/fixtures/fsm.f
+- spec/fixtures/fsm.g
+- spec/fixtures/fsm.h
+- spec/fixtures/fsm.partially-exp
+- spec/fixtures/fsm.q
+- spec/fixtures/lion
+- spec/fixtures/lion.exp
+- spec/fixtures/lion.h
+- spec/fixtures/lion.to_kiss
+- spec/fixtures/mark1
+- spec/fixtures/mc
+- spec/fixtures/mc.to_kiss
+- spec/fixtures/opus
+- spec/fixtures/opus.amb.h
+- spec/fixtures/opus.h
+- spec/fixtures/opus.to_kiss
+- spec/fixtures/s420
+- spec/fixtures/s8
+- spec/spec.opts
+- spec/spec_helper.rb
+has_rdoc: true
+homepage: http://github.com/chastell/art-decomp
+licenses: []
+
+post_install_message: 
+rdoc_options: 
+- --charset=UTF-8
+require_paths: 
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement 
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      version: "0"
+  version: 
+required_rubygems_version: !ruby/object:Gem::Requirement 
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      version: "0"
+  version: 
+requirements: []
+
+rubyforge_project: 
+rubygems_version: 1.3.5
+signing_key: 
+specification_version: 3
+summary: "art d\xC3\xA9comp: an FSM \xE2\x86\x92 FPGA decomposer"
+test_files: 
+- spec/core/set_spec.rb
+- spec/core/string_spec.rb
+- spec/core/enumerable_spec.rb
+- spec/core/file_spec.rb
+- spec/core/integer_spec.rb
+- spec/art-decomp/graph_spec.rb
+- spec/art-decomp/logging_spec.rb
+- spec/art-decomp/arch_spec.rb
+- spec/art-decomp/fsm_spec.rb
+- spec/art-decomp/sep_spec.rb
+- spec/art-decomp/bipainter_spec.rb
+- spec/art-decomp/blanket_spec.rb
+- spec/art-decomp/kiss_spec.rb
+- spec/art-decomp/qv_generator/graph_colouring_spec.rb
+- spec/art-decomp/qv_generator/bipainting_spec.rb
+- spec/art-decomp/qv_generator/graph_merging_spec.rb
+- spec/art-decomp/executable_spec.rb
+- spec/art-decomp/decomposer_spec.rb
+- spec/art-decomp/qu_generator/edge_labels_spec.rb
+- spec/art-decomp/qu_generator/block_table_spec.rb
+- spec/art-decomp/uv_generator/relevance_spec.rb
+- spec/art-decomp/uv_generator/braindead_spec.rb
+- spec/art-decomp/decomposition_spec.rb
+- spec/art-decomp/b_spec.rb
+- spec/spec_helper.rb