vird

Results 60 issues of vird

do not merge until * #264 * check opList apply order (if 0 .. N then this MR is not valid) * fix all tests

e.g. _utoa https://github.com/vird/truffle/blob/develop/packages/core/lib/testing/AssertUint.sol#L234

Type inference was changed a lot in #131 but there is no tests for that. We need fix it. See also #136 for contract(address) and type_resolve

Solidity allows convert address to number and other direction. We need write as many tests as possible for different cases of usage that conversion * Fn_call with mismatching type *...

* notes * warnings * critical warnings * exceptions

* [ ] solidity_to_ast4gen * [ ] ast_transform * [ ] type_inference * [ ] translate_ligo * [ ] translate_ligo_default_state

(uint x, , uint y) = f(); (x,y) = (y,x) See more https://solidity.readthedocs.io/en/v0.5.3/control-structures.html