Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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.
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
Propagate type annotations in the exact matcher #22
base: 3la-pldi-push-main
Are you sure you want to change the base?
Propagate type annotations in the exact matcher #22
Changes from all commits
0191bd4
e71bc60
37634dd
7aa916c
7a287af
1f04c0f
1c20a7d
b762aae
6c3bd03
954a175
d253df7
86a0d52
02346a9
90202fa
68752d4
7d9593b
f95084e
0903879
9038420
ee4c57c
d2ac372
95e384b
7079760
2075057
90892de
8572ba2
49ac15f
800ff28
6537f7b
ef4eda2
b94a642
be9be8c
4e65ebc
d21f880
1925cb4
afc12bc
d2a07db
4bbb0cf
9220796
000010e
704390e
c6d5970
f25e21a
5f530ef
a38d112
32e822b
9d61fb3
7abb9fd
d297250
7b9edac
78a58f3
8c7e334
0b4aac6
aa28529
2bfe49e
f78a531
e067ac4
522a1df
aa22497
57f8ab7
f7976a3
2c9463b
983a491
bbd5920
ba5d9c1
b297b4c
eee75b5
2e36f84
ada43c5
cd67280
d8fe84c
a26d764
572af71
52f1366
e0c61cc
1b0318c
ca1d6c9
117df96
2989767
344c9a1
bdd9c6c
370b8f7
cb0e2ad
b8e65d2
e7b6a97
9aa3530
040b7d5
765b161
42c20ca
bb6c378
b9563ec
2d2cf70
71b4854
3af6173
6b05e67
25a4bab
3ebc927
278494d
2c733bd
f336b15
75c62ad
1de5fad
b9ca10b
9b043fd
15f0314
0de800e
3fde3a6
3e70c88
12bb7d9
ffe822e
ec7313b
0698a7f
8185bdf
4eb3abd
8d22947
8d913ca
57e400c
e08a20f
a915604
c3a44eb
4f2d41b
20ab7bb
185f86f
2c3a719
f585984
b1918e0
91e7505
813f2a9
feaf6fc
8c21875
b0845a4
bca20c9
0d63906
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing