Kamil Śliwak
|
4aac7d1673
|
[yul-phaser] main: Switch from using Population::run() to RandomAlgorithm
|
2020-02-25 16:06:16 +01:00 |
|
Kamil Śliwak
|
e1b8b64f05
|
[yul-phaser] Population: Remove no longer used methods for running algorithm steps
- They have been superseded by objects from GeneticAlgorithms.h
|
2020-02-25 16:06:16 +01:00 |
|
cameel
|
67fbafab8f
|
[yul-phaser] Add RandomAlgorithm
|
2020-02-25 16:06:16 +01:00 |
|
cameel
|
4665b7a7e4
|
[yul-phaser] Population: Add select() method
|
2020-02-25 15:25:16 +01:00 |
|
cameel
|
83b8ab8012
|
[yul-phaser] Add RangeSelection, MosaicSelection and RandomSelection classes
|
2020-02-25 15:25:16 +01:00 |
|
cameel
|
3c41bfbc4e
|
[yul-phaser] Base class for selections
|
2020-02-25 15:25:16 +01:00 |
|
cameel
|
11bdf358df
|
[yul-phaser] Base class for genetic algorithms
|
2020-02-25 15:25:16 +01:00 |
|
Kamil Śliwak
|
26bae6b459
|
[yul-phaser] Common: Add countSubstringOccurrences()
|
2020-02-25 15:25:16 +01:00 |
|
chriseth
|
9b119c014e
|
Merge pull request #8362 from ethereum/fix-7250
Docker: Use image identical to ossfuzz builder
|
2020-02-25 14:51:10 +01:00 |
|
chriseth
|
af81d4b6ce
|
Merge pull request #8377 from mijovic/solcEmptyFileName
Allowing filename to be empty in json settings file for solc. Fixing …
|
2020-02-25 14:30:02 +01:00 |
|
chriseth
|
45041e5d3a
|
Allow access to `_slot` for local storage pointer variables.
|
2020-02-25 14:28:04 +01:00 |
|
Bhargava Shastry
|
24eb39ca11
|
Docker: Add image identical to one used by ossfuzz builder
|
2020-02-25 10:46:41 +01:00 |
|
Djordje Mijovic
|
8524e3f48d
|
Standard-JSON-Interface: Fix a bug (#8371) related to empty filenames and imports.
|
2020-02-25 01:07:36 +01:00 |
|
Leonardo
|
44bcff42f5
|
Merge pull request #8161 from ethereum/yulTypeChecking
Yul type checking
|
2020-02-24 16:05:04 -03:00 |
|
chriseth
|
6697c07db7
|
Merge pull request #8359 from ethereum/fix-8358
[Docker] Upgrade libprotobuf-mutator inside clang docker image
|
2020-02-24 16:06:22 +01:00 |
|
Djordje Mijovic
|
c891597204
|
Adding ssa type check and test for that one
|
2020-02-24 15:05:19 +01:00 |
|
Djordje Mijovic
|
2efda4129b
|
Adding test for multi return values including bool in evmTyped dialect. Calling zeroLiteralForType from inliner
|
2020-02-24 15:05:19 +01:00 |
|
chriseth
|
bddbcbe6a4
|
Use bool type in word size transform.
|
2020-02-24 15:05:19 +01:00 |
|
chriseth
|
6b272faec0
|
Some wasm related type fixes.
|
2020-02-24 15:05:19 +01:00 |
|
chriseth
|
a52305d3bd
|
Use bool type in conditional simplifier and for loop condition into body.
|
2020-02-24 15:05:19 +01:00 |
|
Djordje Mijovic
|
a52c9af5b9
|
Adding vardecl optimization for boolean types
|
2020-02-24 15:05:19 +01:00 |
|
chriseth
|
e75cace78d
|
Properly assign types in control flow simplifier.
|
2020-02-24 15:05:19 +01:00 |
|
chriseth
|
e728cd76b6
|
Introduce typed named functions to dialect.
|
2020-02-24 15:05:19 +01:00 |
|
chriseth
|
b9b36cd89e
|
Properly assign types in ExpressionSplitter.
|
2020-02-24 15:05:19 +01:00 |
|
chriseth
|
915cb65106
|
Collect types together with names.
|
2020-02-24 15:05:19 +01:00 |
|
chriseth
|
2ee748b7f5
|
Add tests
|
2020-02-24 15:05:19 +01:00 |
|
chriseth
|
9140bc52c4
|
Tests for invalid types.
|
2020-02-24 15:05:18 +01:00 |
|
chriseth
|
6eec968365
|
Test updates.
|
2020-02-24 15:05:18 +01:00 |
|
chriseth
|
1f51716227
|
Type checking for Yul.
|
2020-02-24 15:05:18 +01:00 |
|
chriseth
|
449a8533ce
|
Merge pull request #8340 from mijovic/value-keyword-wei
TestFileParser: Adding keyword wei for expressing function call value
|
2020-02-24 15:01:15 +01:00 |
|
chriseth
|
aa6a2b4706
|
Merge pull request #8326 from imapp-pl/yul-phaser-fitness-metrics
[yul-phaser] Fitness metrics
|
2020-02-24 13:34:58 +01:00 |
|
Bhargava Shastry
|
8b6bfabfee
|
Docker: Upgrade libprotobuf-mutator inside clang docker image
|
2020-02-21 20:41:28 +05:30 |
|
Djordje Mijovic
|
dd9009eba6
|
TestFileParser: Adding new keyword wei for expressing function value
|
2020-02-21 11:39:37 +01:00 |
|
chriseth
|
cc55daae55
|
Merge pull request #8089 from ethereum/array-copy
[DOCS] Clarify array copying semantics
|
2020-02-20 16:15:17 +01:00 |
|
chriseth
|
525fe384e2
|
Merge pull request #8357 from ethereum/fix-8356
circleci: Use custom pipeline parameters per docker image revision in config
|
2020-02-20 15:48:10 +01:00 |
|
Bhargava Shastry
|
98fb71f03f
|
circleci: Use custom pipeline parameters per docker image revision in config
|
2020-02-20 11:34:49 +05:30 |
|
Kamil Śliwak
|
e8192e9aa3
|
[yul-phaser] main: Set the number of optimisation sequence repetitions to 5
|
2020-02-19 17:26:34 +01:00 |
|
cameel
|
2291cf78ac
|
[yul-phaser] Population: Add constructors to Individual to simplify initialization
|
2020-02-19 17:26:34 +01:00 |
|
cameel
|
cef01c961a
|
[yul-phaser] Population: Keep the individuals always sorted
|
2020-02-19 17:26:34 +01:00 |
|
cameel
|
76842ac3fd
|
[yul-phaser] Population: Evaluate fitness immediately when an individual is added or modified
- This removes the explicit evaluation phase.
- Fitness is no longer optional in Individual
|
2020-02-19 17:26:34 +01:00 |
|
cameel
|
66fdc1c374
|
[yul-phaser] Population: Store fitness metric rather than program directly
- In the console app use ProgramSize metric when creating the population.
|
2020-02-19 17:03:35 +01:00 |
|
cameel
|
85074e7a8a
|
[yul-phaser] Population: Extract sorting from doSelection() into sortIndividuals() in Population class
|
2020-02-19 17:03:35 +01:00 |
|
cameel
|
41f36f421d
|
[yul-phaser] Population: Extract conversion from chromosomes to individuals into a separate function
|
2020-02-19 17:03:35 +01:00 |
|
Kamil Śliwak
|
930a9918a6
|
[yul-phaser] ProgramSize: Add an option to repeat the optimisation sequence several times
|
2020-02-19 16:36:14 +01:00 |
|
Kamil Śliwak
|
751caf0ed3
|
[yul-phaser] Common: Add ChromosomeLengthMetric
|
2020-02-19 16:36:14 +01:00 |
|
cameel
|
2238919c76
|
[yul-phaser] Add ProgramSize metric
|
2020-02-19 16:36:14 +01:00 |
|
cameel
|
096129fbc4
|
[yul-phaser] Base class for fitness metrics
|
2020-02-19 16:36:14 +01:00 |
|
chriseth
|
357c936243
|
Merge pull request #8325 from imapp-pl/yul-phaser-population-tweaks
[yul-phaser] Miscellaneous Population tweaks and improvements
|
2020-02-19 12:35:10 +01:00 |
|
chriseth
|
8f2c5fc081
|
Merge pull request #8287 from a3d4/cmdlinetests-mingw
Adapted cmdlineTests.sh for MinGW
|
2020-02-19 11:50:24 +01:00 |
|
a3d4
|
4a29726f76
|
Adjusted solc path and fixed remapping tests in cmdlineTests.sh under mingw64.
|
2020-02-19 06:05:11 +01:00 |
|