cerc-io/solidity
10
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
20,152 Commits 348 Branches 121 Tags 100 MiB
c70bc0c246
Commit Graph

20152 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
William Entriken
c70bc0c246
Specify how blockhash will act for invalid inputs, fixes #11364 2021-05-10 16:26:08 -04:00
chriseth
643140e2d6
Merge pull request #11349 from ethereum/create-solver-class-from-reasoning-based-simplifier 
Create solver class from reasoning based simplifier
 2021-05-10 14:12:22 +02:00
chriseth
58bec9f6c4
Merge pull request #11371 from ethereum/fix-asan-issue-in-functioncallgraph 
Use a local instead of a temporary as an argument to valueOrDefault
 2021-05-10 12:21:39 +02:00
Daniel Kirchner
5e8abec3e9
Merge pull request #11370 from ethereum/fixWindowsBuilds 
Change windows boost binary download URL.
 2021-05-10 12:20:40 +02:00
Bhargava Shastry
a0795cbc98 Use a local instead of a temporary as an argument to valueOrDefault 2021-05-10 11:36:39 +02:00
Daniel Kirchner
452c17c15e Change windows boost binary download URL. 2021-05-10 11:30:11 +02:00
chriseth
3841bdb856
Merge pull request #11363 from fulldecent/patch-18 
This can help a little with triage // template for Documentation issues
 2021-05-10 11:21:24 +02:00
chriseth
fcb242ad1f
Merge pull request #11361 from fulldecent/patch-17 
Match @return word styling to match @param (i.e. sentence case)
 2021-05-10 11:17:45 +02:00
William Entriken
ea13ad711e
This can help a little with triage 2021-05-08 15:28:28 -04:00
William Entriken
88e33c9ea3
Match @return word styling to match @param (i.e. sentence case) 2021-05-08 01:14:22 -04:00
Daniel Kirchner
5d070c5bc2
Merge pull request #11357 from ethereum/rangesImport 
Remove more imports of ranges namespace.
 2021-05-07 16:21:20 +02:00
Daniel Kirchner
6104ac1cdf Remove more imports of ranges namespace. 2021-05-07 15:42:17 +02:00
Alex Beregszaszi
1ddcd66a66
Merge pull request #11355 from ethereum/rangesImport 
Remove import of ranges namespace.
 2021-05-07 13:27:08 +01:00
Daniel Kirchner
c69add1682 Remove import of ranges namespace. 2021-05-07 13:44:14 +02:00
hrkrshnn
39b23420ec Extracted the class SMT Solver from ReasoningBasedSimplifier 2021-05-06 11:26:26 +02:00
chriseth
518629a8f6
Merge pull request #10768 from ethereum/copyLiteralToStorageSol2Yul 
[Sol->Yul] Adding util function to copy literal to storage.
 2021-05-06 10:44:39 +02:00
chriseth
4c7b61d8f6
Merge pull request #11348 from ethereum/div32ceil 
Introduce ceil division helper function.
 2021-05-05 12:44:08 +02:00
Djordje Mijovic
53e3081e81 Update gas costs in tests. 2021-05-05 11:33:09 +02:00
Djordje Mijovic
f0c5cdca9f [Sol->Yul] Adding util function to copy literal to storage. 
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>

Co-authored-by: chriseth <chris@ethereum.org>
 2021-05-05 11:33:03 +02:00
chriseth
72fc4d4a32 Introduce ceil division helper function. 2021-05-05 11:12:10 +02:00
chriseth
9d156b52c4
Merge pull request #8868 from ethereum/functionEntryPoints 
Note function entry points.
 2021-05-05 11:08:44 +02:00
Harikrishnan Mulackal
6820735a20
Merge pull request #11338 from ethereum/yulhexvalue 
Properly treat utf8-non-encodable yul literals.
 2021-05-05 11:07:28 +02:00
chriseth
6d41ed024a Update existing tests. 2021-05-05 10:28:23 +02:00
chriseth
e7708b6006 Properly treat utf8-non-encodable yul literals. 2021-05-05 10:28:23 +02:00
chriseth
1f6aa4c4b7
Merge pull request #11271 from ethereum/cleanUpArrayEndSol2Yul 
[Sol->Yul] Clean up array end util function
 2021-05-05 10:04:12 +02:00
