Alex Beregszaszi
|
145176f18c
|
Merge pull request #8742 from ethereum/smt_fix_slices
Fix internal error when using array slices
|
2020-04-23 00:00:50 +01:00 |
|
Leonardo Alt
|
cfe3686116
|
Fix internal error when using array slices
|
2020-04-22 23:20:10 +02:00 |
|
Leonardo
|
6d98b907ef
|
Merge pull request #8746 from ethereum/smt_fix_fixed_point
Fix ICE with fixed point
|
2020-04-22 23:18:41 +02:00 |
|
Alex Beregszaszi
|
a9ae780fa2
|
Merge pull request #8748 from ethereum/smt_fix_undefined
[SMTChecker] Fix undefined behavior with nullptr
|
2020-04-22 22:14:05 +01:00 |
|
Leonardo Alt
|
b191139f2a
|
Fix undefined behavior with nullptr
|
2020-04-22 20:49:40 +02:00 |
|
Leonardo Alt
|
1cb68b1be7
|
Add internal function calls to CHC docs
|
2020-04-22 20:15:01 +02:00 |
|
Leonardo Alt
|
83c9e82099
|
Fix ICE with fixed point
|
2020-04-22 19:57:00 +02:00 |
|
Djordje Mijovic
|
5329da93fb
|
[Sol2Yul] Adding support for constructors with parameters in case of inheritance
|
2020-04-22 14:47:08 +02:00 |
|
chriseth
|
14fc9e740c
|
Merge pull request #8685 from ethereum/yulForTypeType
Yul codegen for member access to type type
|
2020-04-22 14:27:19 +02:00 |
|
Alex Beregszaszi
|
fe383fbd7a
|
Add missing blog URLs to bugs.json
|
2020-04-22 12:03:10 +01:00 |
|
chriseth
|
4908101ad7
|
Yul IR generation for member access to type types.
|
2020-04-22 11:25:27 +02:00 |
|
chriseth
|
d0fcd468f6
|
Merge pull request #8709 from ethereum/repeated_and_or_rules
Add optimizer rules for repeated `and` and `or`
|
2020-04-22 11:21:40 +02:00 |
|
Leonardo Alt
|
2daa52f18c
|
Fix CI pip version
|
2020-04-22 10:20:59 +02:00 |
|
Leonardo Alt
|
606153ba71
|
Add optimizer rules for repeated and
|
2020-04-22 10:20:59 +02:00 |
|
chriseth
|
8c60b2c847
|
Merge pull request #8714 from iamdefinitelyahuman/develop
Add dark mode to documentation
|
2020-04-20 21:36:17 +02:00 |
|
iamdefinitelyahuman
|
d59706e5f5
|
docs: fix formatting errors and style inconsistencies
|
2020-04-20 20:24:31 +04:00 |
|
iamdefinitelyahuman
|
c59854c4bb
|
docs: add dark mode to documentation
|
2020-04-20 20:23:45 +04:00 |
|
chriseth
|
6900544f0d
|
Merge pull request #8651 from a3d4/modify-evmone-version
Update evmone version to v0.4 in docs and scripts
|
2020-04-20 16:49:10 +02:00 |
|
chriseth
|
1d8e742296
|
Merge pull request #8684 from ethereum/yulForSelector
Yul codegen for `.selector`.
|
2020-04-20 16:32:11 +02:00 |
|
chriseth
|
41ef13129b
|
Merge pull request #8678 from ethereum/smt_remove_redundant_constraints
[SMTChecker] Remove redundant CHC constraints
|
2020-04-20 15:44:59 +02:00 |
|
Kamil Śliwak
|
c2effd4e98
|
[yul-phaser] Mutations: Minor style tweak, missing space in the ternary operator
|
2020-04-20 15:30:10 +02:00 |
|
Kamil Śliwak
|
d9e2735361
|
[yul-phaser] Add options for selecting crossover operator used by the algorithms
|
2020-04-20 15:30:10 +02:00 |
|
Kamil Śliwak
|
ad89b477c8
|
[yul-phaser] GeneticAlgorithms: Add methods for selecting a crossover operator
|
2020-04-20 15:30:10 +02:00 |
|
Kamil Śliwak
|
1ada2a52fb
|
[yul-phaser] Mutations: Add two-point and uniform crossover operators
|
2020-04-20 15:30:10 +02:00 |
|
chriseth
|
55483445e9
|
Merge pull request #8663 from ethereum/ir-function-generation-queue
[Sol->Yul] IR function generation queue (refactor)
|
2020-04-20 15:17:53 +02:00 |
|
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 |
|
Kamil Śliwak
|
c7947c1af6
|
Implement lazy function generation using function generation queue
|
2020-04-17 13:28:07 +02:00 |
|
Kamil Śliwak
|
1f28f79ae6
|
IRGenerator::generate(): Remove duplicate call to setMostDerivedContract()
- The same call happens in resetContext(_contract) called immediately before
|
2020-04-17 13:28:07 +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 |
|
Alexander Arlt
|
3754a86ab2
|
Add support for interfaceID.
|
2020-04-16 12:17:40 -05: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 |
|