stamina-core 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/lib/stamina-core/stamina/automaton/metrics.rb

@@ -61,7 +61,7 @@ module Stamina
             (d0 <= d1 ? d0 : d1)
           end
         end
-        algo.set_propagate {|d,e| d+1 }
+        algo.set_propagate{|d,e| d+1 }
         algo.execute(self, nil, 0)
         deepest = states.max do |s0,s1|
           # Here, we do not take unreachable states into account

data/lib/stamina-core/stamina/utils/decorate.rb

@@ -53,13 +53,15 @@ module Stamina
 
       # Executes the propagation algorithm on a given automaton.
       def execute(fa, bottom, d0)
+        to_explore = []
+
         # install initial decoration
         fa.states.each do |s|
           s[@decoration_key] = (s.initial? ? d0 : bottom)
+          to_explore << s if s.initial?
         end
 
         # fix-point loop starting with initial states
-        to_explore = fa.initial_states
         until to_explore.empty?
           source = to_explore.pop
           source.out_edges.each do |edge|

data/lib/stamina-core/stamina/version.rb

@@ -3,7 +3,7 @@ module Stamina
 
     MAJOR = 0
     MINOR = 5
-    TINY  = 1
+    TINY  = 2
 
     def self.to_s
       [ MAJOR, MINOR, TINY ].join('.')
@@ -11,4 +11,4 @@ module Stamina
 
   end
   VERSION = Version.to_s
-end
+end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: stamina-core
 version: !ruby/object:Gem::Version
-  version: 0.5.1
+  version: 0.5.2
   prerelease: 
 platform: ruby
 authors:
@@ -9,11 +9,11 @@ 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: quickl
-  requirement: &70326370553740 !ruby/object:Gem::Requirement
+  requirement: &75683680 !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ~>
@@ -21,7 +21,7 @@ dependencies:
         version: 0.4.3
   type: :runtime
   prerelease: false
-  version_requirements: *70326370553740
+  version_requirements: *75683680
 description: ! "Stamina is an automaton and regular inference toolkit initially developped
   for the \nbaseline of the Stamina Competition (stamina.chefbe.net)."
 email:
@@ -32,36 +32,36 @@ extra_rdoc_files: []
 files:
 - LICENCE.md
 - CHANGELOG.md
-- lib/stamina-core/stamina/adl.rb
-- lib/stamina-core/stamina/automaton/complement.rb
-- lib/stamina-core/stamina/automaton/complete.rb
-- lib/stamina-core/stamina/automaton/compose.rb
-- lib/stamina-core/stamina/automaton/determinize.rb
-- lib/stamina-core/stamina/automaton/equivalence.rb
-- lib/stamina-core/stamina/automaton/hide.rb
-- lib/stamina-core/stamina/automaton/metrics.rb
-- lib/stamina-core/stamina/automaton/minimize/hopcroft.rb
-- lib/stamina-core/stamina/automaton/minimize/pitchies.rb
-- lib/stamina-core/stamina/automaton/minimize.rb
-- lib/stamina-core/stamina/automaton/strip.rb
-- lib/stamina-core/stamina/automaton/walking.rb
-- lib/stamina-core/stamina/automaton.rb
-- lib/stamina-core/stamina/command/adl2dot.rb
-- lib/stamina-core/stamina/command/help.rb
-- lib/stamina-core/stamina/command/robustness.rb
-- lib/stamina-core/stamina/command/run.rb
-- lib/stamina-core/stamina/command.rb
-- lib/stamina-core/stamina/core.rb
 - lib/stamina-core/stamina/dsl/automata.rb
 - lib/stamina-core/stamina/dsl/core.rb
+- lib/stamina-core/stamina/command/help.rb
+- lib/stamina-core/stamina/command/run.rb
+- lib/stamina-core/stamina/command/robustness.rb
+- lib/stamina-core/stamina/command/adl2dot.rb
+- lib/stamina-core/stamina/automaton.rb
+- lib/stamina-core/stamina/adl.rb
+- lib/stamina-core/stamina/utils.rb
 - lib/stamina-core/stamina/dsl.rb
 - lib/stamina-core/stamina/engine/context.rb
-- lib/stamina-core/stamina/engine.rb
+- lib/stamina-core/stamina/automaton/determinize.rb
+- lib/stamina-core/stamina/automaton/minimize.rb
+- lib/stamina-core/stamina/automaton/walking.rb
+- lib/stamina-core/stamina/automaton/strip.rb
+- lib/stamina-core/stamina/automaton/compose.rb
+- lib/stamina-core/stamina/automaton/minimize/hopcroft.rb
+- lib/stamina-core/stamina/automaton/minimize/pitchies.rb
+- lib/stamina-core/stamina/automaton/complement.rb
+- lib/stamina-core/stamina/automaton/hide.rb
+- lib/stamina-core/stamina/automaton/equivalence.rb
+- lib/stamina-core/stamina/automaton/metrics.rb
+- lib/stamina-core/stamina/automaton/complete.rb
+- lib/stamina-core/stamina/utils/decorate.rb
 - lib/stamina-core/stamina/errors.rb
-- lib/stamina-core/stamina/ext/math.rb
 - lib/stamina-core/stamina/markable.rb
-- lib/stamina-core/stamina/utils/decorate.rb
-- lib/stamina-core/stamina/utils.rb
+- lib/stamina-core/stamina/ext/math.rb
+- lib/stamina-core/stamina/core.rb
+- lib/stamina-core/stamina/engine.rb
+- lib/stamina-core/stamina/command.rb
 - lib/stamina-core/stamina/version.rb
 - lib/stamina-core/stamina-core.rb
 homepage: https://github.com/blambeau/stamina
@@ -84,7 +84,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: Automaton and Regular Inference Toolkit