stamina 0.4.0 → 0.5.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (116) hide show
  1. data/CHANGELOG.md +22 -5
  2. data/LICENCE.md +2 -2
  3. data/bin/stamina +1 -7
  4. data/lib/stamina.rb +10 -19
  5. metadata +54 -333
  6. data/.gemtest +0 -0
  7. data/Gemfile +0 -2
  8. data/Gemfile.lock +0 -37
  9. data/Manifest.txt +0 -16
  10. data/README.md +0 -78
  11. data/Rakefile +0 -23
  12. data/example/adl/automaton.adl +0 -49
  13. data/example/adl/sample.adl +0 -53
  14. data/example/basic/characteristic_sample.adl +0 -32
  15. data/example/basic/target.adl +0 -9
  16. data/example/competition/31_test.adl +0 -1500
  17. data/example/competition/31_training.adl +0 -1759
  18. data/lib/stamina/abbadingo.rb +0 -2
  19. data/lib/stamina/abbadingo/random_dfa.rb +0 -48
  20. data/lib/stamina/abbadingo/random_sample.rb +0 -146
  21. data/lib/stamina/adl.rb +0 -298
  22. data/lib/stamina/automaton.rb +0 -1263
  23. data/lib/stamina/automaton/complete.rb +0 -36
  24. data/lib/stamina/automaton/equivalence.rb +0 -55
  25. data/lib/stamina/automaton/metrics.rb +0 -78
  26. data/lib/stamina/automaton/minimize.rb +0 -25
  27. data/lib/stamina/automaton/minimize/hopcroft.rb +0 -116
  28. data/lib/stamina/automaton/minimize/pitchies.rb +0 -64
  29. data/lib/stamina/automaton/strip.rb +0 -16
  30. data/lib/stamina/automaton/walking.rb +0 -363
  31. data/lib/stamina/classifier.rb +0 -52
  32. data/lib/stamina/command.rb +0 -45
  33. data/lib/stamina/command/abbadingo_dfa.rb +0 -81
  34. data/lib/stamina/command/abbadingo_samples.rb +0 -40
  35. data/lib/stamina/command/adl2dot.rb +0 -71
  36. data/lib/stamina/command/classify.rb +0 -48
  37. data/lib/stamina/command/help.rb +0 -27
  38. data/lib/stamina/command/infer.rb +0 -141
  39. data/lib/stamina/command/metrics.rb +0 -51
  40. data/lib/stamina/command/robustness.rb +0 -22
  41. data/lib/stamina/command/score.rb +0 -35
  42. data/lib/stamina/errors.rb +0 -23
  43. data/lib/stamina/ext/math.rb +0 -20
  44. data/lib/stamina/induction/blue_fringe.rb +0 -265
  45. data/lib/stamina/induction/commons.rb +0 -156
  46. data/lib/stamina/induction/rpni.rb +0 -186
  47. data/lib/stamina/induction/union_find.rb +0 -377
  48. data/lib/stamina/input_string.rb +0 -123
  49. data/lib/stamina/loader.rb +0 -1
  50. data/lib/stamina/markable.rb +0 -42
  51. data/lib/stamina/sample.rb +0 -267
  52. data/lib/stamina/scoring.rb +0 -213
  53. data/lib/stamina/utils.rb +0 -1
  54. data/lib/stamina/utils/decorate.rb +0 -81
  55. data/lib/stamina/version.rb +0 -14
  56. data/stamina.gemspec +0 -191
  57. data/stamina.noespec +0 -32
  58. data/tasks/debug_mail.rake +0 -78
  59. data/tasks/debug_mail.txt +0 -13
  60. data/tasks/gem.rake +0 -68
  61. data/tasks/spec_test.rake +0 -79
  62. data/tasks/unit_test.rake +0 -77
  63. data/tasks/yard.rake +0 -51
  64. data/test/stamina/abbadingo/random_dfa_test.rb +0 -16
  65. data/test/stamina/abbadingo/random_sample_test.rb +0 -78
  66. data/test/stamina/adl_test.rb +0 -516
  67. data/test/stamina/automaton/classifier_test.rb +0 -259
  68. data/test/stamina/automaton/complete_test.rb +0 -58
  69. data/test/stamina/automaton/equivalence_test.rb +0 -120
  70. data/test/stamina/automaton/metrics_test.rb +0 -36
  71. data/test/stamina/automaton/minimize/hopcroft_test.rb +0 -15
  72. data/test/stamina/automaton/minimize/minimize_test.rb +0 -55
  73. data/test/stamina/automaton/minimize/pitchies_test.rb +0 -15
  74. data/test/stamina/automaton/minimize/rice_edu_10.adl +0 -16
  75. data/test/stamina/automaton/minimize/rice_edu_10.min.adl +0 -13
  76. data/test/stamina/automaton/minimize/rice_edu_13.adl +0 -13
  77. data/test/stamina/automaton/minimize/rice_edu_13.min.adl +0 -7
  78. data/test/stamina/automaton/minimize/should_strip_1.adl +0 -8
  79. data/test/stamina/automaton/minimize/should_strip_1.min.adl +0 -6
  80. data/test/stamina/automaton/minimize/unknown_1.adl +0 -16
  81. data/test/stamina/automaton/minimize/unknown_1.min.adl +0 -12
  82. data/test/stamina/automaton/strip_test.rb +0 -36
  83. data/test/stamina/automaton/to_dot_test.rb +0 -64
  84. data/test/stamina/automaton/walking/dfa_delta_test.rb +0 -39
  85. data/test/stamina/automaton/walking_test.rb +0 -206
  86. data/test/stamina/automaton_additional_test.rb +0 -190
  87. data/test/stamina/automaton_test.rb +0 -1104
  88. data/test/stamina/exit.rb +0 -3
  89. data/test/stamina/induction/blue_fringe_test.rb +0 -83
  90. data/test/stamina/induction/induction_test.rb +0 -70
  91. data/test/stamina/induction/redblue_mergesamestatebug_expected.adl +0 -19
  92. data/test/stamina/induction/redblue_mergesamestatebug_pta.dot +0 -64
  93. data/test/stamina/induction/redblue_mergesamestatebug_sample.adl +0 -9
  94. data/test/stamina/induction/redblue_universal_expected.adl +0 -4
  95. data/test/stamina/induction/redblue_universal_sample.adl +0 -5
  96. data/test/stamina/induction/rpni_inria_expected.adl +0 -7
  97. data/test/stamina/induction/rpni_inria_sample.adl +0 -9
  98. data/test/stamina/induction/rpni_test.rb +0 -129
  99. data/test/stamina/induction/rpni_test_pta.dot +0 -22
  100. data/test/stamina/induction/rpni_universal_expected.adl +0 -4
  101. data/test/stamina/induction/rpni_universal_sample.adl +0 -4
  102. data/test/stamina/induction/union_find_test.rb +0 -124
  103. data/test/stamina/input_string_test.rb +0 -323
  104. data/test/stamina/markable_test.rb +0 -70
  105. data/test/stamina/randdfa.adl +0 -66
  106. data/test/stamina/sample.adl +0 -4
  107. data/test/stamina/sample_classify_test.rb +0 -149
  108. data/test/stamina/sample_test.rb +0 -290
  109. data/test/stamina/scoring_test.rb +0 -63
  110. data/test/stamina/small_dfa.dot +0 -16
  111. data/test/stamina/small_dfa.gif +0 -0
  112. data/test/stamina/small_nfa.dot +0 -18
  113. data/test/stamina/small_nfa.gif +0 -0
  114. data/test/stamina/stamina_test.rb +0 -80
  115. data/test/stamina/utils/decorate_test.rb +0 -65
  116. data/test/test_all.rb +0 -7
