bud 0.9.4 → 0.9.9

data/lib/bud/server.rb

@@ -11,11 +11,8 @@ class Bud::BudServer < EM::Connection #:nodoc: all
 
   def receive_data(data)
     # Feed the received data to the deserializer
-    @pac.feed data
-
-    # streaming deserialize
-    @pac.each do |obj|
-      message_received(obj)
+    @pac.feed_each(data) do |obj|
+      recv_message(obj)
     end
 
     # apply the channel filter to each channel's pending tuples
@@ -54,12 +51,23 @@ class Bud::BudServer < EM::Connection #:nodoc: all
     @bud.rtracer.sleep if @bud.options[:rtrace]
   end
 
-  def message_received(obj)
-    unless (obj.class <= Array and obj.length == 2 and
-            @bud.tables.include?(obj[0].to_sym) and obj[1].class <= Array)
+  def recv_message(obj)
+    unless (obj.class <= Array and obj.length == 3 and
+            @bud.tables.include?(obj[0].to_sym) and
+            obj[1].class <= Array and obj[2].class <= Array)
       raise Bud::Error, "bad inbound message of class #{obj.class}: #{obj.inspect}"
     end
 
+    # Deserialize any nested marshalled values
+    tbl_name, tuple, marshall_indexes = obj
+    marshall_indexes.each do |i|
+      if i < 0 || i >= tuple.length
+        raise Bud::Error, "bad inbound message: marshalled value at index #{i}, #{obj.inspect}"
+      end
+      tuple[i] = Marshal.load(tuple[i])
+    end
+
+    obj = [tbl_name, tuple]
     @bud.rtracer.recv(obj) if @bud.options[:rtrace]
     @filter_buf[obj[0].to_sym] ||= []
     @filter_buf[obj[0].to_sym] << obj[1]

data/lib/bud/source.rb

@@ -1,6 +1,4 @@
 require 'rubygems'
-require 'ruby_parser'
-require 'bud/errors'
 
 module Source
   $cached_file_info = Struct.new(:curr_file, :lines, :last_state_bloom_line).new
@@ -8,31 +6,36 @@ module Source
   # Reads the block corresponding to the location (string of the form
   # "file:line_num").  Returns an ast for the block.
   def Source.read_block(location)
-    raise Bud::IllegalSourceError, "source must be present in a file; cannot read interactive shell or eval block" if location.start_with? '('
+    if location.start_with? '('
+      raise Bud::IllegalSourceError, "source must be present in a file; cannot read interactive shell or eval block"
+    end
     location =~ /^(.*):(\d+)/
     filename, num = $1, $2.to_i
-    raise Bud::IllegalSourceError, "couldn't determine filename from backtrace" if filename.nil?
+    if filename.nil?
+      raise Bud::IllegalSourceError, "couldn't determine filename from backtrace"
+    end
     lines = cache(filename, num)
     # Note: num is 1-based.
 
-    src_asts = [] # array of SrcAsts to be returned
-    ruby_parser = RubyParser.new
-
-    stmt = ""   # collection of lines that form one complete ruby statement
-    endok = true #
+    # for_current_ruby might object if the current Ruby version is not supported
+    # by RubyParser; bravely try to continue on regardless
+    parser = RubyParser.for_current_ruby rescue RubyParser.new
+    stmt = ""       # collection of lines that form one complete Ruby statement
     ast = nil
     lines[num .. -1].each do |l|
       next if l =~ /^\s*#/
-      break if endok and l =~ /^\s*([}]|end)/
-      stmt += l + "\n"
-      begin
-        ast = ruby_parser.parse stmt
-        endok = true
-      rescue => ex
-        #        puts "Syntax Error on #{l}: #{ex}"
-        endok = false
-        ast = nil
+      if l =~ /^\s*([}]|end)/
+        # We found some syntax that looks like it might terminate the Ruby
+        # statement. Hence, try to parse it; if we don't find a syntax error,
+        # we're done.
+        begin
+          ast = parser.parse stmt
+          break
+        rescue
+          ast = nil
+        end
       end
