stamina-gui 0.5.1 → 0.5.2

data/CHANGELOG.md

@@ -1,8 +1,16 @@
+# 0.5.2 / 2012-02-25
+
+* Bug fixes
+
+  * Fixed the decoration algorithm on non deterministic automata. Initial states
+    considered are only those explicitly marked as initial (:initial => true) and not
+    all states reached through epsilon symbols.
+
 # 0.5.1 / 2012-02-24
 
-* Bugfixes
+* Bug fixes
 
-  * Fixes external requires in the different gems (no such file to load sinatra)
+  * Fixed external requires in the different gems (no such file to load sinatra)
 
 # 0.5.0 / 2012-02-24
 

data/examples/4-software-engineering/2-agent-behaviors.rb

@@ -0,0 +1,25 @@
+controller = automaton <<-SYSTEM
+  5 9
+  0 true true
+  1 false true
+  2 false true
+  3 false true
+  4 false true
+  #
+  0 1 open
+  1 0 close
+  #
+  0 4 start
+  4 0 stop
+  #
+  0 2 a.pressed
+  2 1 e.open
+  #
+  1 1 a.pressed
+  #
+  4 3 a.pressed
+  3 2 e.stop
+SYSTEM
+user     = project(controller, %w{a.pressed open e.open close e.close})
+composed = compose(controller, user)
+implied  = regular(composed) - regular(controller)

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: stamina-gui
 version: !ruby/object:Gem::Version
-  version: 0.5.1
+  version: 0.5.2
   prerelease: 
 platform: ruby
 authors:
@@ -9,33 +9,33 @@ authors:
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2012-02-24 00:00:00.000000000 Z
+date: 2012-02-25 00:00:00.000000000Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: stamina-core
-  requirement: &70261459208740 !ruby/object:Gem::Requirement
+  requirement: &76913300 !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - =
       - !ruby/object:Gem::Version
-        version: 0.5.1
+        version: 0.5.2
   type: :runtime
   prerelease: false
-  version_requirements: *70261459208740
+  version_requirements: *76913300
 - !ruby/object:Gem::Dependency
   name: stamina-induction
-  requirement: &70261459208240 !ruby/object:Gem::Requirement
+  requirement: &76934360 !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - =
       - !ruby/object:Gem::Version
-        version: 0.5.1
+        version: 0.5.2
   type: :runtime
   prerelease: false
-  version_requirements: *70261459208240
+  version_requirements: *76934360
 - !ruby/object:Gem::Dependency
   name: sinatra
-  requirement: &70261459207780 !ruby/object:Gem::Requirement
+  requirement: &76934130 !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ~>
@@ -43,10 +43,10 @@ dependencies:
         version: '1.3'
   type: :runtime
   prerelease: false
-  version_requirements: *70261459207780
+  version_requirements: *76934130
 - !ruby/object:Gem::Dependency
   name: json
-  requirement: &70261459207320 !ruby/object:Gem::Requirement
+  requirement: &76933900 !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ~>
@@ -54,7 +54,7 @@ dependencies:
         version: '1.6'
   type: :runtime
   prerelease: false
-  version_requirements: *70261459207320
+  version_requirements: *76933900
 description: Stamina-gui provides a web-based graphical interface for Stamina.
 email:
 - blambeau@gmail.com
@@ -64,50 +64,52 @@ extra_rdoc_files: []
 files:
 - LICENCE.md
 - CHANGELOG.md
+- lib/stamina-gui/stamina-gui.rb
 - lib/stamina-gui/stamina/command/gui.rb
-- lib/stamina-gui/stamina/gui/app.rb
-- lib/stamina-gui/stamina/gui/examples.rb
-- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_diagonals-thick_18_b81900_40x40.png
+- lib/stamina-gui/stamina/gui/templates/index.erb
+- lib/stamina-gui/stamina/gui/templates/image.erb
+- lib/stamina-gui/stamina/gui/public/feedback.html
+- lib/stamina-gui/stamina/gui/public/js/jquery-1.6.2.min.js
+- lib/stamina-gui/stamina/gui/public/js/ace-textmate.js
+- lib/stamina-gui/stamina/gui/public/js/ace.js
+- lib/stamina-gui/stamina/gui/public/js/ace-ruby.js
+- lib/stamina-gui/stamina/gui/public/js/less-1.1.3.min.js
+- lib/stamina-gui/stamina/gui/public/js/mustache.js
+- lib/stamina-gui/stamina/gui/public/js/stamina.js
+- lib/stamina-gui/stamina/gui/public/js/ace-twilight.js
+- lib/stamina-gui/stamina/gui/public/js/ace-eclipse.js
+- lib/stamina-gui/stamina/gui/public/js/jquery-ui-1.8.16.min.js
+- lib/stamina-gui/stamina/gui/public/css/stamina.less
+- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_gloss-wave_35_f6a828_500x100.png
 - lib/stamina-gui/stamina/gui/public/css/images/ui-bg_diagonals-thick_20_666666_40x40.png
-- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_flat_10_000000_40x100.png
-- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_glass_100_f6f6f6_1x400.png
+- lib/stamina-gui/stamina/gui/public/css/images/ui-icons_ffd27a_256x240.png
+- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_highlight-soft_75_ffe45c_1x100.png
 - lib/stamina-gui/stamina/gui/public/css/images/ui-bg_glass_100_fdf5ce_1x400.png
-- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_glass_65_ffffff_1x400.png
-- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_gloss-wave_35_f6a828_500x100.png
 - lib/stamina-gui/stamina/gui/public/css/images/ui-bg_highlight-soft_100_eeeeee_1x100.png
-- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_highlight-soft_75_ffe45c_1x100.png
+- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_flat_10_000000_40x100.png
 - lib/stamina-gui/stamina/gui/public/css/images/ui-icons_222222_256x240.png
+- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_diagonals-thick_18_b81900_40x40.png
 - lib/stamina-gui/stamina/gui/public/css/images/ui-icons_228ef1_256x240.png
+- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_glass_100_f6f6f6_1x400.png
 - lib/stamina-gui/stamina/gui/public/css/images/ui-icons_ef8c08_256x240.png
-- lib/stamina-gui/stamina/gui/public/css/images/ui-icons_ffd27a_256x240.png
+- lib/stamina-gui/stamina/gui/public/css/images/ui-bg_glass_65_ffffff_1x400.png
 - lib/stamina-gui/stamina/gui/public/css/images/ui-icons_ffffff_256x240.png
 - lib/stamina-gui/stamina/gui/public/css/jquery-ui-1.8.16.css
-- lib/stamina-gui/stamina/gui/public/css/stamina.less
-- lib/stamina-gui/stamina/gui/public/feedback.html
-- lib/stamina-gui/stamina/gui/public/js/ace-eclipse.js
-- lib/stamina-gui/stamina/gui/public/js/ace-ruby.js
-- lib/stamina-gui/stamina/gui/public/js/ace-textmate.js
-- lib/stamina-gui/stamina/gui/public/js/ace-twilight.js
-- lib/stamina-gui/stamina/gui/public/js/ace.js
-- lib/stamina-gui/stamina/gui/public/js/jquery-1.6.2.min.js
-- lib/stamina-gui/stamina/gui/public/js/jquery-ui-1.8.16.min.js
-- lib/stamina-gui/stamina/gui/public/js/less-1.1.3.min.js
-- lib/stamina-gui/stamina/gui/public/js/mustache.js
-- lib/stamina-gui/stamina/gui/public/js/stamina.js
-- lib/stamina-gui/stamina/gui/templates/image.erb
-- lib/stamina-gui/stamina/gui/templates/index.erb
+- lib/stamina-gui/stamina/gui/examples.rb
+- lib/stamina-gui/stamina/gui/app.rb
 - lib/stamina-gui/stamina/gui.rb
-- lib/stamina-gui/stamina-gui.rb
-- examples/0-reference/1-automaton-adl.rb
-- examples/0-reference/2-sample-adl.rb
-- examples/1-automata/1-introduction.rb
+- examples/3-grammar-induction/3-characteristic-sample.rb
+- examples/3-grammar-induction/2-kernel.rb
+- examples/3-grammar-induction/1-introduction.rb
+- examples/4-software-engineering/1-introduction.rb
+- examples/4-software-engineering/2-agent-behaviors.rb
 - examples/1-automata/2-metrics.rb
+- examples/1-automata/1-introduction.rb
+- examples/2-regular-languages/3-difference.rb
 - examples/2-regular-languages/1-introduction.rb
 - examples/2-regular-languages/2-complement.rb
-- examples/2-regular-languages/3-difference.rb
-- examples/3-grammar-induction/1-introduction.rb
-- examples/3-grammar-induction/2-kernel.rb
-- examples/3-grammar-induction/3-characteristic-sample.rb
+- examples/0-reference/2-sample-adl.rb
+- examples/0-reference/1-automaton-adl.rb
 homepage: https://github.com/blambeau/stamina
 licenses: []
 post_install_message: 
@@ -128,7 +130,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
       version: '0'
 requirements: []
 rubyforge_project: 
-rubygems_version: 1.8.10
+rubygems_version: 1.8.15
 signing_key: 
 specification_version: 3
 summary: A sinatra-driven user interface for the Stamina toolkit