stamina-gui 0.5.3 → 0.5.4
Sign up to get free protection for your applications and to get access to all the features.
data/CHANGELOG.md
CHANGED
@@ -1,3 +1,11 @@
|
|
1
|
+
# O.5.4 / 2012-03-06
|
2
|
+
|
3
|
+
* InputString and Sample have been moved from stamina-induction to stamina-core as ADL
|
4
|
+
and Walking rely on them.
|
5
|
+
* Walking methods `parses?`, `accepts?` and `rejects?` are now aliased as `parse?`,
|
6
|
+
`accept?` and `reject?`, respectively.
|
7
|
+
* Automaton#to_dot now accepts a boolean argument to bypass sorting its states.
|
8
|
+
|
1
9
|
# 0.5.3 / 2012-02-25
|
2
10
|
|
3
11
|
* Resolve accuracy between github tags and rubygems
|
metadata
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: stamina-gui
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 0.5.
|
4
|
+
version: 0.5.4
|
5
5
|
prerelease:
|
6
6
|
platform: ruby
|
7
7
|
authors:
|
@@ -9,33 +9,33 @@ authors:
|
|
9
9
|
autorequire:
|
10
10
|
bindir: bin
|
11
11
|
cert_chain: []
|
12
|
-
date: 2012-
|
12
|
+
date: 2012-03-06 00:00:00.000000000Z
|
13
13
|
dependencies:
|
14
14
|
- !ruby/object:Gem::Dependency
|
15
15
|
name: stamina-core
|
16
|
-
requirement: &
|
16
|
+
requirement: &70248629745400 !ruby/object:Gem::Requirement
|
17
17
|
none: false
|
18
18
|
requirements:
|
19
19
|
- - =
|
20
20
|
- !ruby/object:Gem::Version
|
21
|
-
version: 0.5.
|
21
|
+
version: 0.5.4
|
22
22
|
type: :runtime
|
23
23
|
prerelease: false
|
24
|
-
version_requirements: *
|
24
|
+
version_requirements: *70248629745400
|
25
25
|
- !ruby/object:Gem::Dependency
|
26
26
|
name: stamina-induction
|
27
|
-
requirement: &
|
27
|
+
requirement: &70248629744900 !ruby/object:Gem::Requirement
|
28
28
|
none: false
|
29
29
|
requirements:
|
30
30
|
- - =
|
31
31
|
- !ruby/object:Gem::Version
|
32
|
-
version: 0.5.
|
32
|
+
version: 0.5.4
|
33
33
|
type: :runtime
|
34
34
|
prerelease: false
|
35
|
-
version_requirements: *
|
35
|
+
version_requirements: *70248629744900
|
36
36
|
- !ruby/object:Gem::Dependency
|
37
37
|
name: sinatra
|
38
|
-
requirement: &
|
38
|
+
requirement: &70248629760820 !ruby/object:Gem::Requirement
|
39
39
|
none: false
|
40
40
|
requirements:
|
41
41
|
- - ~>
|
@@ -43,10 +43,10 @@ dependencies:
|
|
43
43
|
version: '1.3'
|
44
44
|
type: :runtime
|
45
45
|
prerelease: false
|
46
|
-
version_requirements: *
|
46
|
+
version_requirements: *70248629760820
|
47
47
|
- !ruby/object:Gem::Dependency
|
48
48
|
name: json
|
49
|
-
requirement: &
|
49
|
+
requirement: &70248629760360 !ruby/object:Gem::Requirement
|
50
50
|
none: false
|
51
51
|
requirements:
|
52
52
|
- - ~>
|
@@ -54,7 +54,7 @@ dependencies:
|
|
54
54
|
version: '1.6'
|
55
55
|
type: :runtime
|
56
56
|
prerelease: false
|
57
|
-
version_requirements: *
|
57
|
+
version_requirements: *70248629760360
|
58
58
|
description: Stamina-gui provides a web-based graphical interface for Stamina.
|
59
59
|
email:
|
60
60
|
- blambeau@gmail.com
|
@@ -64,52 +64,50 @@ extra_rdoc_files: []
|
|
64
64
|
files:
|
65
65
|
- LICENCE.md
|
66
66
|
- CHANGELOG.md
|
67
|
-
- lib/stamina-gui/stamina-gui.rb
|
68
67
|
- lib/stamina-gui/stamina/command/gui.rb
|
69
|
-
- lib/stamina-gui/stamina/gui/
|
70
|
-
- lib/stamina-gui/stamina/gui/
|
71
|
-
- lib/stamina-gui/stamina/gui/public/
|
72
|
-
- lib/stamina-gui/stamina/gui/public/js/jquery-1.6.2.min.js
|
73
|
-
- lib/stamina-gui/stamina/gui/public/js/ace-textmate.js
|
74
|
-
- lib/stamina-gui/stamina/gui/public/js/ace.js
|
75
|
-
- lib/stamina-gui/stamina/gui/public/js/ace-ruby.js
|
76
|
-
- lib/stamina-gui/stamina/gui/public/js/less-1.1.3.min.js
|
77
|
-
- lib/stamina-gui/stamina/gui/public/js/mustache.js
|
78
|
-
- lib/stamina-gui/stamina/gui/public/js/stamina.js
|
79
|
-
- lib/stamina-gui/stamina/gui/public/js/ace-twilight.js
|
80
|
-
- lib/stamina-gui/stamina/gui/public/js/ace-eclipse.js
|
81
|
-
- lib/stamina-gui/stamina/gui/public/js/jquery-ui-1.8.16.min.js
|
82
|
-
- lib/stamina-gui/stamina/gui/public/css/stamina.less
|
83
|
-
- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_gloss-wave_35_f6a828_500x100.png
|
68
|
+
- lib/stamina-gui/stamina/gui/app.rb
|
69
|
+
- lib/stamina-gui/stamina/gui/examples.rb
|
70
|
+
- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_diagonals-thick_18_b81900_40x40.png
|
84
71
|
- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_diagonals-thick_20_666666_40x40.png
|
85
|
-
- lib/stamina-gui/stamina/gui/public/css/images/ui-
|
86
|
-
- lib/stamina-gui/stamina/gui/public/css/images/ui-
|
72
|
+
- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_flat_10_000000_40x100.png
|
73
|
+
- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_glass_100_f6f6f6_1x400.png
|
87
74
|
- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_glass_100_fdf5ce_1x400.png
|
75
|
+
- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_glass_65_ffffff_1x400.png
|
76
|
+
- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_gloss-wave_35_f6a828_500x100.png
|
88
77
|
- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_highlight-soft_100_eeeeee_1x100.png
|
89
|
-
- lib/stamina-gui/stamina/gui/public/css/images/ui-
|
78
|
+
- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_highlight-soft_75_ffe45c_1x100.png
|
90
79
|
- lib/stamina-gui/stamina/gui/public/css/images/ui-icons_222222_256x240.png
|
91
|
-
- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_diagonals-thick_18_b81900_40x40.png
|
92
80
|
- lib/stamina-gui/stamina/gui/public/css/images/ui-icons_228ef1_256x240.png
|
93
|
-
- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_glass_100_f6f6f6_1x400.png
|
94
81
|
- lib/stamina-gui/stamina/gui/public/css/images/ui-icons_ef8c08_256x240.png
|
95
|
-
- lib/stamina-gui/stamina/gui/public/css/images/ui-
|
82
|
+
- lib/stamina-gui/stamina/gui/public/css/images/ui-icons_ffd27a_256x240.png
|
96
83
|
- lib/stamina-gui/stamina/gui/public/css/images/ui-icons_ffffff_256x240.png
|
97
84
|
- lib/stamina-gui/stamina/gui/public/css/jquery-ui-1.8.16.css
|
98
|
-
- lib/stamina-gui/stamina/gui/
|
99
|
-
- lib/stamina-gui/stamina/gui/
|
85
|
+
- lib/stamina-gui/stamina/gui/public/css/stamina.less
|
86
|
+
- lib/stamina-gui/stamina/gui/public/feedback.html
|
87
|
+
- lib/stamina-gui/stamina/gui/public/js/ace-eclipse.js
|
88
|
+
- lib/stamina-gui/stamina/gui/public/js/ace-ruby.js
|
89
|
+
- lib/stamina-gui/stamina/gui/public/js/ace-textmate.js
|
90
|
+
- lib/stamina-gui/stamina/gui/public/js/ace-twilight.js
|
91
|
+
- lib/stamina-gui/stamina/gui/public/js/ace.js
|
92
|
+
- lib/stamina-gui/stamina/gui/public/js/jquery-1.6.2.min.js
|
93
|
+
- lib/stamina-gui/stamina/gui/public/js/jquery-ui-1.8.16.min.js
|
94
|
+
- lib/stamina-gui/stamina/gui/public/js/less-1.1.3.min.js
|
95
|
+
- lib/stamina-gui/stamina/gui/public/js/mustache.js
|
96
|
+
- lib/stamina-gui/stamina/gui/public/js/stamina.js
|
97
|
+
- lib/stamina-gui/stamina/gui/templates/image.erb
|
98
|
+
- lib/stamina-gui/stamina/gui/templates/index.erb
|
100
99
|
- lib/stamina-gui/stamina/gui.rb
|
101
|
-
-
|
102
|
-
- examples/
|
103
|
-
- examples/
|
104
|
-
- examples/4-software-engineering/1-introduction.rb
|
105
|
-
- examples/4-software-engineering/2-agent-behaviors.rb
|
106
|
-
- examples/1-automata/2-metrics.rb
|
100
|
+
- lib/stamina-gui/stamina-gui.rb
|
101
|
+
- examples/0-reference/1-automaton-adl.rb
|
102
|
+
- examples/0-reference/2-sample-adl.rb
|
107
103
|
- examples/1-automata/1-introduction.rb
|
108
|
-
- examples/
|
104
|
+
- examples/1-automata/2-metrics.rb
|
109
105
|
- examples/2-regular-languages/1-introduction.rb
|
110
106
|
- examples/2-regular-languages/2-complement.rb
|
111
|
-
- examples/
|
112
|
-
- examples/
|
107
|
+
- examples/2-regular-languages/3-difference.rb
|
108
|
+
- examples/3-grammar-induction/1-introduction.rb
|
109
|
+
- examples/3-grammar-induction/2-kernel.rb
|
110
|
+
- examples/3-grammar-induction/3-characteristic-sample.rb
|
113
111
|
homepage: https://github.com/blambeau/stamina
|
114
112
|
licenses: []
|
115
113
|
post_install_message:
|
@@ -130,7 +128,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
|
|
130
128
|
version: '0'
|
131
129
|
requirements: []
|
132
130
|
rubyforge_project:
|
133
|
-
rubygems_version: 1.8.
|
131
|
+
rubygems_version: 1.8.10
|
134
132
|
signing_key:
|
135
133
|
specification_version: 3
|
136
134
|
summary: A sinatra-driven user interface for the Stamina toolkit
|
File without changes
|
@@ -1,25 +0,0 @@
|
|
1
|
-
controller = automaton <<-SYSTEM
|
2
|
-
5 9
|
3
|
-
0 true true
|
4
|
-
1 false true
|
5
|
-
2 false true
|
6
|
-
3 false true
|
7
|
-
4 false true
|
8
|
-
#
|
9
|
-
0 1 open
|
10
|
-
1 0 close
|
11
|
-
#
|
12
|
-
0 4 start
|
13
|
-
4 0 stop
|
14
|
-
#
|
15
|
-
0 2 a.pressed
|
16
|
-
2 1 e.open
|
17
|
-
#
|
18
|
-
1 1 a.pressed
|
19
|
-
#
|
20
|
-
4 3 a.pressed
|
21
|
-
3 2 e.stop
|
22
|
-
SYSTEM
|
23
|
-
user = project(controller, %w{a.pressed open e.open close e.close})
|
24
|
-
composed = compose(controller, user)
|
25
|
-
implied = regular(composed) - regular(controller)
|