translation improvements. In particular: strict checks over return type and method arguments; translation of bit-wise operations (along with arithmetic ones that we already used to translate); lower threshold for semantic matching (less false positives).
This request includes:
many fixed goal files (missing goal conditions added, wrong goal conditions corrected)
translation improvements. In particular: strict checks over return type and method arguments; translation of bit-wise operations (along with arithmetic ones that we already used to translate); lower threshold for semantic matching (less false positives).