Allow duplicate method names in JVM verification#884

Merged

brianhuffman merged 6 commits intomasterfrom issue212

Nov 2, 2020

+219-23

Commits on Oct 31, 2020

JVM MethodSpec type stores a typed MethodKey instead of just a name.
Brian Huffman
committed
Avoid redundant call to findMethod in JVM verification code.
Brian Huffman
committed
Allow disambiguation of JVM methods by appending type descriptors.
Brian Huffman
committed
Add test for #212 .
Brian Huffman
committed
List known JVM method names in method-not-found error message.
Brian Huffman
committed
Extend #212 test to also verify constructor methods.
Brian Huffman
committed