Leonardo Alt
|
d2f65ea8b1
|
[SMTChecker] Add SortProvider
|
2020-03-26 14:55:54 +01:00 |
|
Bhargava Shastry
|
37fb53bebd
|
Add a security policy and link it in README.
Co-Authored-By: chriseth <chris@ethereum.org>
|
2020-03-26 11:55:44 +01:00 |
|
Martin Lundfall
|
6474a35862
|
CMakeLists: ensure OSX deployment target supports std::visit
|
2020-03-26 11:41:51 +01:00 |
|
Martin Lundfall
|
5b4ea1eb89
|
CommandLineInterface: add storage-layout option to --combined-json
|
2020-03-26 11:38:28 +01:00 |
|
Jason Cobb
|
e16c0c4133
|
Convert operator+(Population, Population) into a hidden friend
|
2020-03-25 23:54:30 -04:00 |
|
chriseth
|
ff23f165f0
|
Merge pull request #8452 from imapp-pl/yul-phaser-more-output
[yul-phaser] More output
|
2020-03-25 16:43:05 +01:00 |
|
chriseth
|
1897138916
|
Merge pull request #8522 from a3d4/fix-8427-ast-types-compiler-error
Promoted typeError to fatalTypeError in ReferencesResolver
|
2020-03-25 11:23:00 +01:00 |
|
Kamil Śliwak
|
e41ea6d25e
|
[yul-phaser] Add --show-seed option and don't print seed by default
|
2020-03-25 10:21:18 +01:00 |
|
Kamil Śliwak
|
3f524ccfe5
|
[yul-phaser] Population: Print individuals in a more compact way
|
2020-03-25 10:21:18 +01:00 |
|
Kamil Śliwak
|
10e8d3616c
|
[yul-phaser] AlgorithmRunner: Print total time when showing only the top chromosome
|
2020-03-25 10:21:18 +01:00 |
|
Kamil Śliwak
|
58e3fca3de
|
[yul-phaser] AlgorithmRunner: Measure CPU time rather than wall-clock time
|
2020-03-25 10:21:18 +01:00 |
|
Kamil Śliwak
|
cd16a6e178
|
[yul-phaser] Add --show-cache-stats option
|
2020-03-25 10:21:18 +01:00 |
|
Kamil Śliwak
|
3e35decf2b
|
[yul-phaser] ProgramCache: Add ability to gather cache stats
|
2020-03-25 10:21:18 +01:00 |
|
Kamil Śliwak
|
d33ba54a38
|
[yul-phaser] Add print-optimised-programs and print-optimised-asts modes
|
2020-03-25 10:21:18 +01:00 |
|
Kamil Śliwak
|
1272a9335c
|
[yul-phaser] Add --mode option
|
2020-03-25 10:21:18 +01:00 |
|
Kamil Śliwak
|
47c3b558f2
|
[yul-phaser] AlgorithmRunner: Print elapsed time after each round
|
2020-03-25 10:21:18 +01:00 |
|
Kamil Śliwak
|
c875b3d944
|
[yul-phaser] Add --show-only-top-chromosome and --hide-round options
|
2020-03-25 10:21:18 +01:00 |
|
Kamil Śliwak
|
ec10a3d378
|
[yul-phaser] Add --show-initial-population option
|
2020-03-25 10:21:18 +01:00 |
|
Kamil Śliwak
|
d6b96063f8
|
[yul-phaser] AlgorithmRunner: Make all tests use population from AlgorithmRunnerFixture
|
2020-03-25 10:21:18 +01:00 |
|
Kamil Śliwak
|
a97aeb0e6e
|
[yul-phaser] AlgorithmRunner: A stronger test for run() output
|
2020-03-25 10:21:18 +01:00 |
|
a3d4
|
339f3ca32c
|
Fix #8427: Promoted typeError to fatalTypeError in ReferencesResolver::endVisit(UserDefinedTypeName).
|
2020-03-25 02:51:34 +01:00 |
|
chriseth
|
28c0bc5929
|
Merge pull request #8451 from imapp-pl/yul-phaser-program-cache
[yul-phaser] Program cache
|
2020-03-24 23:02:53 +01:00 |
|
chriseth
|
0029b8bbbf
|
Merge pull request #8472 from ethereum/immutableCodegen
Immutable codegen
|
2020-03-24 22:34:13 +01:00 |
|
Kamil Śliwak
|
98db50ccac
|
[yul-phaser] Add --program-cache option
|
2020-03-24 17:39:24 +01:00 |
|
Kamil Śliwak
|
3b49fbb8a5
|
[yul-phaser] Add ProgramCacheFactory class
|
2020-03-24 17:39:24 +01:00 |
|
Kamil Śliwak
|
e2ff9698d3
|
[yul-phaser] AlgorithmRunner: Add support for ProgramCache
|
2020-03-24 17:39:24 +01:00 |
|
Kamil Śliwak
|
259f738f17
|
[yul-phaser] ProgramBasedMetric: Add the ability to use ProgramCache
|
2020-03-24 17:39:24 +01:00 |
|
Kamil Śliwak
|
8b443627e2
|
[yul-phaser] Add ProgramCache class
|
2020-03-24 17:39:24 +01:00 |
|
chriseth
|
f89e154693
|
Merge pull request #8514 from imapp-pl/yul-phaser-prefix-option
[yul-phaser] --prefix option
|
2020-03-24 17:35:45 +01:00 |
|
chriseth
|
6b97f9a4b5
|
Merge pull request #8513 from imapp-pl/yul-phaser-parsing-yul-objects
[yul-phaser] Parsing Yul objects
|
2020-03-24 17:33:13 +01:00 |
|
Daniel Kirchner
|
e255c15227
|
Tests.
|
2020-03-24 16:45:31 +01:00 |
|
Daniel Kirchner
|
04d8ad2ae1
|
Legacy codegeneration for immutable state variables.
|
2020-03-24 16:45:25 +01:00 |
|
chriseth
|
83cbfbb7bf
|
Merge pull request #8400 from ethereum/fix-8395
[solc] Standard compiler interface to permit exception leaks and use it in fuzzer
|
2020-03-24 16:20:41 +01:00 |
|
chriseth
|
d075531f46
|
Merge pull request #8524 from ethereum/test_natspec_return
Add natspec test with too many return tags
|
2020-03-24 15:59:07 +01:00 |
|
Leonardo Alt
|
42b143098e
|
Add natspec test with too many return tags
|
2020-03-24 13:04:07 +01:00 |
|
chriseth
|
d584b2d1aa
|
Merge pull request #8505 from aarlt/antlr-grammar-aarlt
Antlr4 based grammar, with CI integration.
|
2020-03-24 11:32:21 +01:00 |
|
Christian Parpart
|
0e66e07e5c
|
Add antlr-based grammar and test it.
|
2020-03-24 11:07:51 +01:00 |
|
chriseth
|
cfeea542b5
|
Merge pull request #8519 from iamdefinitelyahuman/develop
fix typo in docstring error message
|
2020-03-23 20:55:32 +01:00 |
|
chriseth
|
27b26a69db
|
Merge pull request #8491 from ethereum/publicStateVarOverrideDynamicMemory
Always mark memory reference types as pointers.
|
2020-03-23 18:39:06 +01:00 |
|
Kamil Śliwak
|
a66ceb11c6
|
[yul-phaser] Add --prefix option
|
2020-03-23 16:31:35 +01:00 |
|
Kamil Śliwak
|
29186f9951
|
[yul-phaser] Program: Switch from using parseCode() to parseObject()
|
2020-03-23 16:31:19 +01:00 |
|
Kamil Śliwak
|
7107ef13a7
|
[yul-phaser] Program: Add parseObject()
|
2020-03-23 16:31:19 +01:00 |
|
Daniel Kirchner
|
fe659ceb41
|
Anything outside storage is always a pointer.
|
2020-03-23 15:34:10 +01:00 |
|
chriseth
|
148b87c977
|
Merge pull request #8512 from ethereum/yul_rhs_array
Fix Yul codegen when dynamic array is used as rhs of assignment
|
2020-03-23 13:19:56 +01:00 |
|
chriseth
|
848f405f7d
|
Merge pull request #8520 from a3d4/improve-clang-format
Improved .clang_format file
|
2020-03-23 13:17:46 +01:00 |
|
a3d4
|
a7d6128a8e
|
Improved .clang_format file.
|
2020-03-22 22:23:29 +01:00 |
|
iamdefinitelyahuman
|
cae4b7dd0e
|
fix typo in docstring error message
|
2020-03-22 17:15:44 +04:00 |
|
Leonardo Alt
|
0fcb1427c9
|
Fix Yul codegen when dynamic array is used as rhs of assignment
|
2020-03-20 17:52:51 +01:00 |
|
Bhargava Shastry
|
9544df34d7
|
solc fuzzers: Use compiler stack for fuzzing
|
2020-03-20 10:50:26 +01:00 |
|
chriseth
|
d55bbd4aa5
|
Merge pull request #8508 from a3d4/again-refactor-testcase-classes
More refactoring of TestCase classes
|
2020-03-19 23:05:32 +01:00 |
|