refine exception type of try-catch edges#134

Open

d367wang wants to merge 6 commits intoopprop:masterfrom

d367wang:cfg-try-catch-edges-refinement

Commits on May 31, 2020

refine exception type of try-catch edges
d367wang
committed

Commits on Jun 13, 2020

Merge branch 'master' of https://github.com/opprop/checker-framework into cfg-try-catch-edges-refinement
d367wang
committed

Commits on Jun 25, 2020

refine exceptional edge label Throwable into RuntimeException | Error
d367wang
committed
modify data structure that store exception-target pairs to Set<Pair<TypeMirror,Label>>
d367wang
committed
Merge branch 'master' of https://github.com/opprop/checker-framework into cfg-try-catch-edges-refinement
d367wang
committed

Commits on Jun 28, 2020

Merge remote-tracking branch 'upstream/master' into cfg-try-catch-edges-refinement
xingweitian
committed