syllogism 0.2.2 → 0.3.0
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/.github/workflows/test.yml +6 -7
- data/.gitignore +3 -0
- data/.tool-versions +1 -1
- data/Gemfile.lock +2 -2
- data/lib/syllogism/version.rb +1 -1
- data/syllogism.gemspec +1 -1
- metadata +4 -4
checksums.yaml
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
---
|
2
2
|
SHA256:
|
3
|
-
metadata.gz:
|
4
|
-
data.tar.gz:
|
3
|
+
metadata.gz: 699731ccbe8b1c48b8e052f4afa11cdbf2bdddd0a39d5e4f0592816f81435320
|
4
|
+
data.tar.gz: f96c3d39000c0cafc6797ba430fd04de8a591a52244c7c9775a32f27f5a82d3f
|
5
5
|
SHA512:
|
6
|
-
metadata.gz:
|
7
|
-
data.tar.gz:
|
6
|
+
metadata.gz: d6d90cf575f4eb719a32052eb148fb09645f15f7837d8b8d3278ab66775abc0ffcaf9b83e55241d9f7f096044824f735e84f3d0d2b0324befdf02c88bccbc52d
|
7
|
+
data.tar.gz: 6a2b04a1126d0db9cc7314f04c5fb144971492ce9b71593e897fb76eac432cefc5191241026d93c3ee99092bd5bcc84234e324fd01a4cd24b4d88847d7f6c26f
|
data/.github/workflows/test.yml
CHANGED
@@ -1,4 +1,4 @@
|
|
1
|
-
name: Tests
|
1
|
+
name: Tests
|
2
2
|
|
3
3
|
on:
|
4
4
|
pull_request:
|
@@ -16,14 +16,13 @@ jobs:
|
|
16
16
|
fail-fast: false
|
17
17
|
matrix:
|
18
18
|
os:
|
19
|
-
- macos
|
19
|
+
- macos
|
20
20
|
- ubuntu
|
21
21
|
ruby:
|
22
|
-
- 2.4
|
23
|
-
- 2.5
|
24
|
-
- 2.6
|
25
|
-
- 2.7
|
26
22
|
- 3.0
|
23
|
+
- 3.1
|
24
|
+
- 3.2
|
25
|
+
- 3.3
|
27
26
|
allow_failures:
|
28
27
|
- false
|
29
28
|
include:
|
@@ -44,4 +43,4 @@ jobs:
|
|
44
43
|
ruby-version: ${{ matrix.ruby }}
|
45
44
|
bundler-cache: true
|
46
45
|
- name: Test
|
47
|
-
run: bundle exec rake spec || $ALLOW_FAILURES
|
46
|
+
run: bundle exec rake spec || $ALLOW_FAILURES
|
data/.gitignore
CHANGED
data/.tool-versions
CHANGED
@@ -1 +1 @@
|
|
1
|
-
ruby 3.0
|
1
|
+
ruby 3.3.0
|
data/Gemfile.lock
CHANGED
data/lib/syllogism/version.rb
CHANGED
data/syllogism.gemspec
CHANGED
@@ -10,7 +10,7 @@ Gem::Specification.new do |spec|
|
|
10
10
|
spec.description = "Proof checker for arguments in Aristotle's term logic"
|
11
11
|
spec.homepage = "https://github.com/jaysonvirissimo/syllogism"
|
12
12
|
spec.license = "MIT"
|
13
|
-
spec.required_ruby_version = Gem::Requirement.new(">= 2.
|
13
|
+
spec.required_ruby_version = Gem::Requirement.new(">= 2.6.0")
|
14
14
|
|
15
15
|
spec.metadata["allowed_push_host"] = "https://rubygems.org/"
|
16
16
|
|
metadata
CHANGED
@@ -1,14 +1,14 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: syllogism
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 0.
|
4
|
+
version: 0.3.0
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- Jayson Virissimo
|
8
8
|
autorequire:
|
9
9
|
bindir: exe
|
10
10
|
cert_chain: []
|
11
|
-
date:
|
11
|
+
date: 2024-01-20 00:00:00.000000000 Z
|
12
12
|
dependencies: []
|
13
13
|
description: Proof checker for arguments in Aristotle's term logic
|
14
14
|
email:
|
@@ -61,14 +61,14 @@ required_ruby_version: !ruby/object:Gem::Requirement
|
|
61
61
|
requirements:
|
62
62
|
- - ">="
|
63
63
|
- !ruby/object:Gem::Version
|
64
|
-
version: 2.
|
64
|
+
version: 2.6.0
|
65
65
|
required_rubygems_version: !ruby/object:Gem::Requirement
|
66
66
|
requirements:
|
67
67
|
- - ">="
|
68
68
|
- !ruby/object:Gem::Version
|
69
69
|
version: '0'
|
70
70
|
requirements: []
|
71
|
-
rubygems_version: 3.3
|
71
|
+
rubygems_version: 3.5.3
|
72
72
|
signing_key:
|
73
73
|
specification_version: 4
|
74
74
|
summary: Proof checker for arguments in Aristotle's term logic
|