Kamil Śliwak
|
0913fd1aac
|
[yul-phaser] Extract ProgramBasedMetric base class from ProgramSize
|
2020-03-18 16:28:15 +01:00 |
|
Kamil Śliwak
|
bdc4d1ccd1
|
[yul-phaser] ProgramSize metric: Refactor repeating parts of test code
- Also replace test fixture constructor with direct member initialisation
|
2020-03-18 16:28:15 +01:00 |
|
chriseth
|
1c25104741
|
Merge pull request #8423 from imapp-pl/yul-phaser-population-and-algorithm-options
[yul-phaser] Population and algorithm options
|
2020-03-18 16:05:38 +01:00 |
|
chriseth
|
906a3bb28d
|
Merge pull request #8442 from a3d4/fix-8244-refactor-testcase-classes
Refactor TestCase classes
|
2020-03-18 15:39:09 +01:00 |
|
Kamil Śliwak
|
a2821db1dd
|
[yul-phaser] Phaser: Tests for factories
|
2020-03-18 13:30:58 +01:00 |
|
Kamil Śliwak
|
18f0d6eb94
|
[yul-phaser] AlgorithmRunner: Duplicate chromosome randomisation
|
2020-03-18 13:30:58 +01:00 |
|
Kamil Śliwak
|
1b5960111d
|
[yul-phaser] AlgorithmRunner: Population autosave
|
2020-03-18 13:30:58 +01:00 |
|
Kamil Śliwak
|
ff99d25bc3
|
[yul-phaser] Common: Add readLinesFromFile()
|
2020-03-18 13:30:58 +01:00 |
|
Kamil Śliwak
|
5e814acc3c
|
[yul-phaser] TestHelpers: Add TemporaryDirectory class
|
2020-03-18 13:30:58 +01:00 |
|
a3d4
|
a5ae51fa6e
|
Unified dialect selection in libyul/SyntaxTest and YulOptimizerTest.
|
2020-03-16 23:22:57 +01:00 |
|
a3d4
|
bb38ce1759
|
Decoupled error checking and report printing in CommonSyntaxTest.
|
2020-03-16 23:22:56 +01:00 |
|
a3d4
|
66783c30ce
|
Introduced TestCaseReader.
|
2020-03-16 23:14:33 +01:00 |
|
Kamil Śliwak
|
8ca0d90aae
|
[yul-phaser] Returning an ErrorList from Program::load() if program has errors and printing them in Phaser
|
2020-03-16 20:32:59 +01:00 |
|
chriseth
|
d45e6aa24c
|
Merge pull request #8421 from imapp-pl/yul-phaser-refactor-main
[yul-phaser] Refactoring in main
|
2020-03-16 16:31:26 +01:00 |
|
chriseth
|
4e4a3da920
|
Merge pull request #8481 from aarlt/add-show-metadata
Add --show-metadata to enable metadata output.
|
2020-03-16 14:25:42 +01:00 |
|
Djordje Mijovic
|
96d278b101
|
[Sol->Yul] Adding slicing for call data arrays
|
2020-03-13 13:40:38 +01:00 |
|
Kamil Śliwak
|
deaf1d0c6f
|
[yul-phaser] Add serializeChoice() and deserializeChoice()
|
2020-03-13 11:21:23 +01:00 |
|
Kamil Śliwak
|
0c3de9ef99
|
[yul-phaser] Add Common module
|
2020-03-13 11:21:23 +01:00 |
|
Kamil Śliwak
|
099299c5e7
|
[yul-phaser] Rename Common to Helpers in tests (update references)
|
2020-03-13 11:21:23 +01:00 |
|
Kamil Śliwak
|
d01dab7b7c
|
[yul-phaser] Rename Common to Helpers in tests (file move)
- I want to add Common.h in the non-test code and it's getting confusing. I think it's better to have them named differently.
|
2020-03-13 11:21:23 +01:00 |
|
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 |
|
Alexander Arlt
|
9d67edb163
|
Add --show-metadata to enable metadata output.
|
2020-03-12 13:39:29 -05: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 |
|
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 |
|
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
|
5dd30777d2
|
Test.
|
2020-03-10 22:44:06 +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 |
|
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 |
|
Christian Parpart
|
5d7a370248
|
YulUtilFunctions: convertionFunction() to also handle array string/memory casts.
|
2020-03-10 11:21:12 +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 |
|
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 |
|
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 |
|
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 |
|
chriseth
|
37e01a19c0
|
Fix scoping following try/catch.
|
2020-03-09 13:14:13 +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
|
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 |
|
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
|
7f38cbb91d
|
Fix calling unimplemented base function.
|
2020-03-06 10:51:16 +01:00 |
|
Daniel Kirchner
|
420f57aec3
|
Fix yul ast import for blocks, switches and string literals.
|
2020-03-05 14:09:13 +01:00 |
|
Bhargava Shastry
|
7483c6f13e
|
ossfuzz: Update README.md with steps to build fuzzers via docker
|
2020-03-05 10:43:31 +01:00 |
|
Daniel Kirchner
|
b10f12a395
|
Merge pull request #8413 from mijovic/depratateValueCalls
Deprecated warning for .value() and .gas() on function and constructr…
|
2020-03-04 14:43:06 +01:00 |
|
Daniel Kirchner
|
919888ddbc
|
Use yul function for calldata tail access, fix checks and add additional revert reason.
|
2020-03-04 14:39:36 +01:00 |
|
Christian Parpart
|
a3bc752e53
|
Merge pull request #8415 from ethereum/tests-ExecutionFramework-reset
[test] Fixes ExecutionFramework providing different contract addresse…
|
2020-03-04 14:17:11 +01:00 |
|
Djordje Mijovic
|
58c6b90705
|
Deprecated warning for .value() and .gas() on function and constructror calls
|
2020-03-04 12:51:49 +01:00 |
|
Christian Parpart
|
495abee769
|
[test] Fixes ExecutionFramework providing different contract addresses when running test cases for both, old and new yul codegen.
|
2020-03-03 16:36:12 +01:00 |
|
Leonardo
|
32ca1a5e26
|
Merge pull request #8311 from ethereum/smt_split_2
[SMTChecker] Change CHC encoding from explicit CFG to function forests
|
2020-03-03 13:16:14 +01:00 |
|
Leonardo Alt
|
3bee348525
|
Change CHC encoding to functions forest instead of explicit CFG
|
2020-03-03 12:12:26 +01:00 |
|
Leonardo Alt
|
96a230af50
|
[SMTChecker] Fix ICEs with tuples
|
2020-03-03 11:35:58 +01:00 |
|
chriseth
|
f10c6500b2
|
Immutable is not reserved anymore.
|
2020-03-02 14:20:17 +01:00 |
|
Bhargava Shastry
|
ed02aae1d9
|
Update solidity fuzzing dictionary with >0.6.0 keywords
|
2020-02-28 15:46:21 +01:00 |
|
Erik Kundt
|
d1b6a4a649
|
Fixes raw bytes warning in semantic test framework.
|
2020-02-26 21:37:52 +01:00 |
|
chriseth
|
426c4a2e38
|
Merge pull request #8327 from imapp-pl/yul-phaser-random-algorithm
[yul-phaser] Random algorithm
|
2020-02-26 14:44:24 +01:00 |
|
Leonardo
|
6930e0c2e0
|
Merge pull request #8384 from ethereum/fixRePrintingValue
Fix re-printing value expectations.
|
2020-02-26 09:57:30 +01:00 |
|
chriseth
|
bb09787bd0
|
Merge pull request #8378 from mijovic/yulSourceLocations
Adding source location support to AssemblyStack
|
2020-02-25 22:34:57 +01:00 |
|
Djordje Mijovic
|
ec083c4878
|
Adding source location support to AssemblyStack and thus debugging Yul sources
|
2020-02-25 22:19:03 +01:00 |
|
chriseth
|
c5a0a434e2
|
Merge pull request #8374 from ethereum/writeAccessToSlot
Allow access to ``_slot`` for local storage pointer variables.
|
2020-02-25 22:11:13 +01:00 |
|
chriseth
|
40cae442d5
|
Fix re-printing value expectations.
|
2020-02-25 22:10:35 +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
|
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
|
45041e5d3a
|
Allow access to `_slot` for local storage pointer variables.
|
2020-02-25 14:28:04 +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 |
|
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
|
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
|
b9b36cd89e
|
Properly assign types in ExpressionSplitter.
|
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
|
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 |
|
Djordje Mijovic
|
dd9009eba6
|
TestFileParser: Adding new keyword wei for expressing function value
|
2020-02-21 11:39:37 +01:00 |
|