Harikrishnan Mulackal
|
55506418bc
|
Merge pull request #11394 from fulldecent/patch-21
Allow NatSpec to apply to Libraries just as Contracts
|
2021-05-17 12:30:45 +02:00 |
|
Harikrishnan Mulackal
|
85552b58d8
|
Merge pull request #11392 from ethereum/evmc-transfer
EVMHost: Fix selfdestruct with non-zero value at beneficiary and value-transfers with insufficient funds
|
2021-05-17 12:27:41 +02:00 |
|
Harikrishnan Mulackal
|
e76a8cbc31
|
Merge pull request #11395 from ethereum/prbmath
Fix prbmath.exp tests
|
2021-05-17 11:28:15 +02:00 |
|
Alex Beregszaszi
|
f58d58738e
|
Merge pull request #11396 from ethereum/v1-yul
Add sanity check into SemanticTest for not allowing ABIEncoderV1Only and compileViaYul together
|
2021-05-14 20:38:27 +01:00 |
|
Alex Beregszaszi
|
e73ee468a8
|
Update tests
|
2021-05-14 19:56:26 +01:00 |
|
Alex Beregszaszi
|
bb7f500bb1
|
Add sanity check into SemanticTest for not allowing ABIEncoderV1Only and compileViaYul together
|
2021-05-14 19:56:26 +01:00 |
|
Alex Beregszaszi
|
7dc514847a
|
Fix prbmath.exp tests
|
2021-05-14 15:29:12 +01:00 |
|
William Entriken
|
b2ef1a46a4
|
Allow NatSpec to apply to Libraries just as Contracts
|
2021-05-14 00:08:18 -04:00 |
|
Alex Beregszaszi
|
a54699f452
|
EVMHost: Fix selfdestruct with non-zero value at beneficiary and value-transfers with insufficient funds
Create a helper for transfering balance between two accounts. Check sufficient funds are available during a call-with-value.
|
2021-05-14 00:10:49 +01:00 |
|
Daniel Kirchner
|
324caef53c
|
Merge pull request #11286 from ethereum/evmc8
Upgrade to EVMC 8.0.0 + evmone 0.7.0
|
2021-05-13 18:32:01 +02:00 |
|
Daniel Kirchner
|
3494476abd
|
Merge pull request #11372 from ethereum/evmc8DockerImages
Update evmone and boost download links in docker images.
|
2021-05-13 18:31:52 +02:00 |
|
Alex Beregszaszi
|
90072a7c0d
|
update docker hashes
|
2021-05-13 16:25:55 +01:00 |
|
Alex Beregszaszi
|
3172d28c56
|
Upgrade hera to v0.3.2-evmc8
|
2021-05-13 13:15:13 +01:00 |
|
Alex Beregszaszi
|
d898342178
|
Update hera in docker images
|
2021-05-13 13:11:32 +01:00 |
|
Daniel Kirchner
|
7073198adb
|
Update docker image hashes in CircleCI config.
|
2021-05-12 16:56:23 +02:00 |
|
Alex Beregszaszi
|
99354a3b59
|
Upgrade evmone to 0.7.0
|
2021-05-12 16:56:23 +02:00 |
|
Alex Beregszaszi
|
c66c5c9f1d
|
EVMHost: properly populate implicit access list for Berlin
|
2021-05-12 16:49:04 +02:00 |
|
Alex Beregszaszi
|
5bfd26287c
|
Upgrade to EVMC 8.0.0
|
2021-05-12 16:49:04 +02:00 |
|
Daniel Kirchner
|
98e2b4e5ed
|
Merge pull request #11374 from ethereum/semanticTestVMLoadingAndFailures
Change loading of VMs and error messages during test.
|
2021-05-12 16:47:16 +02:00 |
|
Alex Beregszaszi
|
977fc4b5e1
|
Merge pull request #11383 from ethereum/buglist
Add missing blogpost to the buglist
|
2021-05-12 14:57:07 +01:00 |
|
Alex Beregszaszi
|
6bdb69e56a
|
Merge pull request #11307 from ethereum/security-advisory
Introduce unique numbering for bugs
|
2021-05-12 14:39:44 +01:00 |
|
Alex Beregszaszi
|
7da62f0a1c
|
Add missing blogpost to the buglist
And also change the old blog.ethereum.org links to blog.soliditylang.org
|
2021-05-12 13:57:53 +01:00 |
|
Alex Beregszaszi
|
94f7d281d0
|
Introduce unique numbering for bugs
|
2021-05-12 13:49:14 +01:00 |
|
Daniel Kirchner
|
06a9199967
|
Change loading of VMs and error messages during test.
|
2021-05-12 14:48:37 +02:00 |
|
Leonardo
|
02718cabcf
|
Merge pull request #11334 from ethereum/smt_abstract_function
[SMTChecker] Abstract function smtchecker natspec
|
2021-05-12 11:26:52 +02:00 |
|
Leo Alt
|
880a2fffb6
|
tests
|
2021-05-11 21:20:42 +02:00 |
|
Leo Alt
|
75afaf14f6
|
Docs
|
2021-05-11 15:30:19 +02:00 |
|
Leo Alt
|
9c61c62f85
|
Changelog
|
2021-05-11 15:30:19 +02:00 |
|
Leonardo Alt
|
4b2ccf2f37
|
Abstract function smtchecker natspec
|
2021-05-11 15:30:19 +02:00 |
|
Leonardo
|
eb99177506
|
Merge pull request #11377 from ethereum/smt_cast_rational
[SMTChecker] Assign cast from constants directly
|
2021-05-11 14:47:51 +02:00 |
|
Leo Alt
|
e2959ce55c
|
Assign cast from constants directly
|
2021-05-11 14:07:09 +02:00 |
|
Harikrishnan Mulackal
|
299dae4d1a
|
Merge pull request #11376 from fulldecent/patch-19
Specify how blockhash will act for invalid inputs, fixes #11364
|
2021-05-11 10:11:52 +02:00 |
|
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 |
|
Daniel Kirchner
|
c7f321c12d
|
Update evmone and boost download links in docker images.
|
2021-05-10 13:25:39 +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 |
|