Jan 29, 2025 · The place to discuss design and usage of and changes to the Solidity programming language.

Dec 27, 2019 · For multiple inheritance, the most derived base contracts that define the same function must be specified explicitly after the override keyword. Functions with the private visibility cannot be …

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 …

Jan 18, 2024 · I have multiple versions of solc installed asdf list solidity 0.4.24 *0.8.23 latest solc includes the default evm version in the help output: solc --version && solc --help|grep evm...

May 15, 2023 · I'm new to Solidity and it's my first try to write a smart contract using Openzeppelin, Pancakeswap and BEP20 libraries basically to make a BEP-20 token. When i try to deploy the smart …

Apr 29, 2017 · Is it possible, from within a contract written in Solidity, to check if a contract is placed on a specific address or if this address does not contain any code?

Jul 4, 2017 · The difference is because in public functions, Solidity immediately copies array arguments to memory, while external functions can read directly from calldata. Memory allocation is expensive, …

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 …

Mar 1, 2016 · I've been looking through the code of Etherdice and noticed that some variables are declared like ParserResult memory result; and I haven't found the keyword "memory" in …

Nov 29, 2023 · Here is my problem: I started working with smart contracts with Foundry and I loved it. testing is just so easy using foundry and I didn't need any other language except solidity. since I …