stamina 0.4.0 → 0.5.0
Sign up to get free protection for your applications and to get access to all the features.
- data/CHANGELOG.md +22 -5
- data/LICENCE.md +2 -2
- data/bin/stamina +1 -7
- data/lib/stamina.rb +10 -19
- metadata +54 -333
- data/.gemtest +0 -0
- data/Gemfile +0 -2
- data/Gemfile.lock +0 -37
- data/Manifest.txt +0 -16
- data/README.md +0 -78
- data/Rakefile +0 -23
- data/example/adl/automaton.adl +0 -49
- data/example/adl/sample.adl +0 -53
- data/example/basic/characteristic_sample.adl +0 -32
- data/example/basic/target.adl +0 -9
- data/example/competition/31_test.adl +0 -1500
- data/example/competition/31_training.adl +0 -1759
- data/lib/stamina/abbadingo.rb +0 -2
- data/lib/stamina/abbadingo/random_dfa.rb +0 -48
- data/lib/stamina/abbadingo/random_sample.rb +0 -146
- data/lib/stamina/adl.rb +0 -298
- data/lib/stamina/automaton.rb +0 -1263
- data/lib/stamina/automaton/complete.rb +0 -36
- data/lib/stamina/automaton/equivalence.rb +0 -55
- data/lib/stamina/automaton/metrics.rb +0 -78
- data/lib/stamina/automaton/minimize.rb +0 -25
- data/lib/stamina/automaton/minimize/hopcroft.rb +0 -116
- data/lib/stamina/automaton/minimize/pitchies.rb +0 -64
- data/lib/stamina/automaton/strip.rb +0 -16
- data/lib/stamina/automaton/walking.rb +0 -363
- data/lib/stamina/classifier.rb +0 -52
- data/lib/stamina/command.rb +0 -45
- data/lib/stamina/command/abbadingo_dfa.rb +0 -81
- data/lib/stamina/command/abbadingo_samples.rb +0 -40
- data/lib/stamina/command/adl2dot.rb +0 -71
- data/lib/stamina/command/classify.rb +0 -48
- data/lib/stamina/command/help.rb +0 -27
- data/lib/stamina/command/infer.rb +0 -141
- data/lib/stamina/command/metrics.rb +0 -51
- data/lib/stamina/command/robustness.rb +0 -22
- data/lib/stamina/command/score.rb +0 -35
- data/lib/stamina/errors.rb +0 -23
- data/lib/stamina/ext/math.rb +0 -20
- data/lib/stamina/induction/blue_fringe.rb +0 -265
- data/lib/stamina/induction/commons.rb +0 -156
- data/lib/stamina/induction/rpni.rb +0 -186
- data/lib/stamina/induction/union_find.rb +0 -377
- data/lib/stamina/input_string.rb +0 -123
- data/lib/stamina/loader.rb +0 -1
- data/lib/stamina/markable.rb +0 -42
- data/lib/stamina/sample.rb +0 -267
- data/lib/stamina/scoring.rb +0 -213
- data/lib/stamina/utils.rb +0 -1
- data/lib/stamina/utils/decorate.rb +0 -81
- data/lib/stamina/version.rb +0 -14
- data/stamina.gemspec +0 -191
- data/stamina.noespec +0 -32
- data/tasks/debug_mail.rake +0 -78
- data/tasks/debug_mail.txt +0 -13
- data/tasks/gem.rake +0 -68
- data/tasks/spec_test.rake +0 -79
- data/tasks/unit_test.rake +0 -77
- data/tasks/yard.rake +0 -51
- data/test/stamina/abbadingo/random_dfa_test.rb +0 -16
- data/test/stamina/abbadingo/random_sample_test.rb +0 -78
- data/test/stamina/adl_test.rb +0 -516
- data/test/stamina/automaton/classifier_test.rb +0 -259
- data/test/stamina/automaton/complete_test.rb +0 -58
- data/test/stamina/automaton/equivalence_test.rb +0 -120
- data/test/stamina/automaton/metrics_test.rb +0 -36
- data/test/stamina/automaton/minimize/hopcroft_test.rb +0 -15
- data/test/stamina/automaton/minimize/minimize_test.rb +0 -55
- data/test/stamina/automaton/minimize/pitchies_test.rb +0 -15
- data/test/stamina/automaton/minimize/rice_edu_10.adl +0 -16
- data/test/stamina/automaton/minimize/rice_edu_10.min.adl +0 -13
- data/test/stamina/automaton/minimize/rice_edu_13.adl +0 -13
- data/test/stamina/automaton/minimize/rice_edu_13.min.adl +0 -7
- data/test/stamina/automaton/minimize/should_strip_1.adl +0 -8
- data/test/stamina/automaton/minimize/should_strip_1.min.adl +0 -6
- data/test/stamina/automaton/minimize/unknown_1.adl +0 -16
- data/test/stamina/automaton/minimize/unknown_1.min.adl +0 -12
- data/test/stamina/automaton/strip_test.rb +0 -36
- data/test/stamina/automaton/to_dot_test.rb +0 -64
- data/test/stamina/automaton/walking/dfa_delta_test.rb +0 -39
- data/test/stamina/automaton/walking_test.rb +0 -206
- data/test/stamina/automaton_additional_test.rb +0 -190
- data/test/stamina/automaton_test.rb +0 -1104
- data/test/stamina/exit.rb +0 -3
- data/test/stamina/induction/blue_fringe_test.rb +0 -83
- data/test/stamina/induction/induction_test.rb +0 -70
- data/test/stamina/induction/redblue_mergesamestatebug_expected.adl +0 -19
- data/test/stamina/induction/redblue_mergesamestatebug_pta.dot +0 -64
- data/test/stamina/induction/redblue_mergesamestatebug_sample.adl +0 -9
- data/test/stamina/induction/redblue_universal_expected.adl +0 -4
- data/test/stamina/induction/redblue_universal_sample.adl +0 -5
- data/test/stamina/induction/rpni_inria_expected.adl +0 -7
- data/test/stamina/induction/rpni_inria_sample.adl +0 -9
- data/test/stamina/induction/rpni_test.rb +0 -129
- data/test/stamina/induction/rpni_test_pta.dot +0 -22
- data/test/stamina/induction/rpni_universal_expected.adl +0 -4
- data/test/stamina/induction/rpni_universal_sample.adl +0 -4
- data/test/stamina/induction/union_find_test.rb +0 -124
- data/test/stamina/input_string_test.rb +0 -323
- data/test/stamina/markable_test.rb +0 -70
- data/test/stamina/randdfa.adl +0 -66
- data/test/stamina/sample.adl +0 -4
- data/test/stamina/sample_classify_test.rb +0 -149
- data/test/stamina/sample_test.rb +0 -290
- data/test/stamina/scoring_test.rb +0 -63
- data/test/stamina/small_dfa.dot +0 -16
- data/test/stamina/small_dfa.gif +0 -0
- data/test/stamina/small_nfa.dot +0 -18
- data/test/stamina/small_nfa.gif +0 -0
- data/test/stamina/stamina_test.rb +0 -80
- data/test/stamina/utils/decorate_test.rb +0 -65
- data/test/test_all.rb +0 -7
data/CHANGELOG.md
CHANGED
@@ -1,4 +1,22 @@
|
|
1
|
-
# 0.
|
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
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
|
-
|
11
|
-
|
12
|
-
|
13
|
-
|
14
|
-
|
15
|
-
|
16
|
-
require 'stamina
|
17
|
-
require 'stamina
|
18
|
-
require 'stamina
|
19
|
-
|
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
|
-
|
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
|
-
|
19
|
-
|
20
|
-
|
21
|
-
|
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
|
-
|
29
|
-
|
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
|
-
|
101
|
-
|
102
|
-
|
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
|
-
|
108
|
-
|
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
|
-
|
117
|
-
|
118
|
-
|
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
|
-
|
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
|
-
|
149
|
-
|
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
|
-
|
158
|
-
- README.md
|
159
|
-
- CHANGELOG.md
|
54
|
+
extra_rdoc_files: []
|
55
|
+
files:
|
160
56
|
- LICENCE.md
|
161
|
-
|
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
|
-
|
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
|
-
|
292
|
-
|
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
|
-
|
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.
|
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
|
-
|
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:
|