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
Implements incremental analysis experiment #577
base: vara-dev
Are you sure you want to change the base?
Implements incremental analysis experiment #577
Changes from 87 commits
928308e
3a70322
724d158
aa39871
9ff98d2
7394108
7e87e2a
2115e2b
2b6c521
c05774e
5b24147
b027025
a7651d6
d2197df
3e9e42a
ac418e1
4be3557
db39b5e
d06fe88
ebf4203
0aeae5e
b1f55f3
24a387f
cf83d19
c54b5ff
54b5c21
ac879cf
aa9765d
386dad9
88f4b2d
878a3f0
bc9d0f8
c78ae96
3d79441
ec9d2b4
1c47227
8d63f46
a43ab83
0aa29fa
cced5e9
5ae553f
15ea9e5
9bf04ae
8408fc9
d87297b
040bcdf
50847cd
d808d9e
a1bf81b
e6326d9
01ed18a
f30bdae
7877caa
b0dc80c
dc98e18
179eb17
2793b69
f6a47a0
670ef06
4df7d9f
5b8f069
d84d129
799f436
ae77457
c124c97
44747d7
9f53183
ecdfa9e
1b52edd
c90afbb
5fec03a
0bc1f85
cf22775
75302cd
9936430
7f7766f
602be45
bf06eef
81fe37f
5a4d06a
586a226
c377cfe
e4a56da
31d656d
785a01c
1411aaa
83a5e4b
977f567
b6d34a5
28b6679
efe6cea
51c5865
3eaea16
882f56b
a28b008
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing