typeprof 0.1.4 → 0.2.0

data/tools/setup-insns-def.rb

@@ -26,5 +26,5 @@ File.read(ARGV[0]).scan(r) do
   end
   INSN_TABLE[name.to_sym] = operands
 end
-target = File.join(__dir__, "../lib/type-profiler/insns-def.rb")
+target = File.join(__dir__, "../lib/typeprof/insns-def.rb")
 File.write(target, "TypeProf::INSN_TABLE = " + INSN_TABLE.pretty_inspect)

data/tools/stackprof-wrapper.rb

@@ -3,7 +3,7 @@
 require "stackprof"
 StackProf.start(mode: :cpu, out: "stackprof-cpu.dump", raw: true, interval: 1000)
 begin
-  load File.join(__dir__, "../exe/type-profiler")
+  load File.join(__dir__, "../exe/typeprof")
 ensure
   StackProf.stop
   StackProf.results

data/typeprof.gemspec

@@ -1,12 +1,18 @@
 Gem::Specification.new do |spec|
   spec.name          = "typeprof" # temporal
-  spec.version       = "0.1.4"
+  spec.version       = "0.2.0"
   spec.authors       = ["Yusuke Endoh"]
   spec.email         = ["mame@ruby-lang.org"]
 
   spec.summary       = %q{TypeProf is a type analysis tool for Ruby code based on abstract interpretation}
-  spec.description   = %q{TypeProf is a type analysis tool for Ruby code based on abstract interpretation}
-  spec.homepage      = "https://github.com/mame/ruby-type-profiler"
+  spec.description   = <<~EOD
+    TypeProf performs a type analysis of non-annotated Ruby code.
+
+    It abstractly executes input Ruby code in a level of types instead of values, gathers what types are passed to and returned by methods, and prints the analysis result in RBS format, a standard type description format for Ruby 3.0.
+
+    This tool is planned to be bundled with Ruby 3.0.
+  EOD
+  spec.homepage      = "https://github.com/ruby/typeprof"
   spec.license       = "MIT"
   spec.required_ruby_version = Gem::Requirement.new(">= 2.7")
 
@@ -22,5 +28,5 @@ Gem::Specification.new do |spec|
   spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
   spec.require_paths = ["lib"]
 
-  spec.add_runtime_dependency "rbs", ">= 0.12.0"
+  spec.add_runtime_dependency "rbs", ">= 0.14.0"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: typeprof
 version: !ruby/object:Gem::Version
-  version: 0.1.4
+  version: 0.2.0
 platform: ruby
 authors:
 - Yusuke Endoh
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-10-08 00:00:00.000000000 Z
+date: 2020-10-19 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rbs
@@ -16,15 +16,20 @@ dependencies:
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 0.12.0
+        version: 0.14.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 0.12.0
-description: TypeProf is a type analysis tool for Ruby code based on abstract interpretation
+        version: 0.14.0
+description: |
+  TypeProf performs a type analysis of non-annotated Ruby code.
+
+  It abstractly executes input Ruby code in a level of types instead of values, gathers what types are passed to and returned by methods, and prints the analysis result in RBS format, a standard type description format for Ruby 3.0.
+
+  This tool is planned to be bundled with Ruby 3.0.
 email:
 - mame@ruby-lang.org
 executables:
@@ -95,6 +100,8 @@ files:
 - smoke/block10.rb
 - smoke/block11.rb
 - smoke/block12.rb
+- smoke/block13.rb
+- smoke/block13.rbs
 - smoke/block2.rb
 - smoke/block3.rb
 - smoke/block4.rb
@@ -150,6 +157,8 @@ files:
 - smoke/freeze.rb
 - smoke/function.rb
 - smoke/gvar.rb
+- smoke/gvar2.rb
+- smoke/gvar2.rbs
 - smoke/hash-fetch.rb
 - smoke/hash1.rb
 - smoke/hash2.rb
@@ -164,6 +173,8 @@ files:
 - smoke/integer.rb
 - smoke/ivar.rb
 - smoke/ivar2.rb
+- smoke/ivar3.rb
+- smoke/ivar3.rbs
 - smoke/kernel-class.rb
 - smoke/keyword1.rb
 - smoke/keyword2.rb
@@ -176,6 +187,8 @@ files:
 - smoke/manual-rbs.rbs
 - smoke/manual-rbs2.rb
 - smoke/manual-rbs2.rbs
+- smoke/manual-rbs3.rb
+- smoke/manual-rbs3.rbs
 - smoke/masgn1.rb
 - smoke/masgn2.rb
 - smoke/masgn3.rb
@@ -203,6 +216,12 @@ files:
 - smoke/proc3.rb
 - smoke/proc4.rb
 - smoke/range.rb
+- smoke/rbs-alias.rb
+- smoke/rbs-alias.rbs
+- smoke/rbs-attr.rb
+- smoke/rbs-attr.rbs
+- smoke/rbs-vars.rb
+- smoke/rbs-vars.rbs
 - smoke/redo1.rb
 - smoke/redo2.rb
 - smoke/req-keyword.rb
@@ -247,11 +266,11 @@ files:
 - tools/setup-insns-def.rb
 - tools/stackprof-wrapper.rb
 - typeprof.gemspec
-homepage: https://github.com/mame/ruby-type-profiler
+homepage: https://github.com/ruby/typeprof
 licenses:
 - MIT
 metadata:
-  homepage_uri: https://github.com/mame/ruby-type-profiler
+  homepage_uri: https://github.com/ruby/typeprof
   source_code_uri: https://github.com/ruby/typeprof
 post_install_message: 
 rdoc_options: []