issues
search
cucapra
/
js-to-ts-synthesis
guess types for JavaScript libraries by running the tests
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
More cleverly find which library files are being used.
#17
mak438
closed
7 years ago
0
Create several TypeDeducers to "round up" types
#16
mak438
closed
7 years ago
15
Create a class to execute functions with synthesized args
#15
mak438
closed
7 years ago
0
Observe violations of strictness for tests
#14
mak438
opened
7 years ago
0
Simplify implementation of Type
#13
mak438
closed
7 years ago
0
Create a top type
#12
mak438
closed
7 years ago
5
Support for async functions
#11
mak438
opened
7 years ago
0
Examine typeof checks at the beginning of functions
#10
mak438
closed
7 years ago
0
Determine how to write down a family of types
#9
mak438
opened
7 years ago
0
Check operations on values
#8
mak438
opened
7 years ago
3
Get lower bounds on types
#7
mak438
closed
7 years ago
3
Write up documentation
#6
mak438
closed
7 years ago
4
Some relevant papers
#5
sampsyo
opened
7 years ago
3
More complex type analysis of recursive objects.
#4
mak438
closed
7 years ago
5
Examine module.exports to get a notion of the tests' coverage
#3
mak438
closed
7 years ago
1
Test the pipeline on a more complicated project
#2
mak438
opened
7 years ago
6
Put argument names in type definitions.
#1
mak438
closed
7 years ago
2