ast
|
Clarify documentation of ContractType::m_super
|
2019-03-14 15:59:26 +01:00 |
codegen
|
Use stack optimizations.
|
2019-03-14 15:34:23 +01:00 |
formal
|
[SMTChecker] Shortcut RationalNumber expressions
|
2019-03-11 12:53:49 +01:00 |
interface
|
Use stack optimizations.
|
2019-03-14 15:34:23 +01:00 |
parsing
|
Set default EVM version to Petersburg.
|
2019-03-04 14:53:00 +01:00 |