tla2dot 0.0.5 → 0.0.6

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 50c54151b6154f68628b515e39cfc4a2b9714914
-  data.tar.gz: de102d5ee02409b0c686b1bc7b50d2aa2e4a357d
+  metadata.gz: f80765c73e0fc6c509bb821af1e2424e0a9b8eb6
+  data.tar.gz: e740a7b2d7ebb1dde475f58166d7916ef6498d0d
 SHA512:
-  metadata.gz: ccffaaf96aa5082d680e00e33260f89ba73a8794ab2adb897e3433821ff2554cb25f3aa02b58b4c3e5320dcad68744bf3d042d24073a75e98a2e4aa49bae66d5
-  data.tar.gz: 58794be3c9fce175ca81d0bd18d55a6fe574e211a7537cf255f387255da21c77008e82c57dc07fee25462d30ac6cf57343f3f7cc67f0975a98180fb36f60b54a
+  metadata.gz: 2d5f77428dae12807d0a005c6baac6e4c46d66ec4d48f5509a20d1a2768fa2f7637ca91bf54cf4b03c07ddb9d6ffdb409f5ec8c8ab3830bce781b3ca3ce9f05d
+  data.tar.gz: f4ca627377c9dda54e69f32c3e8a4486b501f0bf417451386394abeddd19762eff19722b94584b2061ef0f5558248114fda4bc8caf6683690e529a0a8e84d6ce

data/README.md

@@ -2,7 +2,7 @@
 [Up](../index.php) [Readme](README.html) [Releases](RELEASES.html) [Todo](TODO.html)
 
 
