Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
7dc854d
- fixed inconsistencies in ground truth files vs. their corresponding…
jaltmayerpizzorno Oct 6, 2025
2d0ab43
- corrected types;
jaltmayerpizzorno Oct 6, 2025
3d333cd
- added function calls to make function types visible to dynamic type…
jaltmayerpizzorno Oct 6, 2025
c6b3c6c
- moved Point out of function scope, making it actually available as …
jaltmayerpizzorno Oct 6, 2025
2f7c605
- fixed "missing matches" analysis, which was picking results from
jaltmayerpizzorno Oct 7, 2025
6462cce
- correctly handle missing files;
jaltmayerpizzorno Oct 7, 2025
ac898c2
- corrected types. Note that my_decorator.NewClass is not a valid typ…
jaltmayerpizzorno Oct 7, 2025
98c3268
- deleted requests for functions that cannot be called from ground tr…
jaltmayerpizzorno Oct 7, 2025
b001ea6
- added printing out more detail on any docker errors, to facilitate …
jaltmayerpizzorno Oct 7, 2025
7990076
- fixed inconsistencies between Python sources and ground truth files;
jaltmayerpizzorno Oct 9, 2025
bb29a9e
- added calls to make generated benchmark suite usable with dynamic i…
jaltmayerpizzorno Oct 9, 2025
7befcee
- corrected types. Note that my_decorator.NewClass is not a valid typ…
jaltmayerpizzorno Oct 9, 2025
2c6cf0a
- deleted requests for functions that cannot be called from ground tr…
jaltmayerpizzorno Oct 9, 2025
92b8b80
- adjusted whitespace so that autogeneration doesn't invalidate col_o…
jaltmayerpizzorno Oct 9, 2025
bd04f85
- deleting 'bool' from types as adding a bool to an int or a bool
jaltmayerpizzorno Oct 10, 2025
92dca4c
- added call to allow typing by dynamic type inference systems;
jaltmayerpizzorno Oct 10, 2025
32a892a
- corrected types;
jaltmayerpizzorno Oct 10, 2025
84628b3
- fixed ManyTypes4Py dataset URL;
jaltmayerpizzorno Oct 10, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@
"line_number": 4,
"col_offset": 19,
"function": "my_sum",
"parameter": "integers",
"parameter": "arguments",
"type": [
"tuple"
]
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -31,14 +31,14 @@
"line_number": 6,
"col_offset": 5,
"function": "func1",
"parameter": "a",
"variable": "a",
"type": [
"<value1>"
]
},
{
"file": "main.py",
"line_number": 11,
"line_number": 10,
"col_offset": 1,
"variable": "b",
"type": [
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -19,3 +19,4 @@ def func4():


(a, b), (c, d) = [(func1, func2), (func3, func4)]
a(); b(); c(); d();
Original file line number Diff line number Diff line change
Expand Up @@ -121,7 +121,7 @@
"file": "main.py",
"line_number": 33,
"col_offset": 1,
"function": "a",
"variable": "a",
"type": [
"callable"
]
Expand Down Expand Up @@ -174,7 +174,7 @@
{
"file": "main.py",
"line_number": 37,
"col_offset": 5,
"col_offset": 4,
"variable": "b",
"type": [
"callable"
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -47,7 +47,7 @@
},
{
"file": "main.py",
"line_number": 18,
"line_number": 17,
"col_offset": 1,
"variable": "a",
"type": [
Expand All @@ -56,7 +56,7 @@
},
{
"file": "main.py",
"line_number": 18,
"line_number": 17,
"col_offset": 5,
"variable": "b",
"type": [
Expand All @@ -83,7 +83,7 @@
},
{
"file": "main.py",
"line_number": 18,
"line_number": 17,
"col_offset": 8,
"variable": "c",
"type": [
Expand All @@ -92,7 +92,7 @@
},
{
"file": "main.py",
"line_number": 20,
"line_number": 19,
"col_offset": 1,
"variable": "d",
"type": [
Expand All @@ -101,7 +101,7 @@
},
{
"file": "main.py",
"line_number": 21,
"line_number": 20,
"col_offset": 1,
"variable": "e",
"type": [
Expand All @@ -110,7 +110,7 @@
},
{
"file": "main.py",
"line_number": 22,
"line_number": 21,
"col_offset": 1,
"variable": "f",
"type": [
Expand All @@ -119,7 +119,7 @@
},
{
"file": "main.py",
"line_number": 23,
"line_number": 22,
"col_offset": 1,
"variable": "g",
"type": [
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@
"col_offset": 9,
"function": "Shape.area",
"type": [
"Nonetype"
"<value1>"
]
},
{
Expand All @@ -38,7 +38,7 @@
"file": "main.py",
"line_number": 12,
"col_offset": 9,
"variable": "Rectangle.width",
"variable": "self.width",
"function": "Rectangle.__init__",
"type": [
"<value1>"
Expand All @@ -48,7 +48,7 @@
"file": "main.py",
"line_number": 13,
"col_offset": 9,
"variable": "Rectangle.height",
"variable": "self.height",
"function": "Rectangle.__init__",
"type": [
"<value1>"
Expand All @@ -57,7 +57,7 @@
{
"file": "main.py",
"line_number": 15,
"col_offset": 5,
"col_offset": 9,
"function": "Rectangle.area",
"type": [
"<value1>"
Expand All @@ -82,4 +82,4 @@
]
}
]
}
}
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@
"file": "main.py",
"line_number": 6,
"col_offset": 9,
"function": "func2",
"function": "MyClass.func2",
"type": [
"<value1>"
]
Expand All @@ -40,8 +40,8 @@
},
{
"file": "main.py",
"line_number": 1,
"col_offset": 9,
"line_number": 11,
"col_offset": 1,
"variable": "a",
"type": [
"MyClass"
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,8 @@
"file": "main.py",
"line_number": 5,
"col_offset": 13,
"variable": "A.B.a",
"variable": "self.a",
"function": "A.B.__init__",
"type": [
"<value1>"
]
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -16,14 +16,16 @@
"col_offset": 9,
"function": "A.func",
"type": [
"<value1>"
"<value1>",
"<value2>"
]
},
{
"file": "main.py",
"line_number": 9,
"col_offset": 9,
"variable": "B.child",
"variable": "self.child",
"function": "B.__init__",
"type": [
"callable"
]
Expand All @@ -41,7 +43,8 @@
"file": "main.py",
"line_number": 17,
"col_offset": 9,
"variable": "C.child",
"variable": "self.child",
"function": "C.__init__",
"type": [
"callable"
]
Expand Down Expand Up @@ -92,4 +95,4 @@
]
}
]
}
}
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@
"line_number": 5,
"col_offset": 24,
"parameter": "instance_var",
"function": "__init__",
"function": "MyClass.__init__",
"type": [
"<value2>"
]
Expand All @@ -33,8 +33,8 @@
"file": "main.py",
"line_number": 6,
"col_offset": 9,
"variable": "MyClass.instance_var",
"function": "__init__",
"variable": "self.instance_var",
"function": "MyClass.__init__",
"type": [
"<value2>"
]
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -11,3 +11,4 @@ def func(self):

a = MySubClass()
b = a.func()
MyClass().func()
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@
{
"file": "main.py",
"line_number": 3,
"col_offset": 5,
"col_offset": 9,
"function": "MyClass.func",
"type": [
"<value1>"
Expand All @@ -22,7 +22,7 @@
{
"file": "main.py",
"line_number": 8,
"col_offset": 5,
"col_offset": 9,
"function": "MySubClass.func",
"type": [
"<value2>"
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -23,3 +23,4 @@ def func(self):

a = A()
b = a.func()
C().func()
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@
{
"file": "main.py",
"line_number": 3,
"col_offset": 5,
"col_offset": 9,
"function": "C.func",
"type": [
"<value1>"
Expand All @@ -34,7 +34,7 @@
"line_number": 9,
"col_offset": 9,
"function": "B.__init__",
"variable": "B.c",
"variable": "self.c",
"type": [
"C"
]
Expand All @@ -53,7 +53,7 @@
"line_number": 17,
"col_offset": 9,
"function": "A.__init__",
"variable": "A.c",
"variable": "self.c",
"type": [
"C"
]
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@
"file": "main.py",
"line_number": 11,
"col_offset": 9,
"variable": "B.a",
"variable": "self.a",
"function": "B.__init__",
"type": [
"A"
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@
"line_number": 6,
"col_offset": 9,
"function": "A.__init__",
"variable": "A.smth",
"variable": "self.smth",
"type": [
"callable"
]
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,6 @@
"int",
"float",
"str",
"bool",
"list",
"tuple"
],
Expand Down Expand Up @@ -32,7 +31,7 @@
"file": "main.py",
"line_number": 5,
"col_offset": 9,
"function": "wrapper",
"function": "dec1.wrapper",
"type": [
"<value1>"
]
Expand All @@ -42,7 +41,7 @@
"line_number": 5,
"col_offset": 17,
"parameter": "a",
"function": "wrapper",
"function": "dec1.wrapper",
"type": [
"<value1>"
]
Expand All @@ -52,7 +51,7 @@
"line_number": 5,
"col_offset": 20,
"parameter": "b",
"function": "wrapper",
"function": "dec1.wrapper",
"type": [
"<value1>"
]
Expand All @@ -62,7 +61,7 @@
"line_number": 6,
"col_offset": 9,
"variable": "result",
"function": "wrapper",
"function": "dec1.wrapper",
"type": [
"<value1>"
]
Expand Down Expand Up @@ -115,4 +114,4 @@
]
}
]
}
}
Original file line number Diff line number Diff line change
Expand Up @@ -33,16 +33,7 @@
"file": "main.py",
"line_number": 5,
"col_offset": 9,
"function": "wrapper",
"type": [
"<value1>"
]
},
{
"file": "main.py",
"line_number": 12,
"col_offset": 5,
"function": "func",
"function": "dec.wrapper",
"type": [
"<value1>"
]
Expand All @@ -57,4 +48,4 @@
]
}
]
}
}
Loading