+      stmt += l + "\n"
     end
     ast
   end

data/lib/bud/state.rb

@@ -2,7 +2,7 @@ module Bud
   ######## methods for registering collection types
   private
   def check_collection_name(name)
-    if @tables.has_key? name
+    if @tables.has_key? name or @lattices.has_key? name
       raise Bud::CompileError, "collection already exists: #{name}"
     end
 
@@ -26,6 +26,18 @@ module Bud
     end
   end
 
+  def define_lattice(name)
+    check_collection_name(name)
+
+    self.singleton_class.send(:define_method, name) do |*args, &blk|
+      if blk.nil?
+        return @lattices[name]
+      else
+        return @lattices[name].pro(&blk)
+      end
+    end
+  end
+
   public
   def input # :nodoc: all
     true
@@ -116,9 +128,9 @@ module Bud
   end
 
   # declare a collection to be read from +filename+.  rhs of statements only
-  def file_reader(name, filename, delimiter='\n')
+  def file_reader(name, filename)
     define_collection(name)
-    @tables[name] = Bud::BudFileReader.new(name, filename, delimiter, self)
+    @tables[name] = Bud::BudFileReader.new(name, filename, self)
   end
 
   # declare a collection to be auto-populated every +period+ seconds.  schema <tt>[:key] => [:val]</tt>.
@@ -137,7 +149,84 @@ module Bud
       @terminal = name
     end
     define_collection(name)
-    @tables[name] = Bud::BudTerminal.new(name, [:line], self)
+    @tables[name] = Bud::BudTerminal.new(name, self)
     @channels[name] = @tables[name]
   end
+
+  # an alternative approach to declaring interfaces
+  def interfaces(direction, collections)
+    mode = case direction
+      when :input then true
+      when :output then false
+    else
+      raise Bud::CompileError, "unrecognized interface type #{direction}"
+    end
+    collections.each do |tab|
+      t_provides << [tab.to_s, mode]
+    end 
+  end
+
+  # Define methods to implement the state declarations for every registered kind
+  # of lattice.
+  def load_lattice_defs
+    Bud::Lattice.global_mfuncs.each do |m|
+      next if RuleRewriter::MONOTONE_WHITELIST.include? m
+      if Bud::BudCollection.instance_methods.include? m.to_s
+        puts "monotone method #{m} conflicts with non-monotonic method in BudCollection"
+      end
+    end
+
+    Bud::Lattice.global_morphs.each do |m|
+      next if RuleRewriter::MONOTONE_WHITELIST.include? m
+      if Bud::BudCollection.instance_methods.include? m.to_s
+        puts "morphism #{m} conflicts with non-monotonic method in BudCollection"
+      end
+    end
+
+    # Sanity-check lattice definitions
+    # XXX: We should do this only once per lattice
+    Bud::Lattice.lattice_kinds.each do |wrap_name, klass|
+      unless klass.method_defined? :merge
+        raise Bud::CompileError, "lattice #{wrap_name} does not define a merge function"
+      end
+
+      # If a method is marked as monotone in any lattice, every lattice that
+      # declares a method of that name must also mark it as monotone.
+      meth_list = klass.instance_methods(false).to_set
+      Bud::Lattice.global_mfuncs.each do |m|
+        next unless meth_list.include? m.to_s
+        unless klass.mfuncs.include? m
+          raise Bud::CompileError, "method #{m} in #{wrap_name} must be monotone"
+        end
+      end
+
+      # Apply a similar check for morphs
+      Bud::Lattice.global_morphs.each do |m|
+        next unless meth_list.include? m.to_s
+        unless klass.morphs.include? m
+          raise Bud::CompileError, "method #{m} in #{wrap_name} must be a morph"
+        end
+      end
+
+      # Similarly, check for non-monotone lattice methods that are found in the
+      # builtin list of monotone operators. The "merge" method is implicitly
+      # monotone (XXX: should it be declared as a morph or monotone function?)
+      meth_list.each do |m_str|
+        m = m_str.to_sym
+        next unless RuleRewriter::MONOTONE_WHITELIST.include? m
+        # XXX: ugly hack. We want to allow lattice class implementations to
+        # define their own equality semantics.
+        next if m == :==
+        unless klass.mfuncs.include?(m) || klass.morphs.include?(m) || m == :merge
+          raise Bud::CompileError, "method #{m} in #{wrap_name} must be monotone"
+        end
+      end
+
+      # XXX: replace "self" with toplevel?
+      self.singleton_class.send(:define_method, wrap_name) do |lat_name|
+        define_lattice(lat_name)
+        @lattices[lat_name] = Bud::LatticeWrapper.new(lat_name, klass, self)
+      end
+    end
+  end
 end

