issues
search
andreinaku
/
SpyType
MIT License
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
new class for ptype -> type as string?
#64
andreinaku
opened
1 day ago
0
add ClassTypes to GenericTypes to be able to dynamically add types when analyzing classes
#63
andreinaku
opened
6 days ago
0
remove_no_names to keep class attributes
#62
andreinaku
opened
6 days ago
0
run worklist inference on custom AST with custom init state
#61
andreinaku
opened
1 week ago
0
find_spec to be able to search in class -> method structure
#60
andreinaku
opened
1 week ago
0
parse AnnAsssign from typeshed classes
#59
andreinaku
closed
1 week ago
1
class and function call graph
#58
andreinaku
opened
3 weeks ago
0
width and depth as cmd line arguments
#57
andreinaku
closed
3 weeks ago
0
output param specification generation
#56
andreinaku
opened
1 month ago
0
bugfix for assignment when rhs has elements of lhs
#55
andreinaku
closed
1 month ago
1
add widening operator
#54
andreinaku
closed
1 month ago
1
python remove of irrelevant basetypes in specs
#53
andreinaku
closed
1 month ago
0
-1 visited with 1 result
#52
andreinaku
opened
2 months ago
0
build python executable
#51
andreinaku
opened
2 months ago
0
ast.compare transfer func
#50
andreinaku
opened
2 months ago
0
output lubbed specs
#49
andreinaku
closed
2 months ago
1
infer for loops (+ range, which is tightly connected)
#48
andreinaku
closed
2 months ago
0
catch errors generated by maude
#47
andreinaku
opened
2 months ago
0
recycle generated var types
#46
andreinaku
opened
2 months ago
0
bug in orsubst with same left operand
#45
andreinaku
opened
2 months ago
0
extend substitution for BoundVarType over VarType
#44
andreinaku
opened
2 months ago
0
tests for assignment
#43
andreinaku
closed
2 months ago
0
bottom relation should give an invalid state
#42
andreinaku
closed
2 months ago
0
instatiate spec for var args
#41
andreinaku
opened
2 months ago
0
invalid solve when spectype is bot
#40
andreinaku
closed
2 months ago
0
assign as function call with specs
#39
andreinaku
closed
2 months ago
1
defaultdict
#38
andreinaku
opened
2 months ago
0
unit test stabilize
#37
andreinaku
closed
2 months ago
0
maude rewrites hang for long basetypes
#36
andreinaku
closed
3 months ago
2
Improve Maude glb operation
#35
andreinaku
closed
3 months ago
2
parse substitutions from maude constraints
#34
andreinaku
closed
3 months ago
1
intermediary replace types from solved constraints
#33
andreinaku
closed
2 months ago
3
inference for addition with 3 operands not working
#32
andreinaku
closed
2 months ago
0
bugfix for vartype generation
#31
andreinaku
closed
3 months ago
2
implement StateSet contains
#30
andreinaku
closed
3 months ago
1
transitivity over maude operations
#29
andreinaku
closed
2 months ago
0
test simple fixpoint inference on while loop
#28
andreinaku
opened
3 months ago
0
test simple fixpoint inference on if-else
#27
andreinaku
opened
3 months ago
0
remove expressions that are not variables after running inference for a CFG node
#26
andreinaku
closed
3 months ago
1
if a:Ta, do not generate a new type variable when apply spec
#25
andreinaku
closed
3 months ago
1
generate fresh type variables when applying function specifications
#24
andreinaku
closed
3 months ago
1
For the input function to be type inferred, investigate varargs and kwargs
#23
andreinaku
opened
3 months ago
0
__le__ over States and StateSets
#22
andreinaku
opened
3 months ago
0
LUB between Basetypes
#21
andreinaku
closed
3 months ago
1
maude solve when unbounded vartypes are present
#20
andreinaku
opened
3 months ago
0
move Translator logic in type classes from_str methods
#19
andreinaku
closed
3 months ago
1
statistics for translated/not translated functions from typeshed
#18
andreinaku
opened
3 months ago
0
implement worklist algorithm
#17
andreinaku
closed
3 months ago
1
implement __eq__ over states and statesets
#16
andreinaku
closed
3 months ago
0
deserialize Maude output
#15
andreinaku
closed
3 months ago
1
Next