cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
22,199 Commits 348 Branches 121 Tags
smt_eldarica_cex
Commit Graph
5 Commits
Author SHA1 Message Date
Alex Beregszaszi 45c6bbe02b Trivial isoltest updates: directives sorted alphabetically 2021-04-20 17:21:56 +02:00
hrkrshnn 88c99a7538 Tests/Docs: changing type of msg.sender and tx.origin into address 
And also making the type of address(literal) as non-payable address.
 2020-12-14 16:55:48 +01:00
Alexander Arlt da36055449 [ewasm] Polyfill: calldataload & calldatacopy: Enable Tests. 2020-11-21 08:57:56 -05:00
chriseth 1508b08f3e Implement inline assembly access to constants. 2020-11-18 12:35:23 +01:00
Gaith Hallak 4d90180e24 Support referencing other constants in inline assembly 2019-12-05 13:27:17 +03:00