data/lib/bud/storage/zookeeper.rb

@@ -8,40 +8,70 @@ module Bud
   # Persistent table implementation based on Zookeeper.
   class BudZkTable < BudPersistentCollection # :nodoc: all
     def initialize(name, zk_path, zk_addr, bud_instance)
-      unless defined? HAVE_ZOOKEEPER
+      unless defined? Bud::HAVE_ZOOKEEPER
         raise Bud::Error, "zookeeper gem is not installed: zookeeper-backed stores cannot be used"
       end
 
-      # schema = {[:key] => [:val]}
-      super(name, bud_instance, nil)
+      super(name, bud_instance, [:key] => [:val, :opts])
 
-      zk_path = zk_path.chomp("/") unless zk_path == "/"
       @zk = Zookeeper.new(zk_addr)
+      zk_path = zk_path.chomp("/") unless zk_path == "/"
       @zk_path = zk_path
       @base_path = @zk_path
       @base_path += "/" unless @zk_path.end_with? "/"
       @store_mutex = Mutex.new
+      @zk_mutex = Mutex.new
       @next_storage = {}
       @saw_delta = false
       @child_watch_id = nil
-      @stat_watch_id = nil
+    end
+
+    def invalidate_at_tick
+      true
+    end
+
+    def invalidate_cache
     end
 
     # Since the watcher callbacks might invoke EventMachine, we wait until after
     # EM startup to start watching for Zk events.
     def start_watchers
-      # NB: Watcher callbacks are invoked in a separate Ruby thread.
-      @child_watcher = Zookeeper::WatcherCallback.new { get_and_watch }
-      @stat_watcher = Zookeeper::WatcherCallback.new { stat_and_watch }
+      # Watcher callbacks are invoked in a separate Ruby thread. Note that there
+      # is a possible deadlock between invoking watcher callbacks and calling
+      # close(): if we get a watcher event and a close at around the same time,
+      # the close might fire first. Closing the Zk handle will block on
+      # dispatching outstanding watchers, but it does so holding the @zk_mutex,
+      # causing a deadlock. Hence, we just have the watcher callback spin on the
+      # @zk_mutex, aborting if the handle is ever closed.
+      @child_watcher = Zookeeper::Callbacks::WatcherCallback.new do
+        while true
+          break if @zk.closed?
+          if @zk_mutex.try_lock
+            get_and_watch unless @zk.closed?
+            @zk_mutex.unlock
+            break
+          end
+        end
+      end
+
+      @stat_watcher = Zookeeper::Callbacks::WatcherCallback.new do
+        while true
+          break if @zk.closed?
+          if @zk_mutex.try_lock
+            stat_and_watch unless @zk.closed?
+            @zk_mutex.unlock
+            break
+          end
+        end
+      end
+
       stat_and_watch
     end
 
     def stat_and_watch
       r = @zk.stat(:path => @zk_path, :watcher => @stat_watcher)
-      @stat_watch_id = r[:req_id]
 
       unless r[:stat].exists
-        cancel_child_watch
         # The given @zk_path doesn't exist, so try to create it. Unclear
         # whether this is always the best behavior.
         r = @zk.create(:path => @zk_path)
@@ -54,27 +84,10 @@ module Bud
       get_and_watch unless @child_watch_id
     end
 