data/CHANGELOG.md CHANGED
@@ -1,4 +1,22 @@
1
- # 0.4.0 / FIX ME
1
+ # 0.5.0 / FIX ME
2
+
3
+ * Breaking features.
4
+
5
+ * Support for ruby 1.8.7 has been definitely removed.
6
+
7
+ * Major enhancements
8
+
9
+ * The project has been split in different sub gems (core, induction and gui). This
10
+ implies a lot of internal changes, but the public API has not been affected. A main
11
+ 'stamina' gem automatically includes all sub gems so previous behavior is guaranteed.
12
+
13
+ * Minor enhancements
14
+ * Fixed a bug with bundler usage in main stamina binary
15
+ * adl2dot command now support samples as input in addition to automata. In that case,
16
+ the dot result models a PTA (prefix tree acceptor)
17
+ * Added --png to 'stamina adl2dot'
18
+
19
+ # 0.4.0 / 2011-05-01
2
20
 
3
21
  * Major Enhancements
4
22
 
@@ -8,9 +26,9 @@
8
26
  * Added Automaton stripping (removal of unreachable states) under Automaton#strip[!]
9
27
  * Added Automaton minimization (Hopcroft + Pitchies) under Automaton#minimize
10
28
  * Added Abbadingo generators under Abbadingo::RandomDFA and Abbadingo::RandomSample
