Commit Graph

16347 Commits

Author SHA1 Message Date
chriseth
00a53c95e3
Merge pull request #8694 from ethereum/out-of-tree-build-dir
Out-of-tree SOLIDITY_BUILD_DIR
2020-04-20 15:15:52 +02:00
chriseth
a82ed2ac44
Merge pull request #8705 from ethereum/fix-8704
Fuzzer: Permit linking of libraries in compilation framework
2020-04-20 15:11:06 +02:00
chriseth
264c4264a1
Merge pull request #8644 from ethereum/refactor-lValueRequested
Replaced all instances of lValueRequested to willBeWrittenTo
2020-04-20 15:03:50 +02:00
Leonardo
338b0285a0
Merge pull request #8703 from ethereum/changelogDeclarationTypeChecker
Changelog entries for declaration type checker.
2020-04-20 14:55:40 +02:00
Bhargava Shastry
ea5b64ca9e Fuzzer: Permit linking of libraries in compilation framework 2020-04-20 14:28:38 +02:00
chriseth
5aa2107877 Changelog entries for declaration type checker. 2020-04-20 13:26:39 +02:00
chriseth
c24c4f85e4
Merge pull request #8665 from ethereum/recursiveStructRefactoring
Recursive struct refactoring and a bunch of ICE fixes.
2020-04-20 13:24:19 +02:00
chriseth
7eff836a6d
Merge pull request #8693 from ethereum/fix-inconsistent-indentation-in-scripts
Fix inconsistent indentation in scripts/
2020-04-20 12:16:07 +02:00
hrkrshnn
4760b8589d Replaced all instances of lValueRequested to willBeWrittenTo 2020-04-20 12:33:30 +05:30
Kamil Śliwak
3e65bcfd7f Allow SOLIDITY_BUILD_DIR outside of REPO_ROOT in scripts that respect this variable 2020-04-17 19:09:22 +02:00
Kamil Śliwak
a80b032081 Fix inconsistent indentation in scripts/
- NOT reindenting all files. Just choosing one style in files that were using multiple.
2020-04-17 19:09:02 +02:00
Leonardo
96ea8b3148
Merge pull request #8692 from ethereum/fix-missing-details-in-cmdlinetests-error-messages
Fix missing details in some error messages in cmdlineTests.sh
2020-04-17 18:27:03 +02:00
Kamil Śliwak
3180e6c5a2 cmdlineTests.sh: Fix missing details in some error messages
- As far as I know $STDERR is not a standard shell variable and it's not defined in the file either.
2020-04-17 15:45:17 +02:00
Kamil Śliwak
4788fdad0b Merge branch 'optimiser-suite-run-sequence-for-abbreviations' into develop 2020-04-17 15:39:20 +02:00
chriseth
ccc06c49af
Merge pull request #8681 from ethereum/fun_fun_functions
Add functional map and fold generic functions
2020-04-17 12:19:35 +02:00
chriseth
19e68dc2a8
Merge pull request #8687 from ethereum/optimiser-command-line-help-cleanup
Optimiser command line help cleanup
2020-04-17 12:18:04 +02:00
Leonardo Alt
45f22e3ff4 Add functional map and fold generic functions 2020-04-16 19:21:36 +02:00
Kamil Śliwak
56af85ef39 command-line help: Minor whitespace and text tweaks 2020-04-16 18:20:28 +02:00
Kamil Śliwak
004be1788f command-line help: Move optimizer options to a separate section 2020-04-16 18:12:53 +02:00
Kamil Śliwak
1e38985fef command-line help: Clarify that --optimize-yul no longer does anything 2020-04-16 18:10:18 +02:00
Daniel Kirchner
150497c12a Stricter bounds for memory arrays. 2020-04-16 17:51:18 +02:00
Daniel Kirchner
f6d1cee06b Ensure that public callable parameters are valid for calldata. 2020-04-16 17:23:20 +02:00
Daniel Kirchner
6093982606 Review suggestions. 2020-04-16 16:42:12 +02:00
Daniel Kirchner
3a5a4c6505 Another ICE test. 2020-04-16 16:42:12 +02:00
Daniel Kirchner
6f06154eb5 Move direct struct recursion check to detect recursion in global structs. 2020-04-16 16:42:12 +02:00
Daniel Kirchner
b744a56801 Refactoring of errors and fixes for various ICEs. 2020-04-16 16:42:12 +02:00
Daniel Kirchner
df1809f8da Annotate struct definitions with a recursive flag. 2020-04-16 16:42:12 +02:00
Kamil Śliwak
9db7d2bde9 OptimiserSuite: Replace full step names in run() with abbreviations 2020-04-16 16:09:15 +02:00
Kamil Śliwak
9d7df5db69 OptimiserSuite: Add a variant of runSequence() that works with a string of abbreviations 2020-04-16 16:09:15 +02:00
Kamil Śliwak
1b4e06605d OptimiserSuite: Extract the code for repeating a sequence into runSequenceUntilStable()
- Define a constant for the maximum number of repeats of the optimisation string
2020-04-16 15:23:38 +02:00
Leonardo
0f7a5e8062
Merge pull request #8679 from ethereum/bitOpsForYul
[Sol->Yul] Implement bit operations.
2020-04-16 09:08:19 +02:00
chriseth
06adbc2c59 Implement bit operations. 2020-04-16 00:33:45 +02:00
Daniel Kirchner
10879bcae6
Merge pull request #8675 from ethereum/disallowOverrideVirtualConstructor
Disallow virtual and override for constructors.
2020-04-15 16:04:24 +02:00
Leonardo
4fbe39b5e6
Merge pull request #8649 from ethereum/tryRight
Fix error reporting on diff.
2020-04-15 15:27:35 +02:00
Daniel Kirchner
b86c927505 Disallow virtual and override for constructors. 2020-04-15 13:58:37 +02:00
Daniel Kirchner
95349b3634
Merge pull request #8672 from ethereum/fixYulEmptyTupleAssign
Fix tuple assignments for empty tuples in Yul IR.
2020-04-15 12:36:46 +02:00
chriseth
aff1e93caa
Merge pull request #8571 from aarlt/clang-tidy-apply-modernize-pass-by-value
clang-tidy: Apply modernize-pass-by-value.
2020-04-15 12:06:25 +02:00
chriseth
703b6efb55
Merge pull request #8515 from imapp-pl/yul-phaser-classic-genetic-algorithm
[yul-phaser] Classic genetic algorithm
2020-04-15 12:01:51 +02:00
chriseth
cf2bd41837
Merge pull request #8554 from aarlt/yul_coverage_script
Add script to determine percentage of tests compilable via Yul.
2020-04-15 11:58:57 +02:00
Daniel Kirchner
0c5c93f3c2 Fix tuple assignments for empty tuples in Yul IR. 2020-04-15 11:10:52 +02:00
Daniel Kirchner
cbd90f8d12
Merge pull request #8673 from ethereum/fixProofsCI
Use latest docker image for chk_proofs and t_ems_solcjs CI runs.
2020-04-15 11:10:23 +02:00
Daniel Kirchner
c6c2d7174d Use latest docker image for chk_proofs and t_ems_solcjs CI runs. 2020-04-15 10:12:35 +02:00
chriseth
d3aa69e8bd
Merge pull request #8652 from esaulpaugh/develop
clarify description of padding for int<M> types
2020-04-14 19:13:40 +02:00
chriseth
25b0df3dde
Merge pull request #8246 from ethereum/yul-codegen-trycatch
Sol-to-Yul codegen for try-catch statement
2020-04-14 19:08:02 +02:00
Christian Parpart
d00d3c45b1 [Sol2Yul] Implements codegen part for try/catch statements. 2020-04-14 18:42:37 +02:00
Christian Parpart
3b83365b42 [libsolidity] TryStatement: Adding AST accessors for success/structured/fail clauses. 2020-04-14 18:39:08 +02:00
Alexander Arlt
aac7a1e434 Apply modernize-pass-by-value. 2020-04-14 10:32:13 -05:00
chriseth
79a44b8170
Merge pull request #8631 from ethereum/typingRefactoring
Extract typing from reference resolving.
2020-04-14 13:55:56 +02:00
Daniel Kirchner
c47714f0ba Update ASTJSON tests that fail to compile. 2020-04-14 10:59:28 +02:00
Daniel Kirchner
3af43fd350 Extract typing. 2020-04-14 10:59:28 +02:00