stamina 0.4.0 → 0.5.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- 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:
|