Djordje Mijovic
8f6d94dbd2 Update gas expectations in semantic tests. 2021-05-05 08:53:40 +02:00
Djordje Mijovic
3e5f5fccf9 [Sol->Yul] Adding cleanUpArrayEnd util function. 
Co-authored-by: chriseth <chris@ethereum.org>

Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>

Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>

Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>

Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2021-05-05 08:53:34 +02:00
chriseth
1d1175c292
Merge pull request #11242 from ethereum/docs_optimizer_updates 
DOCS: update optimizer docs, harmonize spelling, add Yul-based optimizer
 2021-05-04 18:22:06 +02:00
franzihei
13eec106f4 DOCS: update optimizer docs, harmonize spelling and add Yul-based optimizer module 2021-05-04 17:37:02 +02:00
chriseth
6413e36a9a Rename file. 2021-05-04 17:34:42 +02:00
chriseth
f9c94d7c42 Note function entry points. 2021-05-04 17:15:13 +02:00
chriseth
faca036837
Merge pull request #11294 from ethereum/yulAstDebugDataRefactor 
Removing location in favor of debugData in yul AST structures
 2021-05-04 17:05:40 +02:00
chriseth
589c4a9a05
Merge pull request #11106 from ethereum/respectMemoryModel 
Respect memory model
 2021-05-04 16:45:15 +02:00
chriseth
66c0405181
Merge pull request #11344 from ethereum/docs-translations 
[Docs] Update information on contributing to translations
 2021-05-04 16:16:41 +02:00
Djordje Mijovic
e404b6e7a6 Refactoring yul source locations. 2021-05-04 16:05:23 +02:00
franzihei
01d45ccc79 [Docs] Update information on contributing to translations 2021-05-04 15:04:43 +01:00
chriseth
aded56b5b9 Update tests 2021-05-03 18:28:43 +02:00
chriseth
2e274a0b26 Add commandline test to show debug strings. 2021-05-03 18:28:39 +02:00
chriseth
62355aead3 Respect memory model for revert. 2021-05-03 18:23:41 +02:00
Leonardo
fe4822a1d2
Merge pull request #11333 from ethereum/smt_fix_free_functions 
[SMTChecker] Fix ICE in free functions
 2021-05-03 14:59:00 +02:00
chriseth
034df267b0
Merge pull request #11340 from ethereum/franzihei-patch-1 
[Release Checklist] Updating post-release comms tasks
 2021-05-03 14:54:56 +02:00
chriseth
7782e8e8b2
Merge pull request #11339 from ethereum/memoryModelCatch 
Respect memory model in forwarding revert inside catch.
 2021-05-03 14:26:49 +02:00
Franziska Heintel
af1e2bdad5
updating post-release comms tasks 2021-05-03 14:18:26 +02:00
chriseth
d721bbe504 Respect memory model in forwarding revert inside catch. 2021-05-03 12:19:46 +02:00
Leo Alt
1642c10f6e Fix ICE in free functions 2021-05-03 10:57:11 +02:00
chriseth
996f3d31d5
Merge pull request #11321 from ethereum/test-prbmath 
Add semantictest using prbmath
 2021-05-03 10:36:30 +02:00
chriseth
17e644a135
Merge pull request #11332 from ethereum/switch-archlinux-base-image-in-ci 
Switch from archlinux/base to archlinux:base image in CI and add a workaround for runc breakage
 2021-05-03 10:34:06 +02:00
chriseth
ce0559e463
Merge pull request #11335 from ethereum/builtin-init 
[soltest] Improve Builtin Initialization.
 2021-05-03 10:30:15 +02:00
Alexander Arlt
68f0f36a2d [soltest] Improve Builtin Initialization. 2021-05-02 22:13:40 -05:00
Kamil Śliwak
563160e5b3 Hard-code archlinux image version to base-20210131.0.14634 to work around runc/glibc bug 2021-04-29 19:16:09 +02:00