-# tladot - Utility to convert tlc/tlaplus state space to graphviz - $Release:0.0.5$
+# tladot - Utility to convert tlc/tlaplus state space to graphviz - $Release:0.0.6$
 
 A utility to convert state space dump created by
 [patched](https://github.com/jarjuk/tla2dot/blob/master/tla2dot.patch)
@@ -14,28 +14,36 @@ to [graphviz](http://www.graphviz.org) dot format.
 
 ## Usage
 
+
 ## Obtain the patched TLC version
 
 Clone github model
 
 
-     https://github.com/jarjuk/tla2dot
+     git clone https://github.com/jarjuk/tla2dot
 
 and change the working directory
 
-     cd tla2dot
+	cd tla2dot
+
+### Run Ruby bundler
+
+The tool uses Ruby 2, and to have the required Gems installed run
+
+	bundle install
+
 
 ### Running the patced TLC version to create state dump
 
-Create a TLA model files. The example below uses files `DieHard.tla`, and
-`DieHard.cfg`, in directory `model`
+The example below uses TLA model in files `DieHard.tla`, and
+`DieHard.cfg` under directory `model`.
 
-Set up environment variable CP to poinnt the patched `tla2tools.jar`
-in directory `java`
+Set up an environment variable `CP` to poinnt the patched
+`tla2tools.jar` found in directory `java`
 
 	export CP=$(pwd)/java/org.lamport.tlatools-1.0.1-SNAPSHOT.jar
 
-Run the TLA model, and generate a dump file
+Run TLA model, and generate a dump file
 `../examples/DieHard-patched.dump` using the command
 
      (cd model; java -cp $CP tlc2.TLC -dump ../examples/DieHard-patched.dump DieHard)
@@ -49,7 +57,7 @@ file. For example, to show the difference of
 
 	diff examples/DieHard-orig.dump examples/DieHard-patched.dump
 
-and observe diff starting 
+and observe diff output starting 
 
 ```
 1c1
@@ -81,36 +89,41 @@ and observe diff starting
 To create a dot file for a patched state-dump in
 `examples/customer1-patched.dump`, run
 
-    bin/tla2dot.rb graph examples/DieHard-patched.dump   >tmp/dump.dot
+    bin/tla2dot.rb graph examples/DieHard-patched.dump >tmp/dump.dot
 
-and to convert it to a svg diagran, run
+and to convert it to a svg picture, run
 
     dot -T svg tmp/dump.dot >tmp/dump.svg
 
-Command `graph` accepts optionally a list of variables to include in
-state nodes. For example, to show variables `big,small` in the example,
-use the command
+Command `graph` accepts optionally a list of variables to show in
+state nodes. For example, to show model variables `big,small` in the
+DieHard example, use the command
 
-    bin/tla2dot.rb graph examples/DieHard-patched.dump  big,small  >tmp/dump.dot
+    bin/tla2dot.rb graph examples/DieHard-patched.dump  big,small >tmp/dump.dot
 
-State identity is referenced using a pseudo variable `ID`:
+State identity may be included a pseudo variable `ID`:
 
     bin/tla2dot.rb graph examples/DieHard-patched.dump  ID,big,small  >tmp/dump.dot
 
 and all variables can be included in the graph using value `TRUE` for
-variable list
+the variable list
 
 	bin/tla2dot.rb graph examples/DieHard-patched.dump  TRUE  >tmp/dump.dot
 
  
 ## <a id="INSTALLATION">Installation</a>
 
-Add following lines to `Gemfile`
+Add following the lines to `Gemfile`
 
     source 'https://rubygems.org'
 	gem 'tla2dot'
 
-and to get help on using tla2tools
+and run
+
+	bundle install
+
+To validate that installation was successful, and to get help on using
+`tla2dot.rb` run
 
 	bundle exec tla2dot.rb help
 

data/lib/tla2dot/parser.tab.rb

@@ -7,7 +7,7 @@
 require 'racc/parser.rb'
 class Tla2DotParser < Racc::Parser
 
-module_eval(<<'...end parser.y/module_eval...', 'parser.y', 89)
+module_eval(<<'...end parser.y/module_eval...', 'parser.y', 101)
 
 class Node
 
@@ -310,6 +310,20 @@ def scan
       when /\A=/
         yield [ $&, $& ]
         str = $'
+      when /\A\(/
+        yield [ $&, $& ]
+        str = $'
+      when /\A\)/
+        # puts $'
+        yield [ $&, $& ]
+        str = $'
+      when /\A:>/
+        yield [ $&, $& ]
+        str = $'
+      when /@@/
+        # puts $'
+        yield [ $&, $& ]
+        str = $'
       else
         c = str[0,1]
         yield [ c, c ]
@@ -324,113 +338,125 @@ end
 ##### State transition tables begin ###
 
 racc_action_table = [
-    32,    22,    39,    58,    34,    51,    52,    41,    33,    38,
-    50,    57,    40,    46,    32,    27,    39,    45,    34,    25,
-    26,     6,    33,    38,     9,    32,    40,    39,     6,    34,
-    62,     9,    63,    33,    38,    17,    32,    40,    39,    19,
-    34,    18,    15,    12,    33,    38,    22,    32,    40,    39,
-    53,    34,    28,    61,    22,    33,    38,    10,    32,    40,
-    39,    65,    34,    15,   nil,   nil,    33,    38,    27,   nil,
-    40,    29,    25,    26 ]
+    32,    67,    41,    50,    34,    59,    60,    47,    33,    39,
+    32,    40,    41,    66,    34,    22,    42,    52,    33,    39,
+    32,    40,    41,    73,    34,    74,    42,    22,    33,    39,
+    32,    40,    41,    43,    34,    19,    42,    58,    33,    39,
+    32,    40,    41,    28,    34,    61,    42,    18,    33,    39,
+    32,    40,    41,    62,    34,    17,    42,    15,    33,    39,
+    32,    40,    41,    15,    34,    50,    42,    57,    33,    39,
+    27,    40,    56,    12,    25,    26,    42,    27,    72,    22,
+    29,    25,    26,     6,     6,    10,     9,     9,    76,    51 ]
 
 racc_action_check = [
-    40,    38,    40,    47,    40,    42,    44,    38,    40,    40,
-    42,    47,    40,    40,    52,    17,    52,    39,    52,    17,
-    17,     2,    52,    52,     2,    58,    52,    58,     0,    58,
-    54,     0,    54,    58,    58,     8,    63,    58,    63,    12,
-    63,    10,     7,     6,    63,    63,    51,    45,    63,    45,
-    45,    45,    21,    53,    15,    45,    45,     1,    28,    45,
-    28,    62,    28,    13,   nil,   nil,    28,    28,    23,   nil,
-    28,    23,    23,    23 ]
+    42,    53,    42,    40,    42,    48,    48,    40,    42,    42,
+    61,    42,    61,    53,    61,    57,    42,    42,    61,    61,
+    74,    61,    74,    63,    74,    63,    61,    39,    74,    74,
+    67,    74,    67,    39,    67,    12,    74,    46,    67,    67,
+    58,    67,    58,    21,    58,    50,    67,    10,    58,    58,
+    51,    58,    51,    51,    51,     8,    58,    13,    51,    51,
+    28,    51,    28,     7,    28,    60,    51,    44,    28,    28,
+    17,    28,    44,     6,    17,    17,    28,    23,    62,    15,
+    23,    23,    23,     2,     0,     1,     2,     0,    73,    41 ]
 
 racc_action_pointer = [
-    26,    57,    19,   nil,   nil,   nil,    40,    32,    29,   nil,
-    41,   nil,    35,    53,   nil,    46,   nil,    11,   nil,   nil,
-   nil,    41,   nil,    64,   nil,   nil,   nil,   nil,    54,   nil,
-   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,    -7,    11,
-    -4,   nil,    -4,   nil,    -9,    43,   nil,    -6,   nil,   nil,
-   nil,    38,    10,    46,    23,   nil,   nil,   nil,    21,   nil,
-   nil,   nil,    54,    32,   nil,   nil,   nil ]
+    82,    85,    81,   nil,   nil,   nil,    70,    53,    49,   nil,
+    47,   nil,    31,    47,   nil,    71,   nil,    66,   nil,   nil,
+   nil,    32,   nil,    73,   nil,   nil,   nil,   nil,    56,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,    19,
+    -9,    83,    -4,   nil,    58,   nil,    18,   nil,   -11,   nil,
+    27,    46,   nil,    -8,   nil,   nil,   nil,     7,    36,   nil,
+    53,     6,    71,    16,   nil,   nil,   nil,    26,   nil,   nil,
+   nil,   nil,   nil,    81,    16,   nil,   nil,   nil ]
 
 racc_action_default = [
-   -43,   -43,    -1,    -2,    -4,    -5,   -43,    -8,    -9,   -11,
-   -43,    -3,   -43,    -7,   -18,   -43,   -10,   -43,    67,    -6,
-   -19,   -43,   -21,   -43,   -13,   -15,   -16,   -17,   -43,   -12,
-   -14,   -20,   -22,   -23,   -24,   -25,   -26,   -27,   -43,   -43,
-   -43,   -28,   -43,   -30,   -43,   -43,   -38,   -43,   -40,   -42,
-   -29,   -43,   -43,   -43,   -43,   -35,   -37,   -39,   -43,   -31,
-   -32,   -33,   -43,   -43,   -41,   -34,   -36 ]
+   -49,   -49,    -1,    -2,    -4,    -5,   -49,    -8,    -9,   -11,
+   -49,    -3,   -49,    -7,   -18,   -49,   -10,   -49,    78,    -6,
+   -19,   -49,   -21,   -49,   -13,   -15,   -16,   -17,   -49,   -12,
+   -14,   -20,   -22,   -23,   -24,   -25,   -26,   -27,   -28,   -49,
+   -49,   -49,   -49,   -29,   -49,   -36,   -49,   -31,   -49,   -33,
+   -49,   -49,   -44,   -49,   -46,   -48,   -30,   -49,   -49,   -32,
+   -49,   -49,   -49,   -49,   -41,   -43,   -45,   -49,   -37,   -38,
+   -34,   -35,   -39,   -49,   -49,   -47,   -40,   -42 ]
 
 racc_goto_table = [
-    31,    55,    48,    43,    24,    14,     3,    21,    11,    23,
-    30,    20,    16,    42,    13,    54,    59,    56,     2,    66,
-    64,    47,     1,   nil,    60,   nil,   nil,   nil,   nil,   nil,
-   nil,   nil,   nil,   nil,   nil,    56 ]
+    31,    54,    64,    45,    49,    24,    14,     3,    44,    11,
+     2,    30,    20,    21,    48,    23,    16,    63,    13,    53,
+     1,    68,   nil,    65,    70,    77,    75,   nil,   nil,   nil,
+    69,   nil,   nil,    71,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,    65 ]
 
 racc_goto_check = [
-    14,    21,    23,    19,    11,    12,     3,    13,     3,    10,
-    11,    12,     9,    18,     7,    20,    19,    14,     2,    21,
-    23,    22,     1,   nil,    14,   nil,   nil,   nil,   nil,   nil,
-   nil,   nil,   nil,   nil,   nil,    14 ]
+    14,    26,    24,    22,    21,    11,    12,     3,    19,     3,
+     2,    11,    12,    13,    20,    10,     9,    23,     7,    25,
+     1,    22,   nil,    14,    21,    24,    26,   nil,   nil,   nil,
+    14,   nil,   nil,    14,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,    14 ]
 
 racc_goto_pointer = [
-   nil,    22,    18,     6,   nil,   nil,   nil,     7,   nil,     4,
-    -8,   -13,    -2,    -8,   -28,   nil,   nil,   nil,   -25,   -35,
-   -30,   -44,   -19,   -38 ]
+   nil,    20,    10,     7,   nil,   nil,   nil,    11,   nil,     8,
+    -2,   -12,    -1,    -2,   -28,   nil,   nil,   nil,   nil,   -31,
+   -26,   -36,   -36,   -34,   -49,   -23,   -41 ]
 
 racc_goto_default = [
    nil,   nil,   nil,   nil,     4,     5,     7,   nil,     8,   nil,
-   nil,   nil,   nil,    44,    49,    35,    36,    37,   nil,   nil,
-   nil,   nil,   nil,   nil ]
+   nil,   nil,   nil,    46,    55,    35,    36,    37,    38,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil ]
 
 racc_reduce_table = [
   0, 0, :racc_error,
-  1, 19, :_reduce_1,
-  1, 20, :_reduce_none,
-  2, 20, :_reduce_none,
-  1, 21, :_reduce_4,
-  1, 21, :_reduce_none,
-  3, 23, :_reduce_6,
-  2, 22, :_reduce_7,
-  1, 22, :_reduce_none,
+  1, 23, :_reduce_1,
   1, 24, :_reduce_none,
   2, 24, :_reduce_none,
-  1, 26, :_reduce_11,
-  3, 27, :_reduce_none,
+  1, 25, :_reduce_4,
+  1, 25, :_reduce_none,
+  3, 27, :_reduce_6,
+  2, 26, :_reduce_7,
+  1, 26, :_reduce_none,
   1, 28, :_reduce_none,
   2, 28, :_reduce_none,
-  1, 29, :_reduce_none,
-  1, 29, :_reduce_none,
-  1, 29, :_reduce_none,
-  1, 25, :_reduce_none,
-  2, 25, :_reduce_19,
-  4, 30, :_reduce_20,
-  1, 31, :_reduce_none,
-  1, 32, :_reduce_22,
-  1, 32, :_reduce_none,
-  1, 32, :_reduce_none,
-  1, 32, :_reduce_none,
+  1, 30, :_reduce_11,
+  3, 31, :_reduce_none,
   1, 32, :_reduce_none,
-  1, 32, :_reduce_none,
-  2, 33, :_reduce_28,
-  3, 33, :_reduce_29,
-  1, 36, :_reduce_30,
-  3, 36, :_reduce_31,
-  3, 37, :_reduce_32,
-  4, 35, :_reduce_33,
-  5, 35, :_reduce_34,
-  1, 38, :_reduce_none,
-  3, 38, :_reduce_36,
-  1, 39, :_reduce_37,
-  2, 34, :_reduce_38,
-  3, 34, :_reduce_39,
-  1, 40, :_reduce_none,
-  3, 40, :_reduce_41,
-  1, 41, :_reduce_42 ]
-
-racc_reduce_n = 43
-
-racc_shift_n = 67
+  2, 32, :_reduce_none,
+  1, 33, :_reduce_none,
+  1, 33, :_reduce_none,
+  1, 33, :_reduce_none,
+  1, 29, :_reduce_none,
+  2, 29, :_reduce_19,
+  4, 34, :_reduce_20,
+  1, 35, :_reduce_none,
+  1, 36, :_reduce_22,
+  1, 36, :_reduce_none,
+  1, 36, :_reduce_none,
+  1, 36, :_reduce_none,
+  1, 36, :_reduce_none,
+  1, 36, :_reduce_none,
+  1, 36, :_reduce_none,
+  2, 37, :_reduce_29,
+  3, 37, :_reduce_30,
+  2, 40, :_reduce_31,
+  3, 40, :_reduce_32,
+  1, 42, :_reduce_none,
+  3, 42, :_reduce_34,
+  3, 43, :_reduce_35,
+  1, 41, :_reduce_36,
+  3, 41, :_reduce_37,
+  3, 44, :_reduce_38,
+  4, 39, :_reduce_39,
+  5, 39, :_reduce_40,
+  1, 45, :_reduce_none,
+  3, 45, :_reduce_42,
+  1, 46, :_reduce_43,
+  2, 38, :_reduce_44,
+  3, 38, :_reduce_45,
+  1, 47, :_reduce_none,
+  3, 47, :_reduce_47,
+  1, 48, :_reduce_48 ]
+
+racc_reduce_n = 49
+
+racc_shift_n = 78
 
 racc_token_table = {
   false => 0,
@@ -448,11 +474,15 @@ racc_token_table = {
   :STRING => 12,
   "[" => 13,
   "]" => 14,
-  "|->" => 15,
-  "{" => 16,
-  "}" => 17 }
+  "(" => 15,
+  ")" => 16,
+  "@@" => 17,
+  ":>" => 18,
+  "|->" => 19,
+  "{" => 20,
+  "}" => 21 }
 
-racc_nt_base = 18
+racc_nt_base = 22
 
 racc_use_result_var = false
 
@@ -488,6 +518,10 @@ Racc_token_to_s_table = [
   "STRING",
   "\"[\"",
   "\"]\"",
+  "\"(\"",
+  "\")\"",
+  "\"@@\"",
+  "\":>\"",
   "\"|->\"",
   "\"{\"",
   "\"}\"",
@@ -509,7 +543,10 @@ Racc_token_to_s_table = [
   "record",
   "set",
   "seq",
+  "func",
   "rlist",
+  "flist",
+  "fitem",
   "ritem",
   "seqlist",
   "seqitem",
@@ -608,84 +645,112 @@ module_eval(<<'.,.,', 'parser.y', 52)
 
 # reduce 27 omitted
 
-module_eval(<<'.,.,', 'parser.y', 59)
-  def _reduce_28(val, _values)
-     {} 
-  end
-.,.,
+# reduce 28 omitted
 
 module_eval(<<'.,.,', 'parser.y', 60)
   def _reduce_29(val, _values)
-     val[1] 
+     {} 
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 62)
+module_eval(<<'.,.,', 'parser.y', 61)
   def _reduce_30(val, _values)
-     val[0] 
+     val[1] 
   end
 .,.,
 
 module_eval(<<'.,.,', 'parser.y', 63)
   def _reduce_31(val, _values)
-     k=val[2].keys.first; val[0][k] = val[2][k]; val[0] 
+     {} 
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 65)
+module_eval(<<'.,.,', 'parser.y', 64)
   def _reduce_32(val, _values)
-     { val[0] => val[2] } 
+     val[1] 
   end
 .,.,
 
+# reduce 33 omitted
+
 module_eval(<<'.,.,', 'parser.y', 68)
-  def _reduce_33(val, _values)
+  def _reduce_34(val, _values)
+     h = val[0].merge(val[2]); h 
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 71)
+  def _reduce_35(val, _values)
+      { val[0] => val[2] } 
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 73)
+  def _reduce_36(val, _values)
+     val[0] 
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 74)
+  def _reduce_37(val, _values)
+     k=val[2].keys.first; val[0][k] = val[2][k]; val[0] 
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 76)
+  def _reduce_38(val, _values)
+     { val[0] => val[2] } 
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 79)
+  def _reduce_39(val, _values)
      [] 
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 69)
-  def _reduce_34(val, _values)
+module_eval(<<'.,.,', 'parser.y', 80)
+  def _reduce_40(val, _values)
      val[2] 
   end
 .,.,
 
-# reduce 35 omitted
+# reduce 41 omitted
 
-module_eval(<<'.,.,', 'parser.y', 72)
-  def _reduce_36(val, _values)
+module_eval(<<'.,.,', 'parser.y', 84)
+  def _reduce_42(val, _values)
      val[0].push( val[2][0] ); val[0] 
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 74)
-  def _reduce_37(val, _values)
+module_eval(<<'.,.,', 'parser.y', 86)
+  def _reduce_43(val, _values)
      [ val[0] ] 
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 77)
-  def _reduce_38(val, _values)
+module_eval(<<'.,.,', 'parser.y', 89)
+  def _reduce_44(val, _values)
      [] 
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 78)
-  def _reduce_39(val, _values)
+module_eval(<<'.,.,', 'parser.y', 90)
+  def _reduce_45(val, _values)
      val[1] 
   end
 .,.,
 
-# reduce 40 omitted
+# reduce 46 omitted
 
-module_eval(<<'.,.,', 'parser.y', 81)
-  def _reduce_41(val, _values)
+module_eval(<<'.,.,', 'parser.y', 93)
+  def _reduce_47(val, _values)
      val[0].push( val[2][0] ); val[0] 
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 83)
-  def _reduce_42(val, _values)
+module_eval(<<'.,.,', 'parser.y', 95)
+  def _reduce_48(val, _values)
      [ val[0] ] 
   end
 .,.,

data/lib/tla2dot/parser.y

@@ -56,10 +56,21 @@ rule
             | record
             | set
             | seq
+            | func                    
 
   record    : '['  ']'                { {} }
             | '[' rlist ']'           { val[1] }
 
+  func      : '('  ')'                { {} }
+            | '(' flist ')'           { val[1] }
+
+
+  flist     : fitem                   
+            | flist "@@" fitem        { h = val[0].merge(val[2]); h }
+
+
+  fitem     : STRING ":>" value       {  { val[0] => val[2] } }
+            
   rlist     : ritem                   { val[0] }
             | rlist ',' ritem         { k=val[2].keys.first; val[0][k] = val[2][k]; val[0] }
 
@@ -69,7 +80,8 @@ rule
   seq       : '<' '<' '>' '>'         { [] }
             | '<' '<' seqlist '>' '>' { val[2] }
 
-  seqlist   : seqitem                  
+
+            seqlist   : seqitem                  
             | seqlist ','   seqitem   { val[0].push( val[2][0] ); val[0] }
 
   seqitem   : value                   { [ val[0] ] }
@@ -388,6 +400,20 @@ def scan
       when /\A=/
         yield [ $&, $& ]
         str = $'
+      when /\A\(/
+        yield [ $&, $& ]
+        str = $'
+      when /\A\)/
+        # puts $'
+        yield [ $&, $& ]
+        str = $'
+      when /\A:>/
+        yield [ $&, $& ]
+        str = $'
+      when /@@/
+        # puts $'
+        yield [ $&, $& ]
+        str = $'
       else
         c = str[0,1]
         yield [ c, c ]

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: tla2dot
 version: !ruby/object:Gem::Version
-  version: 0.0.5
+  version: 0.0.6
 platform: ruby
 authors:
 - jarjuk
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2015-12-25 00:00:00.000000000 Z
+date: 2016-01-26 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: mustache