state_machine_checker 0.1.0 → 0.1.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: c5b18f97d28a7f774d19289b199b48d59a9cd470924d60c8d24d8c6e7a19276b
-  data.tar.gz: 474ad4475d4363e54430f13988ec0203aa7fad9b1f6810e6cc934077e7fb5a3a
+  metadata.gz: 1e1f9fad39331108b432f2ecf1314e340c1b7671ec66697a3d67a7516d538845
+  data.tar.gz: 3d58165c90eb79907f611ee1d0e5b695b128c7590598253ccbb17ddabe92df3b
 SHA512:
-  metadata.gz: cf8b01a402b35d8957d4a4ad705ed978ce733c2243c846322cd1c596c534cafb7d7551c245c8f5032bdb3dbbbb62ed4c55e4fdcf63508eb71b71025e41b87315
-  data.tar.gz: abde78b8b55667d400cb842275e746265d4a1af57aca5c0be5e12fba0f84539ed1e3efea011b583dd75bec301b43535b4f9836cfe9f6a9b16541918ac36d5275
+  metadata.gz: bc3c9b785669a3a63aa524c582d2d2c15f693fbce58871d38d500a12febe4b94a81d09304518f33ee4b8ed450b4cb84abe13f602597fbf39ca2359265ef38cb6
+  data.tar.gz: 56e350b293326e37c860ab6d8bca1de3959e840212c2914845139b84bffe5eaf6bd8c4f4e80ae110a280f838393a56860e97358635793ef5745390d4ac668cf1

data/.gitignore

@@ -9,3 +9,5 @@
 
 # rspec failure tracking
 .rspec_status
+
+*.gem

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    state_machine_checker (0.1.0)
+    state_machine_checker (0.1.1)
 
 GEM
   remote: https://rubygems.org/
@@ -48,7 +48,7 @@ GEM
       rubocop (>= 0.63)
     state_machines (0.5.0)
     unicode-display_width (1.4.1)
-    yard (0.9.18)
+    yard (0.9.20)
 
 PLATFORMS
   ruby
@@ -61,7 +61,7 @@ DEPENDENCIES
   standard (~> 0.0.36)
   state_machine_checker!
   state_machines (~> 0.5.0)
-  yard (~> 0.9.18)
+  yard (>= 0.9.20)
 
 BUNDLED WITH
    1.17.2

data/README.md

@@ -1,5 +1,7 @@
 # State Machine Checker
 
+[![Gem Version](https://badge.fury.io/rb/state_machine_checker.svg)](https://badge.fury.io/rb/state_machine_checker)
+
 Verify (as in prove) properties of your state machines.
 
 Given a definition of a state machine and a [CTL
@@ -83,6 +85,10 @@ Or install it yourself as:
 
     $ gem install state_machine_checker
 
+## Documentation
+
+[https://www.rubydoc.info/github/CJStadler/state_machine_checker](https://www.rubydoc.info/github/CJStadler/state_machine_checker)
+
 ## Development
 
 After checking out the repo, run `bin/setup` to install dependencies. Then, run `rake spec` to run the tests. You can also run `bin/console` for an interactive prompt that will allow you to experiment.

data/lib/state_machine_checker/version.rb

@@ -1,3 +1,3 @@
 module StateMachineChecker
-  VERSION = "0.1.0"
+  VERSION = "0.1.1"
 end

data/state_machine_checker.gemspec

@@ -10,8 +10,7 @@ Gem::Specification.new do |spec|
 
   spec.summary       = "Model checking for state machines using CTL."
   spec.description   = <<~DESC
-    Verify that your state machines have the expected properties. Properties are
-    specified using CTL.
+    Verify properties of your state machines.
   DESC
   spec.homepage      = "https://github.com/CJStadler/state_machine_checker"
   spec.license       = "MIT"
@@ -21,6 +20,7 @@ Gem::Specification.new do |spec|
     spec.metadata["source_code_uri"] = "https://github.com/CJStadler/state_machine_checker"
     spec.metadata["changelog_uri"] =
       "https://github.com/CJStadler/state_machine_checker/blob/master/CHANGELOG.md"
+    spec.metadata["documentation_uri"] = "https://www.rubydoc.info/github/CJStadler/state_machine_checker"
   else
     raise "RubyGems 2.0 or newer is required to protect against " \
       "public gem pushes."
@@ -29,9 +29,9 @@ Gem::Specification.new do |spec|
   # Specify which files should be added to the gem when it is released.
   # The `git ls-files -z` loads the files in the RubyGem that have been added into git.
   spec.files = Dir.chdir(File.expand_path("..", __FILE__)) do
-    `git ls-files -z`.split("\x0").
-      reject { |f| f.match(%r{^(test|spec|features)/}) }.
-      reject { |f| f.match('paper.pdf')}
+    `git ls-files -z`.split("\x0")
+      .reject { |f| f.match(%r{^(test|spec|features)/}) }
+      .reject { |f| f.match("paper.pdf")}
   end
   spec.bindir        = "exe"
   spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
@@ -43,5 +43,5 @@ Gem::Specification.new do |spec|
   spec.add_development_dependency "state_machines", "~> 0.5.0"
   spec.add_development_dependency "standard", "~> 0.0.36"
   spec.add_development_dependency "pry"
-  spec.add_development_dependency "yard", "~> 0.9.18"
+  spec.add_development_dependency "yard", ">= 0.9.20"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: state_machine_checker
 version: !ruby/object:Gem::Version
-  version: 0.1.0
+  version: 0.1.1
 platform: ruby
 authors:
 - Chris Stadler
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2019-07-05 00:00:00.000000000 Z
+date: 2019-07-06 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -98,19 +98,19 @@ dependencies:
   name: yard
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: 0.9.18
+        version: 0.9.20
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: 0.9.18
-description: |
-  Verify that your state machines have the expected properties. Properties are
-  specified using CTL.
+        version: 0.9.20
+description: 'Verify properties of your state machines.
+
+'
 email:
 - chrisstadler@gmail.com
 executables: []
@@ -164,6 +164,7 @@ metadata:
   homepage_uri: https://github.com/CJStadler/state_machine_checker
   source_code_uri: https://github.com/CJStadler/state_machine_checker
   changelog_uri: https://github.com/CJStadler/state_machine_checker/blob/master/CHANGELOG.md
+  documentation_uri: https://www.rubydoc.info/github/CJStadler/state_machine_checker
 post_install_message: 
 rdoc_options: []
 require_paths: