Kamil Śliwak
|
2110bf10cf
|
[yul-phaser] AlgorithmRunner: Create a structure to store runner's options
|
2020-03-13 11:21:23 +01:00 |
|
Kamil Śliwak
|
b8244f6a43
|
[yul-phaser] Extract the code that controls execution of algorithm rounds from GeneticAlgorithm into AlgorithmRunner
|
2020-03-13 11:21:23 +01:00 |
|
Kamil Śliwak
|
0c1b88508e
|
[yul-phaser] Refactor the code from main into a Phaser class
|
2020-03-13 11:21:23 +01:00 |
|
Kamil Śliwak
|
3e3887dc9a
|
[yul-phaser] main: Add missing underscores to parameter names
|
2020-03-13 11:21:23 +01:00 |
|
Alexander Arlt
|
9d67edb163
|
Add --show-metadata to enable metadata output.
|
2020-03-12 13:39:29 -05:00 |
|
chriseth
|
a1cc2504ba
|
Merge pull request #8444 from ethereum/immutable2
Parsing of immutable state variable.
|
2020-03-12 18:37:38 +01:00 |
|
chriseth
|
fa148f2483
|
Parsing of immutable state variable.
|
2020-03-12 17:11:24 +01:00 |
|
chriseth
|
f8f18f2e55
|
Merge pull request #8480 from a3d4/fix-8418-astutils-compiler-error
Replaced "assert" with "if"
|
2020-03-12 15:19:54 +01:00 |
|
chriseth
|
47b72032c6
|
Merge pull request #8328 from imapp-pl/yul-phaser-gewep-algorithm
[yul-phaser] GEWEP algorithm
|
2020-03-12 14:54:33 +01:00 |
|
a3d4
|
a86c511713
|
Replaced "assert" with "if" (incorrect contract code is not supposed to trigger asserts).
|
2020-03-12 14:03:27 +01:00 |
|
Daniel Kirchner
|
bdd8045db5
|
Merge pull request #8183 from ethereum/functionOptionsYulIR
[YulIR] Function call options for Yul IR
|
2020-03-12 10:49:51 +01:00 |
|
chriseth
|
a6a5d13ae3
|
Merge pull request #8486 from ethereum/fix_sol_yul_var
Fix variable name in Sol -> Yul
|
2020-03-11 21:14:51 +01:00 |
|
Leonardo Alt
|
89ce2dbfe9
|
The identifier var should be fine in Yul
|
2020-03-11 18:45:08 +01:00 |
|
Leonardo
|
07ab4c80c4
|
Merge pull request #8323 from ethereum/smt_split_3
[SMTChecker] CHC support to internal function calls
|
2020-03-11 18:37:45 +01:00 |
|
chriseth
|
101c47bfb9
|
Merge pull request #8397 from mijovic/ipfsLargeFiles
Adding support for ipfs large files
|
2020-03-11 18:34:27 +01:00 |
|
Leonardo Alt
|
07368c2e1e
|
Add support to internal function calls
|
2020-03-11 16:29:07 +01:00 |
|
Djordje Mijovic
|
37878cf8d2
|
Adding support for ipfs large files.
|
2020-03-11 13:55:46 +01:00 |
|
chriseth
|
1167af1dfe
|
Merge pull request #8478 from ethereum/simplifyTemplates
Remove PR template and empty general template.
|
2020-03-11 10:57:16 +01:00 |
|
chriseth
|
5dd30777d2
|
Test.
|
2020-03-10 22:44:06 +01:00 |
|
chriseth
|
6a896f766a
|
Function call options for YulIR.
|
2020-03-10 22:38:11 +01:00 |
|
chriseth
|
92d4bbb017
|
Salt should be bytes32.
|
2020-03-10 22:38:11 +01:00 |
|
chriseth
|
694da61b39
|
Remove PR template and empty general template.
|
2020-03-10 21:13:43 +01:00 |
|
chriseth
|
59071f602b
|
Merge pull request #8477 from ethereum/release
Merge release back into develop.
|
2020-03-10 21:11:22 +01:00 |
|
chriseth
|
ee3d42f0fd
|
Merge pull request #8476 from ethereum/updateVersionTo065
Set version to 0.6.5
|
2020-03-10 21:11:11 +01:00 |
|
chriseth
|
f8344cb4df
|
Set version to 0.6.5
|
2020-03-10 21:08:03 +01:00 |
|
Leonardo
|
69645298da
|
Merge pull request #8470 from ethereum/fix_smt_docs
SMTChecker docs test may issue a warning
|
2020-03-10 18:15:43 +01:00 |
|
Leonardo Alt
|
bcefda747c
|
Do not run smtCheckerTestsJSON if no solver available
|
2020-03-10 15:41:49 +01:00 |
|
Leonardo Alt
|
1b17815808
|
SMTChecker docs test may issue a warning
|
2020-03-10 15:41:49 +01:00 |
|
chriseth
|
1dca32f352
|
Merge pull request #8468 from ethereum/develop
Merge develop into release for 0.6.4
|
2020-03-10 15:24:17 +01:00 |
|
chriseth
|
5fd5465f66
|
Merge pull request #8471 from a3d4/fix-controlflowbuilder-compilation-error
Fixed ControlFlowBuilder compilation error.
|
2020-03-10 14:12:59 +01:00 |
|
a3d4
|
437ab3d24c
|
Fixed ControlFlowBuilder compilation error.
|
2020-03-10 14:02:16 +01:00 |
|
Christian Parpart
|
bb29a7e497
|
Merge pull request #8460 from ethereum/yulutil-convert-array
YulUtilFunctions: convertionFunction() to also handle array string/memory casts
|
2020-03-10 14:00:34 +01:00 |
|
chriseth
|
c8c5d5b13f
|
Merge pull request #8469 from ethereum/fixWindowsCFS
Mention ControlFlowSideEffects explicitly to ease the burden on MSVC.
|
2020-03-10 12:58:23 +01:00 |
|
chriseth
|
a3d5af30c6
|
Mention ControlFlowSideEffects explicitly to ease the burden on MSVC.
|
2020-03-10 12:55:23 +01:00 |
|
Christian Parpart
|
5d7a370248
|
YulUtilFunctions: convertionFunction() to also handle array string/memory casts.
|
2020-03-10 11:21:12 +01:00 |
|
chriseth
|
683ebc8ec3
|
Merge pull request #8466 from ethereum/changelog064
Prepare changelog for 0.6.4.
|
2020-03-10 10:54:25 +01:00 |
|
chriseth
|
d541e222a2
|
Prepare changelog for 0.6.4.
|
2020-03-10 10:46:13 +01:00 |
|
chriseth
|
8d2a9bf773
|
Merge pull request #8458 from a3d4/partfix-8244-introduced-testcase-shouldrun
Partial Fix #8244: Introduced TestCase::shouldRun().
|
2020-03-09 18:35:12 +01:00 |
|
chriseth
|
f6c0a8978d
|
Merge pull request #8428 from ethereum/assemblyControlFlow
Control flow analysis for inline assembly.
|
2020-03-09 18:27:00 +01:00 |
|
Leonardo
|
3896aa75cc
|
Merge pull request #8426 from ethereum/fix-7948
ossfuzz: Update README.md with steps to build fuzzers via docker
|
2020-03-09 16:41:10 +01:00 |
|
chriseth
|
e12fb5e962
|
Merge pull request #8446 from ethereum/fixSaltPrecomputation
[DOCS] Fix pre-computation of salted address.
|
2020-03-09 16:36:11 +01:00 |
|
Daniel Kirchner
|
809e3503ba
|
Control flow analysis for inline assembly.
|
2020-03-09 16:23:10 +01:00 |
|
a3d4
|
29b770c434
|
Introduced TestCase::shouldRun().
|
2020-03-09 15:52:20 +01:00 |
|
chriseth
|
b7c001eb7f
|
Merge pull request #8416 from ethereum/reuseYulCalldataTailAccess
Fix yul calldata tail access functions and reuse them for old codegen.
|
2020-03-09 15:10:48 +01:00 |
|
chriseth
|
4ad998eb5f
|
Merge pull request #8391 from ethereum/optimizedIRCommandline
Enable optimized IR output via the commandline.
|
2020-03-09 15:05:29 +01:00 |
|
chriseth
|
88c41f5e9d
|
Merge pull request #8445 from ethereum/fixTryCatch
Fix scoping following try/catch.
|
2020-03-09 14:59:24 +01:00 |
|
Kamil Śliwak
|
0fa2aa62b2
|
[yul-phaser] main: Lower gene mutation chance in GEWEP
|
2020-03-09 13:21:48 +01:00 |
|
Kamil Śliwak
|
763bdb1d51
|
[yul-phaser] Change the design of crossover operators so that they produce a single chromosome rather than a pair
|
2020-03-09 13:21:48 +01:00 |
|
cameel
|
a3e97108c5
|
[yul-phaser] main: Add GenerationalElitistWithExclusivePools as an option and make it the default
|
2020-03-09 13:21:48 +01:00 |
|
Kamil Śliwak
|
0c61f6d18f
|
[yul-phaser] main: Command-line option for algorithm selection
|
2020-03-09 13:21:48 +01:00 |
|