 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
|
d9e2735361
|
[yul-phaser] Add options for selecting crossover operator used by the algorithms
|
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 |
|
 Bhargava Shastry
|
ea5b64ca9e
|
Fuzzer: Permit linking of libraries in compilation framework
|
2020-04-20 14:28:38 +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 |
|
|
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
|
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
|
c7947c1af6
|
Implement lazy function generation using function generation queue
|
2020-04-17 13:28:07 +02:00 |
|
 Alexander Arlt
|
3754a86ab2
|
Add support for interfaceID.
|
2020-04-16 12:17:40 -05: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 |
|
|
chriseth
|
f271dfa2e2
|
Yul codegen for .selector.
|
2020-04-16 13:42:58 +02:00 |
|
|
chriseth
|
06adbc2c59
|
Implement bit operations.
|
2020-04-16 00:33:45 +02:00 |
|
 Leonardo Alt
|
bca43586c6
|
[SMTChecker] Remove redundant CHC constraints
|
2020-04-15 18:11:39 +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 |
|
|
Daniel Kirchner
|
0c5c93f3c2
|
Fix tuple assignments for empty tuples in Yul IR.
|
2020-04-15 11:10:52 +02:00 |
|
 Christian Parpart
|
d00d3c45b1
|
[Sol2Yul] Implements codegen part for try/catch statements.
|
2020-04-14 18:42:37 +02:00 |
|
|
Alexander Arlt
|
aac7a1e434
|
Apply modernize-pass-by-value.
|
2020-04-14 10:32:13 -05:00 |
|
 a3d4
|
760ae7f584
|
Update evmone version to v0.4 in docs and scripts
|
2020-04-14 14:34:47 +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 |
|
|
chriseth
|
a7a1feb1b8
|
Merge pull request #8626 from ethereum/immutable-functioncallgraph
Prepare literalArguments for immutable builtin functions
|
2020-04-09 15:46:02 +02:00 |
|
 Mathias Baumann
|
5203503583
|
Allow for per-parameter literalValues builtin functions
|
2020-04-08 16:41:38 +02:00 |
|
|
chriseth
|
748afe0edd
|
Merge pull request #8630 from ethereum/encoding-bug-functionCallOption
TypeChecker error when encoding functions with call options; tests
|
2020-04-08 16:33:24 +02:00 |
|
|
chriseth
|
9fab9df18c
|
Merge pull request #8607 from a3d4/fix-nested-tuples
Fixed nested tuples on the right-hand side.
|
2020-04-08 12:29:52 +02:00 |
|
|
a3d4
|
aba0b2957c
|
Fix tuple assignments with multi-slot components.
|
2020-04-07 18:39:25 +02:00 |
|
|
chriseth
|
baefab78d8
|
Merge pull request #8628 from ethereum/fiximmutableastexport
Export immutability.
|
2020-04-07 18:37:09 +02:00 |
|
 hrkrshnn
|
229587672f
|
TypeChecker error when encoding functions with call options; tests
|
2020-04-07 21:11:46 +05:30 |
|
|
chriseth
|
236eff8416
|
Export immutability.
|
2020-04-07 17:30:54 +02:00 |
|
|
chriseth
|
823a119117
|
Merge pull request #8570 from aarlt/clang-tidy-apply-modernize-use-emplace
clang-tidy: Apply modernize-use-emplace.
|
2020-04-07 17:28:50 +02:00 |
|
|
Leonardo Alt
|
e3ec22124e
|
[SMTChecker] Fix ICE in CHC internal calls
|
2020-04-07 01:09:03 +02:00 |
|
|
Kamil Śliwak
|
0efea99fa5
|
[yul-phaser] Phaser: Allow selecting the classic algorithm on the command line
|
2020-04-06 19:06:08 +02:00 |
|
|
Kamil Śliwak
|
f6783c60b2
|
[yul-phaser] GeneticAlgorithms: Add ClassicGeneticAlgorithm
|
2020-04-06 19:06:08 +02:00 |
|
|
Kamil Śliwak
|
8c86a4983d
|
[yul-phaser] Population: Add combine()
|
2020-04-06 19:06:08 +02:00 |
|
|
Kamil Śliwak
|
ef8d0888af
|
[yul-phaser] Population: Add symmetricCrossoverWithRemainder()
|
2020-04-06 19:06:08 +02:00 |
|
|
Kamil Śliwak
|
59011fcde6
|
[yul-phaser] Mutations: Add mutationSequence()
|
2020-04-06 19:06:08 +02:00 |
|
|
Kamil Śliwak
|
0837a62d5c
|
[yul-phaser] Mutations: Add symmetricRandomPointCrossover()
|
2020-04-06 19:06:08 +02:00 |
|
|
Kamil Śliwak
|
b6f8ecf755
|
[yul-phaser] Selections+PairSelections: Add RandomSubset and PairsFromRandomSubset
|
2020-04-06 19:06:08 +02:00 |
|