stamina-gui 0.5.1 → 0.5.2

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.
Files changed (4) hide show
  1. data/CHANGELOG.md +10 -2
  2. data/examples/4-software-engineering/1-introduction.rb +0 -0
  3. data/examples/4-software-engineering/2-agent-behaviors.rb +25 -0
  4. metadata +46 -44
data/CHANGELOG.md CHANGED
@@ -1,8 +1,16 @@
1
+ # 0.5.2 / 2012-02-25
2
+
3
+ * Bug fixes
4
+
5
+ * Fixed the decoration algorithm on non deterministic automata. Initial states
6
+ considered are only those explicitly marked as initial (:initial => true) and not
7
+ all states reached through epsilon symbols.
8
+
1
9
  # 0.5.1 / 2012-02-24
2
10
 
3
- * Bugfixes
11
+ * Bug fixes
4
12
 
5
- * Fixes external requires in the different gems (no such file to load sinatra)
13
+ * Fixed external requires in the different gems (no such file to load sinatra)
6
14
 
7
15
  # 0.5.0 / 2012-02-24
8
16
 
data/examples/4-software-engineering/1-introduction.rb ADDED
File without changes
data/examples/4-software-engineering/2-agent-behaviors.rb ADDED
@@ -0,0 +1,25 @@
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)
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.1
4
+ version: 0.5.2
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-02-24 00:00:00.000000000 Z
12
+ date: 2012-02-25 00:00:00.000000000Z
13
13
  dependencies:
14
14
  - !ruby/object:Gem::Dependency
15
15
  name: stamina-core
16
- requirement: &70261459208740 !ruby/object:Gem::Requirement
16
+ requirement: &76913300 !ruby/object:Gem::Requirement
17
17
  none: false
18
18
  requirements:
19
19
  - - =
20
20
  - !ruby/object:Gem::Version
21
- version: 0.5.1
21
+ version: 0.5.2
22
22
  type: :runtime
23
23
  prerelease: false
24
- version_requirements: *70261459208740
24
+ version_requirements: *76913300
25
25
  - !ruby/object:Gem::Dependency
26
26
  name: stamina-induction
27
- requirement: &70261459208240 !ruby/object:Gem::Requirement
27
+ requirement: &76934360 !ruby/object:Gem::Requirement
28
28
  none: false
29
29
  requirements:
30
30
  - - =
31
31
  - !ruby/object:Gem::Version
32
- version: 0.5.1
32
+ version: 0.5.2
33
33
  type: :runtime
34
34
  prerelease: false
35
- version_requirements: *70261459208240
35
+ version_requirements: *76934360
36
36
  - !ruby/object:Gem::Dependency
37
37
  name: sinatra
38
- requirement: &70261459207780 !ruby/object:Gem::Requirement
38
+ requirement: &76934130 !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: *70261459207780
46
+ version_requirements: *76934130
47
47
  - !ruby/object:Gem::Dependency
48
48
  name: json
49
- requirement: &70261459207320 !ruby/object:Gem::Requirement
49
+ requirement: &76933900 !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: *70261459207320
57
+ version_requirements: *76933900
58
58
  description: Stamina-gui provides a web-based graphical interface for Stamina.
59
59
  email:
60
60
  - blambeau@gmail.com
@@ -64,50 +64,52 @@ extra_rdoc_files: []
64
64
  files:
65
65
  - LICENCE.md
66
66
  - CHANGELOG.md
67
+ - lib/stamina-gui/stamina-gui.rb
67
68
  - lib/stamina-gui/stamina/command/gui.rb
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
69
+ - lib/stamina-gui/stamina/gui/templates/index.erb
70
+ - lib/stamina-gui/stamina/gui/templates/image.erb
71
+ - lib/stamina-gui/stamina/gui/public/feedback.html
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
71
84
  - lib/stamina-gui/stamina/gui/public/css/images/ui-bg_diagonals-thick_20_666666_40x40.png
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
85
+ - lib/stamina-gui/stamina/gui/public/css/images/ui-icons_ffd27a_256x240.png
86
+ - lib/stamina-gui/stamina/gui/public/css/images/ui-bg_highlight-soft_75_ffe45c_1x100.png
74
87
  - 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
77
88
  - lib/stamina-gui/stamina/gui/public/css/images/ui-bg_highlight-soft_100_eeeeee_1x100.png
78
- - lib/stamina-gui/stamina/gui/public/css/images/ui-bg_highlight-soft_75_ffe45c_1x100.png
89
+ - lib/stamina-gui/stamina/gui/public/css/images/ui-bg_flat_10_000000_40x100.png
79
90
  - 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
80
92
  - 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
81
94
  - lib/stamina-gui/stamina/gui/public/css/images/ui-icons_ef8c08_256x240.png
82
- - lib/stamina-gui/stamina/gui/public/css/images/ui-icons_ffd27a_256x240.png
95
+ - lib/stamina-gui/stamina/gui/public/css/images/ui-bg_glass_65_ffffff_1x400.png
83
96
  - lib/stamina-gui/stamina/gui/public/css/images/ui-icons_ffffff_256x240.png
84
97
  - lib/stamina-gui/stamina/gui/public/css/jquery-ui-1.8.16.css
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
98
+ - lib/stamina-gui/stamina/gui/examples.rb
99
+ - lib/stamina-gui/stamina/gui/app.rb
99
100
  - lib/stamina-gui/stamina/gui.rb
100
- - lib/stamina-gui/stamina-gui.rb
101
- - examples/0-reference/1-automaton-adl.rb
102
- - examples/0-reference/2-sample-adl.rb
103
- - examples/1-automata/1-introduction.rb
101
+ - examples/3-grammar-induction/3-characteristic-sample.rb
102
+ - examples/3-grammar-induction/2-kernel.rb
103
+ - examples/3-grammar-induction/1-introduction.rb
104
+ - examples/4-software-engineering/1-introduction.rb
105
+ - examples/4-software-engineering/2-agent-behaviors.rb
104
106
  - examples/1-automata/2-metrics.rb
107
+ - examples/1-automata/1-introduction.rb
108
+ - examples/2-regular-languages/3-difference.rb
105
109
  - examples/2-regular-languages/1-introduction.rb
106
110
  - examples/2-regular-languages/2-complement.rb
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
111
+ - examples/0-reference/2-sample-adl.rb
112
+ - examples/0-reference/1-automaton-adl.rb
111
113
  homepage: https://github.com/blambeau/stamina
112
114
  licenses: []
113
115
  post_install_message:
@@ -128,7 +130,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
128
130
  version: '0'
129
131
  requirements: []
130
132
  rubyforge_project:
131
- rubygems_version: 1.8.10
133
+ rubygems_version: 1.8.15
132
134
  signing_key:
133
135
  specification_version: 3
134
136
  summary: A sinatra-driven user interface for the Stamina toolkit