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 |
|
Kamil Śliwak
|
fc4fedb214
|
[yul-phaser] Add GenerationalElitistWithExclusivePools algorithm
|
2020-03-09 13:21:48 +01:00 |
|
cameel
|
7e80ac861f
|
[yul-phaser] Population: Add mutate() and crossover() methods
|
2020-03-09 13:21:48 +01:00 |
|
Kamil Śliwak
|
92b54d83a3
|
[yul-phaser] Common: Add geneSubstitution() mutation
|
2020-03-09 13:21:48 +01:00 |
|
Kamil Śliwak
|
c941eaf5d6
|
[yul-phaser] Add randomPointCrossover() and fixedPointCrossover() operators
|
2020-03-09 13:21:48 +01:00 |
|
cameel
|
3fdb4ca607
|
[yul-phaser] Add geneRandomisation(), geneDeletion(), geneAddition and alternativeMutations()
|
2020-03-09 13:21:48 +01:00 |
|
Kamil Śliwak
|
643a5f2035
|
[yul-phaser] Common: Add wholeChromosomeReplacement() mutation and countDifferences()
|
2020-03-09 13:21:48 +01:00 |
|
Kamil Śliwak
|
f9f2bdb5f7
|
[yul-phaser] Add RandomPairSelection and PairMosaicSelection classes
|
2020-03-09 13:21:48 +01:00 |
|
cameel
|
44932dc85a
|
[yul-phaser] Base class for pair selections
|
2020-03-09 13:21:48 +01:00 |
|
Kamil Śliwak
|
7c7ebbb35f
|
[yul-phaser] main: Rename initializeRNG() to initialiseRNG()
|
2020-03-09 13:21:48 +01:00 |
|
chriseth
|
37e01a19c0
|
Fix scoping following try/catch.
|
2020-03-09 13:14:13 +01:00 |
|
chriseth
|
b1e43833c7
|
Merge pull request #8454 from ethereum/YulUtil-compile-fix
Compilation fix.
|
2020-03-09 11:52:23 +01:00 |
|
Christian Parpart
|
105d89bea8
|
Compilation fix.
|
2020-03-09 11:42:34 +01:00 |
|
chriseth
|
4a4c1a7ba7
|
Merge pull request #8402 from ethereum/fix-8401
Update solidity fuzzing dictionary with >0.6.0 keywords
|
2020-03-09 11:38:18 +01:00 |
|
Christian Parpart
|
988bd6780b
|
Merge pull request #8414 from ethereum/sol2yul-func-type-conversion
[Sol2Yul] Implements function-to-function cast.
|
2020-03-09 11:31:44 +01:00 |
|
Christian Parpart
|
d33376cce6
|
Merge pull request #8409 from ethereum/multiUseYulFunctionNoSharedPtr
Use plain members and references instead of shared pointers for MultiUseYulFunctionCollector
|
2020-03-09 11:18:40 +01:00 |
|
chriseth
|
dbe2a5f451
|
Merge pull request #8447 from ethereum/fixYulLink
Fix yul links.
|
2020-03-09 10:53:44 +01:00 |
|
Christian Parpart
|
e210026e74
|
[Sol2Yul] Implements function-to-function cast.
|
2020-03-09 10:40:57 +01:00 |
|
Bhargava Shastry
|
2153a1ef1d
|
Update test/tools/ossfuzz/README.md
Address review comments
|
2020-03-09 10:38:19 +01:00 |
|
Christian Parpart
|
c8cbb98002
|
[Sol2Yul] Fixes appendExternalFunctionCall for argumentStrings.size() == 0.
|
2020-03-09 10:30:07 +01:00 |
|
chriseth
|
2b804017fe
|
Fix yul links.
|
2020-03-09 09:42:03 +01:00 |
|
chriseth
|
cdfb872389
|
[DOCS] Fix pre-computation of salted address.
|
2020-03-08 19:15:21 +01:00 |
|
chriseth
|
a328e940b5
|
Merge pull request #8429 from ethereum/astJsonImportYulBlock
Fix yul ast import for blocks, switches and string literals.
|
2020-03-08 17:06:05 +01:00 |
|
Daniel Kirchner
|
e58a1de57f
|
Merge pull request #8431 from mijovic/sol2YulSelectorAddress
Adding sol->yul for f.selector and f.address
|
2020-03-06 22:48:38 +01:00 |
|
Djordje Mijovic
|
092827b7ad
|
Adding sol->yul for f.selector and f.address
|
2020-03-06 21:43:14 +01:00 |
|
Daniel Kirchner
|
2df5ca0774
|
Merge pull request #8385 from ethereum/immutable
Immutable state variables (1)
|
2020-03-06 14:20:13 +01:00 |
|
Daniel Kirchner
|
78ce4b9611
|
Merge pull request #8436 from ethereum/fixCallingBaseFunction
Fix calling unimplemented base function.
|
2020-03-06 11:41:30 +01:00 |
|