tla-sbuilder 0.3.8 → 0.3.9
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/README.md +1 -1
- data/VERSION +1 -1
- metadata +2 -2
checksums.yaml
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
---
|
|
2
2
|
SHA1:
|
|
3
|
-
metadata.gz:
|
|
4
|
-
data.tar.gz:
|
|
3
|
+
metadata.gz: c00cee164b5842733a3f00435abe19c055ffb885
|
|
4
|
+
data.tar.gz: 529c130520f8cb22148dc503e29188744cac39f6
|
|
5
5
|
SHA512:
|
|
6
|
-
metadata.gz:
|
|
7
|
-
data.tar.gz:
|
|
6
|
+
metadata.gz: acf330a813732c4b07ff1499a46741b635e6de6ca597bf1eca284c19392c579a82d659923c938ef35c0a0c8e9650903a06ed2003ca93eee6b882d6c667dbda96
|
|
7
|
+
data.tar.gz: a3482100f4e15b57e5d914ab3a0bb23b53be7e7282a2293272afb38fe5b440dac738fb068b6b33bc763bae8d2a9585febbdf59cc50e5528868e09fdab9407a5e
|
data/README.md
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
<link href="../site.css" rel="stylesheet"></link>
|
|
2
2
|
[Readme](README.md) [Releases](RELEASES.md)
|
|
3
3
|
|
|
4
|
-
# Sbuilder - A Specification Builder for TLA+ Tools - $Release:0.3.
|
|
4
|
+
# Sbuilder - A Specification Builder for TLA+ Tools - $Release:0.3.9$
|
|
5
5
|
|
|
6
6
|
A tool to generate runnable formal models in
|
|
7
7
|
[TLA+ language](http://research.microsoft.com/en-us/um/people/lamport/tla/book.html)
|
data/VERSION
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
0.3.
|
|
1
|
+
0.3.9
|
metadata
CHANGED
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
|
2
2
|
name: tla-sbuilder
|
|
3
3
|
version: !ruby/object:Gem::Version
|
|
4
|
-
version: 0.3.
|
|
4
|
+
version: 0.3.9
|
|
5
5
|
platform: ruby
|
|
6
6
|
authors:
|
|
7
7
|
- jarjuk
|
|
8
8
|
autorequire:
|
|
9
9
|
bindir: bin
|
|
10
10
|
cert_chain: []
|
|
11
|
-
date:
|
|
11
|
+
date: 2018-02-02 00:00:00.000000000 Z
|
|
12
12
|
dependencies:
|
|
13
13
|
- !ruby/object:Gem::Dependency
|
|
14
14
|
name: mustache
|