11
- * Added a main 'stamina' command relying on Quickl. classiy/adl2dot commands become
29
+ * Added a main 'stamina' command relying on Quickl. classiy/adl2dot commands become
12
30
  subcommands of stamina itself (see stamina --help for a list of available commands).
13
- Induction command (rpni and redblue) are now handled by a 'stamina infer' with
31
+ Induction command (rpni and redblue) are now handled by a 'stamina infer' with
14
32
  options.
15
33
  * Error states and now correctly handled in ADL::parse and ADL::flush
16
34
  * RedBlue has been renamed as BlueFringe everywhere (red_?blue -> blue_fringe)
@@ -57,5 +75,4 @@
57
75
 
58
76
  # 0.2.1 / 2010-05-01
59
77
 
60
- * Main public version for the official competition, extracted from private SVN.
61
-
78
+ * Main public version for the official competition, extracted from private SVN.
data/LICENCE.md CHANGED
@@ -1,6 +1,6 @@
1
1
  The MIT License
2
2
 
3
- Copyright (c) 2008-2009 University of Louvain
3
+ Copyright (c) 2008-2009 University of Louvain
4
4
  (Universite catholique de Louvain-la-Neuve, Belgium)
5
5
 
6
6
  Permission is hereby granted, free of charge, to any person obtaining a copy
@@ -19,4 +19,4 @@ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
19
19
  AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20
20
  LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21
21
  OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
22
- THE SOFTWARE.
22
+ THE SOFTWARE.
data/bin/stamina CHANGED
@@ -1,10 +1,4 @@
1
1
  #!/usr/bin/env ruby
2
- require 'rubygems'
3
- require 'bundler'
4
- Bundler.setup(:default)
5
-
6
2
  $LOAD_PATH.unshift File.expand_path('../../lib', __FILE__)
7
- require "stamina/command"
8
-
3
+ require 'stamina'
9
4
  Stamina::Command.run(ARGV, __FILE__)
10
-
data/lib/stamina.rb CHANGED
@@ -1,22 +1,13 @@
1
- module Stamina
2
-
3
- end
4
- require 'stamina/ext/math'
5
- require 'stamina/version'
6
- require 'stamina/loader'
7
1
  require 'set'
8
2
  require 'enumerator'
9
3
  require 'stringio'
10
- require 'stamina/errors'
11
- require 'stamina/markable'
12
- require 'stamina/adl'
13
- require 'stamina/sample'
14
- require 'stamina/input_string'
15
- require 'stamina/classifier'
16
- require 'stamina/automaton'
17
- require 'stamina/scoring'
18
- require 'stamina/utils'
19
- require 'stamina/induction/union_find'
20
- require 'stamina/induction/commons'
21
- require "stamina/induction/rpni"
22
- require "stamina/induction/blue_fringe"
4
+
5
+ begin
6
+ require_relative 'stamina-core/stamina-core'
7
+ require_relative 'stamina-induction/stamina-induction'
8
+ require_relative 'stamina-gui/stamina-gui'
9
+ rescue LoadError
10
+ require 'stamina-core'
11
+ require 'stamina-induction'
12
+ require 'stamina-gui'
13
+ end
metadata CHANGED
@@ -1,364 +1,85 @@
1
- --- !ruby/object:Gem::Specification
1
+ --- !ruby/object:Gem::Specification
2
2
  name: stamina
3
- version: !ruby/object:Gem::Version
4
- hash: 15
3
+ version: !ruby/object:Gem::Version
4
+ version: 0.5.0
5
5
  prerelease:
6
- segments:
7
- - 0
8
- - 4
9
- - 0
10
- version: 0.4.0
11
6
  platform: ruby
12
- authors:
7
+ authors:
13
8
  - Bernard Lambeau
14
9
  autorequire:
15
10
  bindir: bin
16
11
  cert_chain: []
17
-
18
- date: 2011-05-03 00:00:00 +02:00
19
- default_executable:
20
- dependencies:
21
- - !ruby/object:Gem::Dependency
22
- type: :development
23
- requirement: &id001 !ruby/object:Gem::Requirement
12
+ date: 2012-02-24 00:00:00.000000000 Z
13
+ dependencies:
14
+ - !ruby/object:Gem::Dependency
15
+ name: stamina-core
16
+ requirement: &70290244526180 !ruby/object:Gem::Requirement
24
17
  none: false
25
- requirements:
26
- - - ~>
27
- - !ruby/object:Gem::Version
28
- hash: 49
29
- segments:
30
- - 0
31
- - 8
32
- - 7
33
- version: 0.8.7
34
- name: rake
35
- version_requirements: *id001
36
- prerelease: false
37
- - !ruby/object:Gem::Dependency
38
- type: :development
39
- requirement: &id002 !ruby/object:Gem::Requirement
40
- none: false
41
- requirements:
42
- - - ~>
43
- - !ruby/object:Gem::Version
44
- hash: 15
45
- segments:
46
- - 1
47
- - 0
48
- version: "1.0"
49
- name: bundler
50
- version_requirements: *id002
51
- prerelease: false
52
- - !ruby/object:Gem::Dependency
53
- type: :development
54
- requirement: &id003 !ruby/object:Gem::Requirement
55
- none: false
56
- requirements:
57
- - - ~>
58
- - !ruby/object:Gem::Version
59
- hash: 31
60
- segments:
61
- - 2
62
- - 4
63
- - 0
64
- version: 2.4.0
65
- name: rspec
66
- version_requirements: *id003
67
- prerelease: false
68
- - !ruby/object:Gem::Dependency
69
- type: :development
70
- requirement: &id004 !ruby/object:Gem::Requirement
71
- none: false
72
- requirements:
73
- - - ~>
74
- - !ruby/object:Gem::Version
75
- hash: 15
76
- segments:
77
- - 0
78
- - 6
79
- - 4
80
- version: 0.6.4
81
- name: yard
82
- version_requirements: *id004
83
- prerelease: false
84
- - !ruby/object:Gem::Dependency
85
- type: :development
86
- requirement: &id005 !ruby/object:Gem::Requirement
87
- none: false
88
- requirements:
89
- - - ~>
90
- - !ruby/object:Gem::Version
91
- hash: 29
92
- segments:
93
- - 2
94
- - 0
95
- - 9
96
- version: 2.0.9
97
- name: bluecloth
98
- version_requirements: *id005
18
+ requirements:
19
+ - - =
20
+ - !ruby/object:Gem::Version
21
+ version: 0.5.0
22
+ type: :runtime
99
23
  prerelease: false
100
- - !ruby/object:Gem::Dependency
101
- type: :development
102
- requirement: &id006 !ruby/object:Gem::Requirement
24
+ version_requirements: *70290244526180
25
+ - !ruby/object:Gem::Dependency
26
+ name: stamina-induction
27
+ requirement: &70290244548420 !ruby/object:Gem::Requirement
103
28
  none: false
104
- requirements:
105
- - - ~>
106
- - !ruby/object:Gem::Version
107
- hash: 53
108
- segments:
109
- - 0
110
- - 10
111
- - 1
112
- version: 0.10.1
113
- name: wlang
114
- version_requirements: *id006
29
+ requirements:
30
+ - - =
31
+ - !ruby/object:Gem::Version
32
+ version: 0.5.0
33
+ type: :runtime
115
34
  prerelease: false
116
- - !ruby/object:Gem::Dependency
117
- type: :development
118
- requirement: &id007 !ruby/object:Gem::Requirement
35
+ version_requirements: *70290244548420
36
+ - !ruby/object:Gem::Dependency
37
+ name: stamina-gui
38
+ requirement: &70290244547960 !ruby/object:Gem::Requirement
119
39
  none: false
