state_machine_checker 0.1.0 → 0.1.1
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/.gitignore +2 -0
- data/Gemfile.lock +3 -3
- data/README.md +6 -0
- data/lib/state_machine_checker/version.rb +1 -1
- data/state_machine_checker.gemspec +6 -6
- metadata +10 -9
checksums.yaml
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
---
|
2
2
|
SHA256:
|
3
|
-
metadata.gz:
|
4
|
-
data.tar.gz:
|
3
|
+
metadata.gz: 1e1f9fad39331108b432f2ecf1314e340c1b7671ec66697a3d67a7516d538845
|
4
|
+
data.tar.gz: 3d58165c90eb79907f611ee1d0e5b695b128c7590598253ccbb17ddabe92df3b
|
5
5
|
SHA512:
|
6
|
-
metadata.gz:
|
7
|
-
data.tar.gz:
|
6
|
+
metadata.gz: bc3c9b785669a3a63aa524c582d2d2c15f693fbce58871d38d500a12febe4b94a81d09304518f33ee4b8ed450b4cb84abe13f602597fbf39ca2359265ef38cb6
|
7
|
+
data.tar.gz: 56e350b293326e37c860ab6d8bca1de3959e840212c2914845139b84bffe5eaf6bd8c4f4e80ae110a280f838393a56860e97358635793ef5745390d4ac668cf1
|
data/.gitignore
CHANGED
data/Gemfile.lock
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
PATH
|
2
2
|
remote: .
|
3
3
|
specs:
|
4
|
-
state_machine_checker (0.1.
|
4
|
+
state_machine_checker (0.1.1)
|
5
5
|
|
6
6
|
GEM
|
7
7
|
remote: https://rubygems.org/
|
@@ -48,7 +48,7 @@ GEM
|
|
48
48
|
rubocop (>= 0.63)
|
49
49
|
state_machines (0.5.0)
|
50
50
|
unicode-display_width (1.4.1)
|
51
|
-
yard (0.9.
|
51
|
+
yard (0.9.20)
|
52
52
|
|
53
53
|
PLATFORMS
|
54
54
|
ruby
|
@@ -61,7 +61,7 @@ DEPENDENCIES
|
|
61
61
|
standard (~> 0.0.36)
|
62
62
|
state_machine_checker!
|
63
63
|
state_machines (~> 0.5.0)
|
64
|
-
yard (
|
64
|
+
yard (>= 0.9.20)
|
65
65
|
|
66
66
|
BUNDLED WITH
|
67
67
|
1.17.2
|
data/README.md
CHANGED
@@ -1,5 +1,7 @@
|
|
1
1
|
# State Machine Checker
|
2
2
|
|
3
|
+
[![Gem Version](https://badge.fury.io/rb/state_machine_checker.svg)](https://badge.fury.io/rb/state_machine_checker)
|
4
|
+
|
3
5
|
Verify (as in prove) properties of your state machines.
|
4
6
|
|
5
7
|
Given a definition of a state machine and a [CTL
|
@@ -83,6 +85,10 @@ Or install it yourself as:
|
|
83
85
|
|
84
86
|
$ gem install state_machine_checker
|
85
87
|
|
88
|
+
## Documentation
|
89
|
+
|
90
|
+
[https://www.rubydoc.info/github/CJStadler/state_machine_checker](https://www.rubydoc.info/github/CJStadler/state_machine_checker)
|
91
|
+
|
86
92
|
## Development
|
87
93
|
|
88
94
|
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.
|
@@ -10,8 +10,7 @@ Gem::Specification.new do |spec|
|
|
10
10
|
|
11
11
|
spec.summary = "Model checking for state machines using CTL."
|
12
12
|
spec.description = <<~DESC
|
13
|
-
Verify
|
14
|
-
specified using CTL.
|
13
|
+
Verify properties of your state machines.
|
15
14
|
DESC
|
16
15
|
spec.homepage = "https://github.com/CJStadler/state_machine_checker"
|
17
16
|
spec.license = "MIT"
|
@@ -21,6 +20,7 @@ Gem::Specification.new do |spec|
|
|
21
20
|
spec.metadata["source_code_uri"] = "https://github.com/CJStadler/state_machine_checker"
|
22
21
|
spec.metadata["changelog_uri"] =
|
23
22
|
"https://github.com/CJStadler/state_machine_checker/blob/master/CHANGELOG.md"
|
23
|
+
spec.metadata["documentation_uri"] = "https://www.rubydoc.info/github/CJStadler/state_machine_checker"
|
24
24
|
else
|
25
25
|
raise "RubyGems 2.0 or newer is required to protect against " \
|
26
26
|
"public gem pushes."
|
@@ -29,9 +29,9 @@ Gem::Specification.new do |spec|
|
|
29
29
|
# Specify which files should be added to the gem when it is released.
|
30
30
|
# The `git ls-files -z` loads the files in the RubyGem that have been added into git.
|
31
31
|
spec.files = Dir.chdir(File.expand_path("..", __FILE__)) do
|
32
|
-
`git ls-files -z`.split("\x0")
|
33
|
-
reject { |f| f.match(%r{^(test|spec|features)/}) }
|
34
|
-
reject { |f| f.match(
|
32
|
+
`git ls-files -z`.split("\x0")
|
33
|
+
.reject { |f| f.match(%r{^(test|spec|features)/}) }
|
34
|
+
.reject { |f| f.match("paper.pdf")}
|
35
35
|
end
|
36
36
|
spec.bindir = "exe"
|
37
37
|
spec.executables = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
|
@@ -43,5 +43,5 @@ Gem::Specification.new do |spec|
|
|
43
43
|
spec.add_development_dependency "state_machines", "~> 0.5.0"
|
44
44
|
spec.add_development_dependency "standard", "~> 0.0.36"
|
45
45
|
spec.add_development_dependency "pry"
|
46
|
-
spec.add_development_dependency "yard", "
|
46
|
+
spec.add_development_dependency "yard", ">= 0.9.20"
|
47
47
|
end
|
metadata
CHANGED
@@ -1,14 +1,14 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: state_machine_checker
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 0.1.
|
4
|
+
version: 0.1.1
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- Chris Stadler
|
8
8
|
autorequire:
|
9
9
|
bindir: exe
|
10
10
|
cert_chain: []
|
11
|
-
date: 2019-07-
|
11
|
+
date: 2019-07-06 00:00:00.000000000 Z
|
12
12
|
dependencies:
|
13
13
|
- !ruby/object:Gem::Dependency
|
14
14
|
name: bundler
|
@@ -98,19 +98,19 @@ dependencies:
|
|
98
98
|
name: yard
|
99
99
|
requirement: !ruby/object:Gem::Requirement
|
100
100
|
requirements:
|
101
|
-
- - "
|
101
|
+
- - ">="
|
102
102
|
- !ruby/object:Gem::Version
|
103
|
-
version: 0.9.
|
103
|
+
version: 0.9.20
|
104
104
|
type: :development
|
105
105
|
prerelease: false
|
106
106
|
version_requirements: !ruby/object:Gem::Requirement
|
107
107
|
requirements:
|
108
|
-
- - "
|
108
|
+
- - ">="
|
109
109
|
- !ruby/object:Gem::Version
|
110
|
-
version: 0.9.
|
111
|
-
description:
|
112
|
-
|
113
|
-
|
110
|
+
version: 0.9.20
|
111
|
+
description: 'Verify properties of your state machines.
|
112
|
+
|
113
|
+
'
|
114
114
|
email:
|
115
115
|
- chrisstadler@gmail.com
|
116
116
|
executables: []
|
@@ -164,6 +164,7 @@ metadata:
|
|
164
164
|
homepage_uri: https://github.com/CJStadler/state_machine_checker
|
165
165
|
source_code_uri: https://github.com/CJStadler/state_machine_checker
|
166
166
|
changelog_uri: https://github.com/CJStadler/state_machine_checker/blob/master/CHANGELOG.md
|
167
|
+
documentation_uri: https://www.rubydoc.info/github/CJStadler/state_machine_checker
|
167
168
|
post_install_message:
|
168
169
|
rdoc_options: []
|
169
170
|
require_paths:
|