-    def cancel_child_watch
-      if @child_watch_id
-        @zk.unregister_watcher(@child_watch_id)
-        @child_watch_id = nil
-      end
-    end
-
-    def cancel_stat_watch
-      if @stat_watch_id
-        @zk.unregister_watcher(@stat_watch_id)
-        @stat_with_id = nil
-      end
-    end
-
     def get_and_watch
       r = @zk.get_children(:path => @zk_path, :watcher => @child_watcher)
+      return unless r[:stat].exists
       @child_watch_id = r[:req_id]
-      unless r[:stat].exists
-        cancel_child_watch
-        return
-      end
 
       # XXX: can we easily get snapshot isolation?
       new_children = {}
@@ -128,8 +141,8 @@ module Bud
         ephemeral = false
         sequence = false
 
-        if t.length > 2
-          opts = t.last.first
+        opts = t.opts
+        unless opts.nil?
           if opts[:ephemeral] == true
             ephemeral = true
           end
@@ -150,9 +163,8 @@ module Bud
     end
 
     def close
-      cancel_child_watch
-      cancel_stat_watch
-      @zk.close
+      # See notes in start_watchers.
+      @zk_mutex.synchronize { @zk.close }
     end
 
     superator "<~" do |o|

data/lib/bud/version.rb

@@ -0,0 +1,3 @@
+module Bud
+  VERSION = "0.9.9"
+end

data/lib/bud/viz.rb

@@ -1,21 +1,20 @@
 require 'bud/state'
-require 'set'
 
 class VizOnline #:nodoc: all
   attr_reader :logtab
 
-  META_TABLES = %w[t_cycle t_depends t_depends_tc t_provides t_rules
-                   t_stratum t_table_info t_table_schema].to_set
+  META_TABLES = %w[t_cycle t_depends t_provides t_rule_stratum t_rules t_stratum
+                   t_table_info t_table_schema t_underspecified].to_set
 
   def initialize(bud_instance)
     @bud_instance = bud_instance
     @bud_instance.options[:dbm_dir] = "DBM_#{@bud_instance.class}_#{bud_instance.options[:tag]}_#{bud_instance.object_id}_#{bud_instance.port}"
     @table_info = bud_instance.tables[:t_table_info]
     @table_schema = bud_instance.tables[:t_table_schema]
-    @logtab = new_tab("the_big_log", [:table, :time, :contents], bud_instance)
+    @logtab = new_tab(:the_big_log, [:table, :time, :contents], bud_instance)
     tmp_set = []
     @bud_instance.tables.each do |name, tbl|
-      next if name == "the_big_log"
+      next if name == :the_big_log || name == :localtick
       # Temp collections don't have a schema until a fact has been inserted into
       # them; for now, we just include an empty schema for them in the viz
       if tbl.schema.nil?
@@ -57,11 +56,11 @@ class VizOnline #:nodoc: all
         row = row[0]
       end
 
-      # bud.t_depends and t_rules have bud object in field[0]. Remove them since
-      # bud instances cannot/must not be serialized.
+      # t_depends, t_rule_stratum, and t_rules have Bud object as their first
+      # field. Replace with a string, since Bud instances cannot be serialized.
       if row[0].class <= Bud
-        row = row.to_a if row.class != Array
-        row = [row[0].class.to_s] + row[1..-1] if row[0].class <= Bud
+        row = row.to_a
+        row = [row[0].class.to_s] + row[1..-1]
       end
       newrow = [tab, @bud_instance.budtime, row]
       begin
@@ -75,10 +74,9 @@ class VizOnline #:nodoc: all
   def do_cards
     @bud_instance.tables.each do |t|
       tab = t[0]
-      next if tab == "the_big_log"
+      next if tab == :the_big_log
       next if @bud_instance.budtime > 0 and META_TABLES.include? tab.to_s
-      # PAA: why did we previously exclude periodics?
-      add_rows(t[1], tab) #####unless t[1].class == Bud::BudPeriodic
+      add_rows(t[1], tab)
       if t[1].class == Bud::BudChannel
         add_rows(t[1].pending, "#{tab}_snd")
       end