120
- requirements:
121
- - - ~>
122
- - !ruby/object:Gem::Version
123
- hash: 15
124
- segments:
125
- - 2
126
- - 3
127
- - 6
128
- version: 2.3.6
129
- name: gnuplot
130
- version_requirements: *id007
131
- prerelease: false
132
- - !ruby/object:Gem::Dependency
40
+ requirements:
41
+ - - =
42
+ - !ruby/object:Gem::Version
43
+ version: 0.5.0
133
44
  type: :runtime
134
- requirement: &id008 !ruby/object:Gem::Requirement
135
- none: false
136
- requirements:
137
- - - ~>
138
- - !ruby/object:Gem::Version
139
- hash: 23
140
- segments:
141
- - 0
142
- - 2
143
- - 0
144
- version: 0.2.0
145
- name: quickl
146
- version_requirements: *id008
147
45
  prerelease: false
148
- description: |-
149
- Stamina is an automaton and regular inference toolkit initially developped for the baseline
150
- of the Stamina Competition (stamina.chefbe.net).
151
- email:
46
+ version_requirements: *70290244547960
47
+ description: ! "Stamina is an automaton and regular inference toolkit initially developped
48
+ for the \nbaseline of the Stamina Competition (stamina.chefbe.net)."
49
+ email:
152
50
  - blambeau@gmail.com
153
- executables:
51
+ executables:
154
52
  - stamina
155
53
  extensions: []
156
-
157
- extra_rdoc_files:
158
- - README.md
159
- - CHANGELOG.md
54
+ extra_rdoc_files: []
55
+ files:
160
56
  - LICENCE.md
161
- files:
57
+ - CHANGELOG.md
162
58
  - bin/stamina
163
- - example/adl/automaton.adl
164
- - example/adl/sample.adl
165
- - example/basic/characteristic_sample.adl
166
- - example/basic/target.adl
167
- - example/competition/31_test.adl
168
- - example/competition/31_training.adl
169
59
  - lib/stamina.rb
