Daniel Kirchner
|
c8f25142a7
|
Add nooptions label to smt checks.
|
2020-07-11 20:17:12 +02:00 |
|
Daniel Kirchner
|
d1ea33bcca
|
Merge pull request #9383 from ethereum/updateJsonCpp
Upgrade json-cpp to 1.9.3.
|
2020-07-10 22:41:38 +02:00 |
|
Alex Beregszaszi
|
20dd66f398
|
Fix missing quote in error message for invalid Yul types
|
2020-07-10 21:06:09 +01:00 |
|
Daniel Kirchner
|
0fd13b7a9e
|
Upgrade json-cpp to 1.9.3.
|
2020-07-10 21:40:15 +02:00 |
|
Daniel Kirchner
|
65ed93d99f
|
Merge pull request #9366 from ethereum/wasm-clz
Fix yulInterpreter to correctly handle i32.clz
|
2020-07-10 20:36:24 +02:00 |
|
Leonardo
|
8d4ec27544
|
Merge pull request #9376 from ethereum/smt_refactor_targets
[SMTChecker] Refactor verification targets
|
2020-07-10 17:30:48 +02:00 |
|
a3d4
|
cf5e9a3551
|
Merge pull request #9062 from a3d4/fix-oversized-object-compiler-error
Fix internal compiler error related to oversized objects
|
2020-07-10 16:43:43 +02:00 |
|
Alex Beregszaszi
|
f5ae9c5761
|
Fix yulInterpreter to correctly handle i32.clz
|
2020-07-10 15:38:25 +01:00 |
|
a3d4
|
efc5ee207d
|
Fix internal compiler error caused by oversized objects
|
2020-07-10 11:39:07 +02:00 |
|
Leonardo Alt
|
88030c6568
|
[SMTChecker] Refactor verification targets
|
2020-07-10 10:28:49 +02:00 |
|
Djordje Mijovic
|
3781ee6349
|
Removing -Wsign-conversion flag for ossfuzz targets
|
2020-07-09 17:22:52 +02:00 |
|
Alex Beregszaszi
|
a0300835eb
|
Change CHC to avoid sign mismatch
|
2020-07-09 17:22:52 +02:00 |
|
Djordje Mijovic
|
547590b972
|
Fixing additional signedness errors after adding -Wsign-conversion flag
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
|
2020-07-09 17:22:45 +02:00 |
|
chriseth
|
7a4cab38fc
|
Merge pull request #9284 from ethereum/issue-8188
Remove visiblity of libraries in inherited contracts.
|
2020-07-09 16:40:55 +02:00 |
|
Mathias Baumann
|
6b37f1c025
|
Remove visiblity of libraries in inherited contracts.
|
2020-07-09 16:38:29 +02:00 |
|
chriseth
|
e144e85f45
|
Merge pull request #9374 from ethereum/runoptionsfirst
Run "options" test first to get early failures.
|
2020-07-09 16:19:28 +02:00 |
|
chriseth
|
82b66c7687
|
Merge pull request #9372 from a3d4/improve-error-coverage-cmdlinetests
Cover cmdlineTests.sh errors
|
2020-07-09 16:17:00 +02:00 |
|
chriseth
|
872858078f
|
Run "options" test first to get early failures.
|
2020-07-09 16:16:17 +02:00 |
|
chriseth
|
9ef050af9a
|
Merge pull request #9373 from ethereum/develop
Merge develop into breaking.
|
2020-07-09 16:15:43 +02:00 |
|
chriseth
|
2b94ced65f
|
Merge pull request #8305 from ethereum/fix-7947
yul proto fuzzer: Use custom mutation routines
|
2020-07-09 15:40:16 +02:00 |
|
chriseth
|
8b52985744
|
Merge pull request #9357 from ethereum/fix-9356
Disable more than one reference to a variable on the LHS of a tuple a…
|
2020-07-09 15:27:04 +02:00 |
|
Djordje Mijovic
|
3c57e04751
|
Adding -Wsign-conversion flag to cmake.
|
2020-07-09 15:07:56 +02:00 |
|
chriseth
|
3cf5ed9514
|
Use plain strings for comparison.
|
2020-07-09 15:00:13 +02:00 |
|
chriseth
|
ec2393d3b6
|
Refactor interpreter.
|
2020-07-09 15:00:13 +02:00 |
|
a3d4
|
a068583bec
|
Cover cmdlineTests.sh errors
|
2020-07-09 14:39:05 +02:00 |
|
Bhargava Shastry
|
7272129354
|
yul fuzzer: Add framework for yul optimizer custom mutation routines
Co-authored-by: Leonardo <leo@ethereum.org>
|
2020-07-09 13:32:07 +02:00 |
|
chriseth
|
8548bf1b4c
|
Merge pull request #9365 from ethereum/fixProofScript
Proof script should only run on existing files.
|
2020-07-08 23:58:17 +02:00 |
|
Daniel Kirchner
|
fe5bcf759e
|
Run proof script only on existing files.
|
2020-07-08 22:57:36 +02:00 |
|
chriseth
|
f3e100a000
|
Merge pull request #9359 from ethereum/doNotRunAllTests
Do not run tests that do not need options multiple times.
|
2020-07-08 22:19:46 +02:00 |
|
Daniel Kirchner
|
29bad26dee
|
Merge pull request #9122 from ethereum/optimizeShiftBytes
Optimize combination of byte and shl.
|
2020-07-08 21:41:49 +02:00 |
|
chriseth
|
59f4989966
|
Optimize combination of byte and shl.
|
2020-07-08 20:26:46 +02:00 |
|
chriseth
|
d3abbd5610
|
Remove unneccessary masking of tags.
|
2020-07-08 20:16:39 +02:00 |
|
chriseth
|
9ebb92cacd
|
Merge pull request #9291 from ethereum/no_dot_in_asm_prelim
[BREAKING] Disallow dot in inline assembly identifiers.
|
2020-07-08 20:16:18 +02:00 |
|
chriseth
|
ecc4bf2464
|
Merge pull request #9354 from ethereum/improveTestSpeed
Improve testing speed by only enabling the Yul optimizer if needed.
|
2020-07-08 19:54:32 +02:00 |
|
chriseth
|
8eb459c825
|
Disallow dot in inline assembly identifiers.
|
2020-07-08 19:29:58 +02:00 |
|
chriseth
|
76d3e579bc
|
Merge pull request #9334 from ethereum/propagateArguments
Propagate arguments
|
2020-07-08 19:22:43 +02:00 |
|
chriseth
|
d4ecd33247
|
Propagate function call argument types across function call options.
|
2020-07-08 17:59:02 +01:00 |
|
chriseth
|
83337c850e
|
Do not run tests that do not need options multiple times.
|
2020-07-08 18:47:14 +02:00 |
|
chriseth
|
0c7e4cf16b
|
Merge pull request #9340 from ethereum/compileTimeSha
Evaluate keccak256 of string literals at compile-time.
|
2020-07-08 18:42:38 +02:00 |
|
chriseth
|
19ec9ecbfd
|
Merge pull request #9347 from ethereum/moretests
Add create & delete array tests for yul
|
2020-07-08 18:09:57 +02:00 |
|
chriseth
|
0a0f578d7c
|
Evaluate keccak256 of string literals at compile-time.
|
2020-07-08 16:14:14 +02:00 |
|
Harikrishnan Mulackal
|
6b435b2192
|
solidity-upgrade: added module to remove visibility of constructors
|
2020-07-08 18:57:20 +05:30 |
|
Bhargava Shastry
|
48ac4b2954
|
Disable more than one reference to a variable on the LHS of a tuple assignment
|
2020-07-08 13:16:07 +02:00 |
|
Mathias Baumann
|
f9d6fa71fd
|
Add create & delete array tests for yul
|
2020-07-08 13:10:33 +02:00 |
|
chriseth
|
5ebf2b84ef
|
Improve testing speed by only enabling the Yul optimizer if needed.
|
2020-07-08 10:51:42 +02:00 |
|
chriseth
|
89231bea1e
|
Merge pull request #9324 from ethereum/noDuplicateInternalRoutine
Remove duplicate creation of internal routine.
|
2020-07-08 10:30:37 +02:00 |
|
chriseth
|
fe35f6799a
|
Merge pull request #9342 from ethereum/yul-phaser-temporarily-disable-slow-classic-algorithm-tests
[yul-phaser] Temporarily disable very slow tests for the classic algorithm
|
2020-07-08 10:28:29 +02:00 |
|
chriseth
|
64b6524bdb
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-07-08 09:37:14 +02:00 |
|
chriseth
|
ad5ae2eefe
|
Merge pull request #9349 from ethereum/release
Merge release back into develop.
|
2020-07-07 20:45:42 +02:00 |
|
chriseth
|
6c21395d8c
|
Merge pull request #9341 from ethereum/versionTo0612
Set version to 0.6.12.
|
2020-07-07 20:45:06 +02:00 |
|