korekto 1.5.210331 → 1.6.210407
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/bin/korekto +1 -1
- data/lib/korekto.rb +2 -1
- data/lib/korekto/heap.rb +4 -0
- data/lib/korekto/statement.rb +6 -1
- metadata +5 -4
checksums.yaml
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
---
|
2
2
|
SHA256:
|
3
|
-
metadata.gz:
|
4
|
-
data.tar.gz:
|
3
|
+
metadata.gz: 63058c0e7d8ef9416a79f001e39c07988bb8f0627b6493737418adbdb8df4c21
|
4
|
+
data.tar.gz: fc413904c25e1ad6d93546ca10e91d5d548aecb19ca56c2bb032a0e2e741d649
|
5
5
|
SHA512:
|
6
|
-
metadata.gz:
|
7
|
-
data.tar.gz:
|
6
|
+
metadata.gz: 7107c848a39a79c564c02453a4f6c83c25c6621cd6fd89716ed33c3da14f679644024297f93ce8216a15605e728b5acde6406a7f88c70248e9c90dad4358ed9d
|
7
|
+
data.tar.gz: a1f836ef421b1466842aabccb091cc4b94fff05c5aab76a67486954505c6501e9cc3d6398e630ca5ce3db113732d9f52fb36667157dfbcd7e323a5fba4d321b8
|
data/bin/korekto
CHANGED
data/lib/korekto.rb
CHANGED
data/lib/korekto/heap.rb
CHANGED
data/lib/korekto/statement.rb
CHANGED
@@ -150,7 +150,12 @@ class Statement
|
|
150
150
|
set_regexp
|
151
151
|
newlines_count(nl)
|
152
152
|
undefined_in_pattern
|
153
|
-
|
153
|
+
follows = @context.heap.to_a[0..nl].reverse
|
154
|
+
if @regexp.match? follows.map{_1.to_s}.join("\n")
|
155
|
+
set_statement(support(*follows))
|
156
|
+
else
|
157
|
+
set_statement
|
158
|
+
end
|
154
159
|
end
|
155
160
|
|
156
161
|
def tautology
|
metadata
CHANGED
@@ -1,14 +1,14 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: korekto
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 1.
|
4
|
+
version: 1.6.210407
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- carlosjhr64
|
8
8
|
autorequire:
|
9
9
|
bindir: bin
|
10
10
|
cert_chain: []
|
11
|
-
date: 2021-
|
11
|
+
date: 2021-04-07 00:00:00.000000000 Z
|
12
12
|
dependencies:
|
13
13
|
- !ruby/object:Gem::Dependency
|
14
14
|
name: help_parser
|
@@ -70,10 +70,11 @@ required_rubygems_version: !ruby/object:Gem::Requirement
|
|
70
70
|
- !ruby/object:Gem::Version
|
71
71
|
version: '0'
|
72
72
|
requirements:
|
73
|
-
- 'ruby: ruby 3.0.
|
73
|
+
- 'ruby: ruby 3.0.1p64 (2021-04-05 revision 0fb782ee38) [x86_64-linux]'
|
74
74
|
- 'nvim: NVIM v0.4.4'
|
75
|
+
- 'neovim-ruby-host: 0.8.1'
|
75
76
|
- 'xdg-open: xdg-open 1.1.3+'
|
76
|
-
rubygems_version: 3.2.
|
77
|
+
rubygems_version: 3.2.15
|
77
78
|
signing_key:
|
78
79
|
specification_version: 4
|
79
80
|
summary: A general proof checker.
|