170
- - lib/stamina/adl.rb
171
- - lib/stamina/automaton.rb
172
- - lib/stamina/automaton/walking.rb
173
- - lib/stamina/automaton/metrics.rb
174
- - lib/stamina/automaton/complete.rb
175
- - lib/stamina/automaton/minimize.rb
176
- - lib/stamina/automaton/equivalence.rb
177
- - lib/stamina/automaton/minimize/hopcroft.rb
178
- - lib/stamina/automaton/minimize/pitchies.rb
179
- - lib/stamina/automaton/strip.rb
180
- - lib/stamina/classifier.rb
181
- - lib/stamina/command/score.rb
182
- - lib/stamina/command/infer.rb
183
- - lib/stamina/command/help.rb
184
- - lib/stamina/command/abbadingo_dfa.rb
185
- - lib/stamina/command/metrics.rb
186
- - lib/stamina/command/abbadingo_samples.rb
187
- - lib/stamina/command/classify.rb
188
- - lib/stamina/command/robustness.rb
189
- - lib/stamina/command/adl2dot.rb
190
- - lib/stamina/errors.rb
191
- - lib/stamina/induction/commons.rb
192
- - lib/stamina/induction/rpni.rb
193
- - lib/stamina/induction/union_find.rb
194
- - lib/stamina/induction/blue_fringe.rb
195
- - lib/stamina/input_string.rb
196
- - lib/stamina/markable.rb
197
- - lib/stamina/sample.rb
198
- - lib/stamina/version.rb
199
- - lib/stamina/loader.rb
200
- - lib/stamina/scoring.rb
201
- - lib/stamina/utils/decorate.rb
202
- - lib/stamina/utils.rb
203
- - lib/stamina/abbadingo.rb
204
- - lib/stamina/abbadingo/random_dfa.rb
205
- - lib/stamina/abbadingo/random_sample.rb
206
- - lib/stamina/command.rb
207
- - lib/stamina/ext/math.rb
208
- - tasks/yard.rake
209
- - tasks/debug_mail.txt
210
- - tasks/gem.rake
211
- - tasks/unit_test.rake
212
- - tasks/debug_mail.rake
213
- - tasks/spec_test.rake
214
- - test/stamina/adl_test.rb
215
- - test/stamina/automaton_additional_test.rb
216
- - test/stamina/automaton_test.rb
217
- - test/stamina/scoring_test.rb
218
- - test/stamina/abbadingo/random_dfa_test.rb
219
- - test/stamina/abbadingo/random_sample_test.rb
220
- - test/stamina/exit.rb
221
- - test/stamina/induction/induction_test.rb
222
- - test/stamina/induction/redblue_mergesamestatebug_expected.adl
223
- - test/stamina/induction/redblue_mergesamestatebug_pta.dot
224
- - test/stamina/induction/redblue_mergesamestatebug_sample.adl
225
- - test/stamina/induction/rpni_test.rb
226
- - test/stamina/induction/redblue_universal_expected.adl
227
- - test/stamina/induction/redblue_universal_sample.adl
228
- - test/stamina/induction/rpni_inria_expected.adl
229
- - test/stamina/induction/rpni_inria_sample.adl
230
- - test/stamina/induction/rpni_test_pta.dot
231
- - test/stamina/induction/rpni_universal_expected.adl
232
- - test/stamina/induction/rpni_universal_sample.adl
233
- - test/stamina/induction/union_find_test.rb
234
- - test/stamina/induction/blue_fringe_test.rb
235
- - test/stamina/input_string_test.rb
236
- - test/stamina/markable_test.rb
237
- - test/stamina/randdfa.adl
238
- - test/stamina/sample.adl
239
- - test/stamina/sample_classify_test.rb
240
- - test/stamina/sample_test.rb
241
- - test/stamina/small_dfa.dot
242
- - test/stamina/small_dfa.gif
243
- - test/stamina/small_nfa.dot
244
- - test/stamina/small_nfa.gif
245
- - test/stamina/stamina_test.rb
246
- - test/stamina/utils/decorate_test.rb
247
- - test/stamina/automaton/classifier_test.rb
248
- - test/stamina/automaton/walking_test.rb
249
- - test/stamina/automaton/to_dot_test.rb
250
- - test/stamina/automaton/metrics_test.rb
251
- - test/stamina/automaton/walking/dfa_delta_test.rb
252
- - test/stamina/automaton/equivalence_test.rb
253
- - test/stamina/automaton/strip_test.rb
254
- - test/stamina/automaton/complete_test.rb
255
- - test/stamina/automaton/minimize/minimize_test.rb
256
- - test/stamina/automaton/minimize/rice_edu_13.adl
257
- - test/stamina/automaton/minimize/rice_edu_13.min.adl
258
- - test/stamina/automaton/minimize/rice_edu_10.adl
259
- - test/stamina/automaton/minimize/rice_edu_10.min.adl
260
- - test/stamina/automaton/minimize/pitchies_test.rb
261
- - test/stamina/automaton/minimize/unknown_1.adl
262
- - test/stamina/automaton/minimize/unknown_1.min.adl
263
- - test/stamina/automaton/minimize/hopcroft_test.rb
264
- - test/stamina/automaton/minimize/should_strip_1.adl
265
- - test/stamina/automaton/minimize/should_strip_1.min.adl
266
- - test/test_all.rb
267
- - .gemtest
268
- - CHANGELOG.md
269
- - Gemfile
270
- - Gemfile.lock
271
- - LICENCE.md
272
- - Manifest.txt
273
- - Rakefile
274
- - README.md
275
- - stamina.gemspec
276
- - stamina.noespec
277
- has_rdoc: true
278
- homepage: http://stamina.chefbe.net/
60
+ homepage: https://github.com/blambeau/stamina
279
61
  licenses: []
280
-
281
62
  post_install_message:
282
63
  rdoc_options: []
283
-
284
- require_paths:
64
+ require_paths:
285
65
  - lib
286
- required_ruby_version: !ruby/object:Gem::Requirement
66
+ required_ruby_version: !ruby/object:Gem::Requirement
287
67
  none: false
