Commit Graph

20205 Commits

Author SHA1 Message Date
Alex Beregszaszi
13388e283e
Merge pull request #11385 from ethereum/temporary-working-directory-helper
TemporaryWorkingDirectory helper
2021-05-20 20:06:03 +01:00
Leonardo
1239c0c332
Merge pull request #11416 from ethereum/fix-asan-stack-use-after-scope-in-test-file-parser-test
Fix asan stack-use-after-scope in TestFileParserTest
2021-05-20 12:54:33 +02:00
Kamil Śliwak
4a2080b3aa TemporaryDirectory: Use boost::filesystem::equivalent() instead of == in path comparisons 2021-05-20 00:07:42 +02:00
Kamil Śliwak
828b15b34f Implement TemporaryWorkingDirectory test helper 2021-05-20 00:07:42 +02:00
Kamil Śliwak
d85cc6c06a Fix dangling reference produced by temporary passed to TestFileParser going out of scope
- This fixes the `stack-use-after-scope` error reported by asan.
2021-05-19 23:27:41 +02:00
Kamil Śliwak
752483b92f Minor style tweaks in test TestFileParser (names and wrapping) 2021-05-19 23:27:41 +02:00
Harikrishnan Mulackal
d07c85db67
Merge pull request #11360 from maurelian/patch-2
Some improvements to optimizer documentation
2021-05-19 13:24:05 +02:00
Maurelian
8b66a99be2 Some improvements to optimizer documentation
Co-authored-by: Harikrishnan Mulackal <webmail.hari@gmail.com>
2021-05-19 12:40:51 +02:00
Leonardo
dac24294c7
Merge pull request #11384 from ethereum/expose-temporary-directory-helper
Expose TemporaryDirectory helper
2021-05-18 12:44:10 +02:00
Alex Beregszaszi
d61f21276d
Merge pull request #11399 from ethereum/hex-conversion
Turn toCompactHexWithPrefix into a template and support unsigned types
2021-05-18 11:36:43 +01:00
Harikrishnan Mulackal
21af5408d9
Merge pull request #11397 from ethereum/v1-test-cleanup
Cleanup ABICoder V1 tests
2021-05-17 16:20:22 +02:00
Harikrishnan Mulackal
72b071c3c3
Merge pull request #11400 from blishko/smt-struct-constructor-fix
SMTChecker: Fix struct constructor where fixed-bytes member is initialized with a string literal
2021-05-17 14:32:17 +02:00
Martin Blicha
9c98ab59f0 SMTChecker: fixed struct constructor where FixedBytes member is initialized with a string literal 2021-05-17 13:52:37 +02:00
Alex Beregszaszi
3e8e5f3bf9 Fix v1/v2 tests to behave like they did pre-0.8.0 2021-05-17 12:37:10 +01:00
Alex Beregszaszi
299873182b Cleanup ABICoder V1 tests
Include the pragma explicitly, rename the file to have a _v1 suffix, and also add V2 counterparts where missing.
2021-05-17 12:37:10 +01:00
Harikrishnan Mulackal
1d41ceaed4
Merge pull request #11402 from ethereum/gcc11
Fix compilation errors with GCC 11
2021-05-17 13:27:54 +02:00
Alex Beregszaszi
44e35e0652 Fix compilation errors with GCC 11 2021-05-17 11:35:07 +01:00
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
6dae6583af Turn toCompactHexWithPrefix into a template and support unsigned types
This should help with boost::multiprecision versions where explicit unsigned/enum conversion to bigint do not exists (such as boost 1.76)
2021-05-15 23:33:29 +01: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
Kamil Śliwak
cdebbb0dbb TemporaryDirectory: Expose boost::filesystem::path in class interface 2021-05-12 18:08:17 +02:00
Kamil Śliwak
5619702d31 Extract TemporaryDirectory test helper from yulPhaser's tests into a more general location 2021-05-12 17:16:29 +02: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