data/lib/bud/viz_util.rb

@@ -180,8 +180,8 @@ module VizUtil #:nodoc: all
     convertor = Syntax::Convertors::HTML.for_syntax "ruby"
     shredded_rules.each do |s|
       # b/c accessors don't make it through serialization anymore
-      bud_obj, rule_id, lhs, op, src, orig_src, nm_funcs_called = s.to_a
-      fout = File.new("#{output_base}/#{rule_id}.html", "w+")
+      bud_obj, rule_id, lhs, op, src, orig_src, unsafe_funcs_called = s.to_a
+      fout = File.new("#{output_base}/#{rule_id}-#{lhs}.html", "w+")
       fout.puts header
       fout.puts "<h1>Rule #{rule_id}</h1><br>"
 
@@ -364,7 +364,12 @@ END_JS
   def write_table_content(fn, row)
     stream = File.open(fn, "a")
     stream.puts "<tr>"
-    stream.puts row.map{|c| "<td>#{c.to_s}</td>"}.join(" ")
+    if row.class < Enumerable
+      stream.puts row.map{|c| "<td>#{c.to_s}</td>"}.join(" ")
+    else
+      # special case for periodics
+      stream.puts "<td>#{row.to_s}</td>"
+    end
     stream.puts "</tr>"
     stream.close
   end

metadata

@@ -1,8 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: bud
 version: !ruby/object:Gem::Version
-  version: 0.9.4
-  prerelease: 
+  version: 0.9.9
 platform: ruby
 authors:
 - Peter Alvaro
@@ -10,187 +9,179 @@ authors:
 - Joseph M. Hellerstein
 - William R. Marczak
 - Sriram Srinivasan
-autorequire: 
+autorequire:
 bindir: bin
 cert_chain: []
-date: 2012-09-06 00:00:00.000000000 Z
+date: 2020-09-01 00:00:00.000000000 Z
 dependencies:
+- !ruby/object:Gem::Dependency
+  name: backports
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - '='
+      - !ruby/object:Gem::Version
+        version: 3.8.0
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - '='
+      - !ruby/object:Gem::Version
+        version: 3.8.0
 - !ruby/object:Gem::Dependency
   name: eventmachine
   requirement: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - ! '>='
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 1.2.5
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - ! '>='
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 1.2.5
 - !ruby/object:Gem::Dependency
   name: fastercsv
   requirement: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - ! '>='
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 1.5.5
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - ! '>='
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 1.5.5
 - !ruby/object:Gem::Dependency
   name: getopt
   requirement: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - ! '>='
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 1.4.3
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - ! '>='
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 1.4.3
 - !ruby/object:Gem::Dependency
   name: msgpack
   requirement: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - ! '>='
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 1.1.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - ! '>='
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 1.1.0
 - !ruby/object:Gem::Dependency
   name: ruby-graphviz
   requirement: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - ! '>='
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 1.2.3
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - ! '>='
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 1.2.3
 - !ruby/object:Gem::Dependency
   name: ruby2ruby
   requirement: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - <
+    - - '='
       - !ruby/object:Gem::Version
-        version: 1.3.1
+        version: 2.4.4
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - <
+    - - '='
       - !ruby/object:Gem::Version
-        version: 1.3.1
+        version: 2.4.4
 - !ruby/object:Gem::Dependency
   name: ruby_parser
   requirement: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - ! '>='
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 3.10.1
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - ! '>='
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 3.10.1
 - !ruby/object:Gem::Dependency
   name: superators19
   requirement: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - ! '>='
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 0.9.3
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - ! '>='
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 0.9.3
 - !ruby/object:Gem::Dependency
   name: syntax
   requirement: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - ! '>='
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 1.2.2
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - ! '>='
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 1.2.2
 - !ruby/object:Gem::Dependency
   name: uuid
   requirement: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - ! '>='
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 2.3.8
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - ! '>='
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 2.3.8
 - !ruby/object:Gem::Dependency
   name: minitest
   requirement: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - ! '>='
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 2.5.1
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - ! '>='
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 2.5.1
 description: A prototype of the Bloom distributed programming language as a Ruby DSL.
 email:
 - bloomdevs@gmail.com
@@ -199,19 +190,54 @@ executables:
 - budplot
 - budvis
 - budtimelines
+- budlabel
 extensions: []
 extra_rdoc_files: []
 files:
+- History.txt
+- LICENSE
+- README.md
+- Rakefile
+- bin/budlabel
+- bin/budplot
+- bin/budtimelines
+- bin/budvis
+- bin/rebl
+- docs/README.md
+- docs/bfs.md
+- docs/bfs_arch.png
+- docs/bloom-loop.png
+- docs/cheat.md
+- docs/getstarted.md
+- docs/intro.md
+- docs/modules.md
+- docs/operational.md
+- docs/rebl.md
+- docs/ruby_hooks.md
+- docs/visualizations.md
+- examples/README.md
+- examples/basics/hello.rb
+- examples/basics/paths.rb
+- examples/chat/README.md
+- examples/chat/chat.rb
+- examples/chat/chat_protocol.rb
+- examples/chat/chat_server.rb
+- lib/bud.rb
 - lib/bud/aggs.rb
 - lib/bud/bud_meta.rb
 - lib/bud/collections.rb
 - lib/bud/depanalysis.rb
 - lib/bud/errors.rb
+- lib/bud/executor/README.rescan
 - lib/bud/executor/elements.rb
 - lib/bud/executor/group.rb
 - lib/bud/executor/join.rb
-- lib/bud/executor/README.rescan
 - lib/bud/graphs.rb
+- lib/bud/labeling/bloomgraph.rb
+- lib/bud/labeling/budplot_style.rb
+- lib/bud/labeling/labeling.rb
+- lib/bud/lattice-core.rb
+- lib/bud/lattice-lib.rb
 - lib/bud/meta_algebra.rb
 - lib/bud/metrics.rb
 - lib/bud/monkeypatch.rb
@@ -223,58 +249,31 @@ files:
 - lib/bud/state.rb
 - lib/bud/storage/dbm.rb
 - lib/bud/storage/zookeeper.rb
+- lib/bud/version.rb
 - lib/bud/viz.rb
 - lib/bud/viz_util.rb
-- lib/bud.rb
-- bin/budplot
-- bin/budtimelines
-- bin/budvis
-- bin/rebl
-- docs/bfs.md
-- docs/bfs_arch.png
-- docs/bloom-loop.png
-- docs/cheat.md
-- docs/getstarted.md
-- docs/intro.md
-- docs/modules.md
-- docs/operational.md
-- docs/README.md
-- docs/rebl.md
-- docs/ruby_hooks.md
-- docs/visualizations.md
-- examples/basics/hello.rb
-- examples/basics/paths.rb
-- examples/chat/chat.rb
-- examples/chat/chat_protocol.rb
-- examples/chat/chat_server.rb
-- examples/chat/README.md
-- examples/README.md
-- README.md
-- LICENSE
-- History.txt
 homepage: http://www.bloom-lang.org
 licenses:
-- BSD
-post_install_message: 
+- BSD-3-Clause
+metadata: {}
+post_install_message:
 rdoc_options: []
 require_paths:
 - lib
 required_ruby_version: !ruby/object:Gem::Requirement
-  none: false
   requirements:
-  - - ! '>='
+  - - ">="
     - !ruby/object:Gem::Version
-      version: 1.8.7
+      version: 1.9.3
 required_rubygems_version: !ruby/object:Gem::Requirement
-  none: false
   requirements:
-  - - ! '>='
+  - - ">="
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
 rubyforge_project: bloom-lang
-rubygems_version: 1.8.24
-signing_key: 
-specification_version: 3
+rubygems_version: 2.6.11
+signing_key:
+specification_version: 4
 summary: A prototype Bloom DSL for distributed programming.
 test_files: []