288
- requirements:
289
- - - ">="
290
- - !ruby/object:Gem::Version
291
- hash: 3
292
- segments:
293
- - 0
294
- version: "0"
295
- required_rubygems_version: !ruby/object:Gem::Requirement
68
+ requirements:
69
+ - - ! '>='
70
+ - !ruby/object:Gem::Version
71
+ version: '0'
72
+ required_rubygems_version: !ruby/object:Gem::Requirement
296
73
  none: false
297
- requirements:
298
- - - ">="
299
- - !ruby/object:Gem::Version
300
- hash: 3
301
- segments:
302
- - 0
303
- version: "0"
74
+ requirements:
75
+ - - ! '>='
76
+ - !ruby/object:Gem::Version
77
+ version: '0'
304
78
  requirements: []
305
-
306
79
  rubyforge_project:
307
- rubygems_version: 1.6.2
80
+ rubygems_version: 1.8.10
308
81
  signing_key:
309
82
  specification_version: 3
310
83
  summary: Automaton and Regular Inference Toolkit
311
- test_files:
312
- - test/stamina/adl_test.rb
313
- - test/stamina/automaton_additional_test.rb
314
- - test/stamina/automaton_test.rb
315
- - test/stamina/scoring_test.rb
316
- - test/stamina/abbadingo/random_dfa_test.rb
317
- - test/stamina/abbadingo/random_sample_test.rb
318
- - test/stamina/exit.rb
319
- - test/stamina/induction/induction_test.rb
320
- - test/stamina/induction/redblue_mergesamestatebug_expected.adl
321
- - test/stamina/induction/redblue_mergesamestatebug_pta.dot
322
- - test/stamina/induction/redblue_mergesamestatebug_sample.adl
323
- - test/stamina/induction/rpni_test.rb
324
- - test/stamina/induction/redblue_universal_expected.adl
325
- - test/stamina/induction/redblue_universal_sample.adl
326
- - test/stamina/induction/rpni_inria_expected.adl
327
- - test/stamina/induction/rpni_inria_sample.adl
328
- - test/stamina/induction/rpni_test_pta.dot
329
- - test/stamina/induction/rpni_universal_expected.adl
330
- - test/stamina/induction/rpni_universal_sample.adl
331
- - test/stamina/induction/union_find_test.rb
332
- - test/stamina/induction/blue_fringe_test.rb
333
- - test/stamina/input_string_test.rb
334
- - test/stamina/markable_test.rb
335
- - test/stamina/randdfa.adl
336
- - test/stamina/sample.adl
337
- - test/stamina/sample_classify_test.rb
338
- - test/stamina/sample_test.rb
339
- - test/stamina/small_dfa.dot
340
- - test/stamina/small_dfa.gif
341
- - test/stamina/small_nfa.dot
342
- - test/stamina/small_nfa.gif
343
- - test/stamina/stamina_test.rb
344
- - test/stamina/utils/decorate_test.rb
345
- - test/stamina/automaton/classifier_test.rb
346
- - test/stamina/automaton/walking_test.rb
347
- - test/stamina/automaton/to_dot_test.rb
348
- - test/stamina/automaton/metrics_test.rb
349
- - test/stamina/automaton/walking/dfa_delta_test.rb
350
- - test/stamina/automaton/equivalence_test.rb
351
- - test/stamina/automaton/strip_test.rb
352
- - test/stamina/automaton/complete_test.rb
353
- - test/stamina/automaton/minimize/minimize_test.rb
354
- - test/stamina/automaton/minimize/rice_edu_13.adl
355
- - test/stamina/automaton/minimize/rice_edu_13.min.adl
356
- - test/stamina/automaton/minimize/rice_edu_10.adl
357
- - test/stamina/automaton/minimize/rice_edu_10.min.adl
358
- - test/stamina/automaton/minimize/pitchies_test.rb
359
- - test/stamina/automaton/minimize/unknown_1.adl
360
- - test/stamina/automaton/minimize/unknown_1.min.adl
361
- - test/stamina/automaton/minimize/hopcroft_test.rb
362
- - test/stamina/automaton/minimize/should_strip_1.adl
363
- - test/stamina/automaton/minimize/should_strip_1.min.adl
364
- - test/test_all.rb
84
+ test_files: []
85
+ has_rdoc: