solidity - Difference between require and assert and the difference . . . Solidity implements a formal verification approach based on SMT (Satisfiability Modulo Theories) and Horn solving The SMTChecker module automatically tries to prove that the code satisfies the specification given by require and assert statements
solidity - Upgradeable smart contracts - Ethereum Stack Exchange However, I also recommend checking Proxy Libraries in Solidity that is posted by Zeppelin Solutions and Aragon There is a planning to make an industry standard for this matter You have to have a good testing strategies and tactics Because the cost of updating the your smart contract can really ruin your life
solidity - Source File requires different compiler version - Ethereum . . . During solidity (solc) 0 5 releases the different frameworks like solc, truffle, web3, openzeppelin had a timeframe where some had a 0 5 compatible version released and some didn't I think you could have changed specified the solc version like here (didn't try that) but meanwhile all of the mentioned fully support 0 5 (openzeppelin since 2 days ago at time of writing) Consider doing the
solidity - What is msg. value? - Ethereum Stack Exchange msg value is a member of the msg (message) object when sending (state transitioning) transactions on the Ethereum network msg value contains the amount of wei (ether 1e18) sent in the transaction msg data (bytes): complete calldata msg gas (uint): remaining gas - deprecated in version 0 4 21 and to be replaced by gasleft() msg sender (address): sender of the message (current call) msg sig