Christian Parpart
|
9cc967eb3a
|
Removing grammar.txt in favor of Solidity.g4 (ANTLR based grammar)
|
2020-03-30 11:35:34 +02:00 |
|
Djordje Mijovic
|
89d5ecdd24
|
[Sol2Yul] Adding support for constructor with parameters
|
2020-03-27 01:19:11 +01:00 |
|
Jason Cobb
|
c184844932
|
Remove forward declaration of class Population
|
2020-03-26 18:57:43 -04:00 |
|
chriseth
|
4a7d2e590d
|
Merge pull request #8529 from MrChico/develop
CommandLineInterface: add storage-layout option to --combined-json
|
2020-03-26 19:15:23 +01:00 |
|
chriseth
|
514eef92be
|
Merge pull request #8533 from ethereum/refactorVirtualResolution
Refactor virtual resolution
|
2020-03-26 18:28:03 +01:00 |
|
chriseth
|
173f234860
|
Refactor: Replace inheritance hierarchy by most derived contract.
|
2020-03-26 18:27:39 +01:00 |
|
chriseth
|
95407cbaae
|
Merge pull request #8518 from aarlt/extract-more-testcases
[test] Extract 45 more tests from SolidityEndToEndTest.cpp
|
2020-03-26 18:14:58 +01:00 |
|
chriseth
|
165f7bf60f
|
Move files.
|
2020-03-26 17:47:36 +01:00 |
|
Alexander Arlt
|
67e9776418
|
Extract 45 tests from SolidityEndToEndTest.cpp
|
2020-03-26 17:39:12 +01:00 |
|
Leonardo
|
a74a2df513
|
Merge pull request #8531 from ethereum/smt_sort_provider
[SMTChecker] Add SortProvider
|
2020-03-26 16:50:07 +01:00 |
|
Leonardo
|
3c6ae6a5f0
|
Merge pull request #8530 from MrChico/oldosxbuild
Oldosxbuild
|
2020-03-26 15:28:03 +01:00 |
|
chriseth
|
994591b842
|
Merge pull request #8390 from ethereum/fix-8389
SECURITY.md: security policy for Solidity
|
2020-03-26 15:24:56 +01:00 |
|
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 |
|
chriseth
|
3beaae6822
|
Fix pragma.
|
2020-03-24 15:21:35 +01:00 |
|
chriseth
|
7d68f9f6c3
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-03-24 13:35:41 +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 |
|