Skip to content

Issues: andreinaku/SpyType

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

31 Open 34 Closed
31 Open 34 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

support for most builtins from typeshed pyi
#66 opened Oct 10, 2024 by andreinaku
@andreinaku
add new classes to types
#65 opened Sep 28, 2024 by andreinaku
@andreinaku
new class for ptype -> type as string?
#64 opened Sep 14, 2024 by andreinaku
3 tasks
add ClassTypes to GenericTypes to be able to dynamically add types when analyzing classes
#63 opened Sep 9, 2024 by andreinaku
@andreinaku
remove_no_names to keep class attributes
#62 opened Sep 8, 2024 by andreinaku
@andreinaku
run worklist inference on custom AST with custom init state
#61 opened Sep 7, 2024 by andreinaku
@andreinaku
find_spec to be able to search in class -> method structure
#60 opened Sep 5, 2024 by andreinaku
@andreinaku
class and function call graph
#58 opened Aug 21, 2024 by andreinaku
@andreinaku
output param specification generation
#56 opened Aug 16, 2024 by andreinaku
@andreinaku
-1 visited with 1 result
#52 opened Jul 17, 2024 by andreinaku
@andreinaku
build python executable
#51 opened Jul 12, 2024 by andreinaku
@andreinaku
ast.compare transfer func
#50 opened Jul 12, 2024 by andreinaku
@andreinaku
catch errors generated by maude
#47 opened Jul 2, 2024 by andreinaku
@andreinaku
recycle generated var types
#46 opened Jul 1, 2024 by andreinaku
@andreinaku
bug in orsubst with same left operand
#45 opened Jun 30, 2024 by andreinaku
@andreinaku
extend substitution for BoundVarType over VarType
#44 opened Jun 30, 2024 by andreinaku
@andreinaku
instatiate spec for var args
#41 opened Jun 22, 2024 by andreinaku
@andreinaku
defaultdict
#38 opened Jun 17, 2024 by andreinaku
@andreinaku
test simple fixpoint inference on while loop
#28 opened Jun 1, 2024 by andreinaku
@andreinaku
test simple fixpoint inference on if-else
#27 opened Jun 1, 2024 by andreinaku
For the input function to be type inferred, investigate varargs and kwargs
#23 opened May 31, 2024 by andreinaku
@andreinaku
__le__ over States and StateSets
#22 opened May 30, 2024 by andreinaku
@andreinaku
maude solve when unbounded vartypes are present
#20 opened May 25, 2024 by andreinaku
@andreinaku
statistics for translated/not translated functions from typeshed
#18 opened May 22, 2024 by andreinaku
@andreinaku
keep specifications short, replace superclasses in transfer func
#10 opened Apr 29, 2024 by andreinaku
@andreinaku
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.