chriseth
df6ec56925
Merge pull request #11142 from ethereum/setVersion084
...
Set version to 0.8.4.
2021-03-23 18:26:18 +01:00
chriseth
2a9b131a6e
Set version to 0.8.4.
2021-03-23 15:58:14 +01:00
chriseth
8d00100c4e
Merge pull request #11140 from ethereum/prepare083
...
Prepare changelog for 0.8.3.
2021-03-23 12:56:28 +01:00
chriseth
a32e2e2130
Prepare changelog for 0.8.3.
2021-03-23 12:55:13 +01:00
chriseth
88d340f279
Merge pull request #11134 from ethereum/fix-keccak-bug
...
Fix keccak bug
2021-03-23 12:15:30 +01:00
hrkrshnn
30e08ee3a5
Changelog and test for the KeccakCaching bug
2021-03-23 11:09:00 +01:00
hrkrshnn
2ecb20589b
Fix bug about incorrect caching on Keccak256 hashes
2021-03-23 10:49:24 +01:00
chriseth
21e365321d
Merge pull request #11137 from ethereum/disableNodiscardBimap
...
Fix Windows Build: Disable nodiscard warning.
2021-03-23 10:47:01 +01:00
chriseth
f38274d94d
Disable nodiscard warning.
2021-03-23 09:51:59 +01:00
chriseth
54cea090bf
Merge pull request #11124 from ethereum/extend-callgraph
...
Add creationCode/runtimeCode contract creation detection to call graph
2021-03-22 15:45:55 +01:00
Mathias Baumann
bccedf791b
Add creationCode/runtimeCode contract creation detection to call graph
2021-03-22 15:44:23 +01:00
chriseth
8c583784c0
Merge pull request #11133 from ghidello/develop
...
[DOCS] Update OpenZeppelin's ECDSA contract URL
2021-03-22 15:02:34 +01:00
Leonardo
66729a4ffe
Merge pull request #11075 from ethereum/smt_tutorial
...
[SMTChecker] Tutorial and docs cleanup
2021-03-22 11:46:36 +01:00
ghidello
b37723dc36
[DOCS] Update OpenZeppelin's ECDSA contract URL
2021-03-21 11:38:04 +01:00
chriseth
6e1d61a232
Merge pull request #11089 from ethereum/optimizeMulByConstantToShift
...
Optimize mul by constant to shift
2021-03-18 12:59:51 +01:00
Leonardo Alt
569afe711a
SMTChecker tutorial and docs cleanup
2021-03-18 11:09:26 +01:00
chriseth
d18db63843
Changelog entry.
2021-03-18 08:42:49 +01:00
chriseth
baf2ff2a6e
Proof.
2021-03-18 08:42:49 +01:00
chriseth
2c8540b1f9
Yul optimizer test updates.
2021-03-18 08:42:49 +01:00
chriseth
7aa51bcb40
Test updates.
2021-03-18 08:42:49 +01:00
chriseth
4bfa7e088e
Optimize multiplication by constant to shift.
2021-03-18 08:42:49 +01:00
chriseth
e179d0aa4d
Merge pull request #11121 from ethereum/doc-natspec
...
Document the version/kind fields in the natspec documentation
2021-03-17 17:25:48 +01:00
Alex Beregszaszi
b477a7d163
Document the version/kind fields in the natspec documentation
2021-03-17 16:04:59 +00:00
Leonardo
25b31111df
Merge pull request #11040 from ethereum/smt_fix_virtual_one_more_time
...
[SMTChecker] Fix bug in virtual functions called by constructor
2021-03-17 16:54:36 +01:00
chriseth
278053b4f2
Merge pull request #11117 from ethereum/gasmeter-fix-creation-calculation
...
Fix small bug in GasMeter calculation in creation context
2021-03-17 13:15:12 +01:00
hrkrshnn
6d9e9e1b1e
Fix small bug in GasMeter calculation in creation context
...
Old calculation did not ignore `optimize-runs` parameter, when creation code gas computations were
done. This would lead to expanding values such as `shl(180, 1)` inside constructor code, even for
the default value for `--optimize-runs`, i.e., 200.
2021-03-17 12:33:10 +01:00
Harikrishnan Mulackal
35da404ca9
Merge pull request #11091 from ethereum/modifierInvocationAST
...
Add "kind" field to ModifierInvocation AST json element.
2021-03-16 19:44:40 +01:00
Leonardo
6d8366967b
Merge pull request #11112 from blishko/smt-small-refactor
...
[SMTChecker] Small refactoring of defining SMT expressions for structs/tuples
2021-03-16 19:02:16 +01:00
chriseth
0519473059
Add "kind" field to ModifierInvocation AST json element.
2021-03-16 18:50:37 +01:00
chriseth
e007557c0d
Merge pull request #11025 from ethereum/docs-intro
...
Clarify the syntax of Solidity is not Python inspired
2021-03-16 17:11:26 +01:00
Alex Beregszaszi
830bc8f88a
Clarify the syntax of Solidity is not Python inspired
2021-03-16 17:11:01 +01:00
Martin Blicha
432944d0b4
[SMTChecker] Small refactoring of defining SMT expressions for structs/tuples
2021-03-16 15:34:43 +01:00
Daniel Kirchner
7170c8ac60
Merge pull request #11109 from ethereum/inlinerHeuristicsFix
...
Fix small bug in inliner heuristics.
2021-03-16 14:09:26 +01:00
chriseth
ae1b321a2a
Merge pull request #11066 from ethereum/functionCollectorrefactor
...
Adding additional interface to yul function collector.
2021-03-15 21:42:34 +01:00
Kamil Śliwak
e7ac2fce81
Merge pull request #11108 from ethereum/remove-remains-of-shellcheck-ignore-list
...
Remove remains of shellcheck ignore list
2021-03-15 21:05:52 +01:00
Daniel Kirchner
d5281877cc
Fix inliner heuristics.
2021-03-15 20:31:56 +01:00
Djordje Mijovic
49fcda7048
Adding additional interface to yul function collector.
2021-03-15 20:27:16 +01:00
Alex Beregszaszi
7fd1a3132d
Merge pull request #11098 from ethereum/isoltest-yes
...
isoltest: add --accept-updates option
2021-03-15 19:10:02 +00:00
Kamil Śliwak
14adb7df3b
Really remove shellcheck ignore list
2021-03-15 20:02:42 +01:00
Kamil Śliwak
5376a3deb6
Merge pull request #10879 from ethereum/silence-remaining-shellcheck-warnings-and-remove-ignore-list
...
Silence remaining shellcheck warnings and remove ignore list
2021-03-15 19:58:42 +01:00
Alex Beregszaszi
1c176cc1ee
isoltest: add --accept-updates option
2021-03-15 14:31:01 +00:00
Leonardo
86e1e4a2dd
Merge pull request #11092 from blishko/issue-10957
...
[SMTChecker] Resolve current contract context correctly in VariableUsage
2021-03-15 15:01:51 +01:00
chriseth
140f0e51b8
Merge pull request #11104 from ethereum/addMissingHeader
...
Add missing header to Algorithms.h.
2021-03-15 14:20:30 +01:00
Martin Blicha
2f52affcc2
[SMTChecker] Correctly resolve current scope contract in VariableUsage.
2021-03-15 13:55:14 +01:00
Daniel Kirchner
8f56c6ad5c
Add missing header to Algorithms.h.
2021-03-15 13:50:24 +01:00
Kamil Śliwak
b8979a939c
Remove shellcheck ignore list
2021-03-15 12:16:43 +01:00
Kamil Śliwak
8e44b59251
Disable shellcheck in the remaining situations where it's either wrong or the problem is not worth fixing
2021-03-15 12:16:43 +01:00
Kamil Śliwak
008d648af3
Fix or disable find/ls related warnings
2021-03-15 12:16:43 +01:00
Kamil Śliwak
7929175db6
Add shellcheck source directive in places where it can't find sourced files on its own
2021-03-15 12:16:43 +01:00
Leonardo
2c00939ad8
Merge pull request #11097 from blishko/smt-reset-reference-variables
...
[SMTChecker] Reset reference variables on assignment to a variable of reference type
2021-03-15 12:06:37 +01:00