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
Kamil Śliwak
9ef63a9789
[yul-phaser] Program: Output operator for ErrorList
...
- It does not seem universal enough to put it in liblangutil but in the scope of yul-phaser it's generic enough so I'm going to keep it together with Program.
2020-03-16 20:32:59 +01:00
chriseth
e5a49e2556
Merge pull request #8496 from ethereum/fixdoclinks
...
Fix broken yul-object link in docs
2020-03-16 17:54:29 +01:00
Mathias Baumann
4d99a54d05
Fix broken yul-object link in docs
2020-03-16 17:34:18 +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
69fdae5a7e
Merge pull request #8457 from ethereum/add-to-bug-list
...
Add private-can-be-overridden bug to buglist
2020-03-16 15:59:51 +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
Mathias Baumann
151bc71f49
Add private-can-be-overridden bug to buglist
2020-03-16 12:23:57 +01:00
chriseth
e21567c130
Merge pull request #8494 from random-internet-cat/vector-ref-reinterpret
...
Remove byte-reinterpret conversion operator from vector_ref
2020-03-16 11:34:49 +01:00
Jason Cobb
4fcc33c5e5
Remove byte-reinterpret conversion operator from vector_ref
2020-03-15 18:38:59 -04:00
Daniel Kirchner
362c2175bf
Merge pull request #8474 from mijovic/sol2YulCallDataIndexRangeAccess
...
[Sol->Yul] Adding slicing for call data arrays
2020-03-13 16:33:32 +01:00
Djordje Mijovic
96d278b101
[Sol->Yul] Adding slicing for call data arrays
2020-03-13 13:40:38 +01:00
Kamil Śliwak
98fcba8ef3
[yul-phaser] Phaser: Reimplement << and >> operators using serializeChoice() and deserializeChoice()
2020-03-13 11:21:23 +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
a80512a71d
[yul-phaser] Phaser: Name option parameters in command-line help
2020-03-13 11:21:23 +01:00
Kamil Śliwak
df90cf5d7a
[yul-phaser] Phaser: Make all option descriptions consistenly end with a full stop
2020-03-13 11:21:23 +01:00
Kamil Śliwak
ffc21632b6
[yul-phaser] Phaser: Split command-line option description into groups
2020-03-13 11:21:23 +01:00
Kamil Śliwak
7cf5c4e266
[yul-phaser] Phaser: Extract preparation of option description into a separate function
2020-03-13 11:21:23 +01:00
Kamil Śliwak
2d177c7623
[yul-phaser] Phaser: Refactor object creation in runAlgorithm() into a set of factories
2020-03-13 11:21:23 +01:00
Kamil Śliwak
25e81f6bd3
[yul-phaser] AlgorithmRunner: Count rounds from 1
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
Kamil Śliwak
0c1b88508e
[yul-phaser] Refactor the code from main into a Phaser class
2020-03-13 11:21:23 +01:00
Kamil Śliwak
3e3887dc9a
[yul-phaser] main: Add missing underscores to parameter names
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
a1cc2504ba
Merge pull request #8444 from ethereum/immutable2
...
Parsing of immutable state variable.
2020-03-12 18:37:38 +01: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
chriseth
a6a5d13ae3
Merge pull request #8486 from ethereum/fix_sol_yul_var
...
Fix variable name in Sol -> Yul
2020-03-11 21:14: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
chriseth
101c47bfb9
Merge pull request #8397 from mijovic/ipfsLargeFiles
...
Adding support for ipfs large files
2020-03-11 18:34:27 +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
1167af1dfe
Merge pull request #8478 from ethereum/simplifyTemplates
...
Remove PR template and empty general template.
2020-03-11 10:57:16 +01:00
chriseth
5dd30777d2
Test.
2020-03-10 22:44:06 +01:00
chriseth
6a896f766a
Function call options for YulIR.
2020-03-10 22:38:11 +01:00
chriseth
92d4bbb017
Salt should be bytes32.
2020-03-10 22:38:11 +01:00
chriseth
694da61b39
Remove PR template and empty general template.
2020-03-10 21:13:43 +01:00
chriseth
59071f602b
Merge pull request #8477 from ethereum/release
...
Merge release back into develop.
2020-03-10 21:11:22 +01:00
chriseth
ee3d42f0fd
Merge pull request #8476 from ethereum/updateVersionTo065
...
Set version to 0.6.5
2020-03-10 21:11:11 +01:00
chriseth
f8344cb4df
Set version to 0.6.5
2020-03-10 21:08:03 +01:00
Leonardo
69645298da
Merge pull request #8470 from ethereum/fix_smt_docs
...
SMTChecker docs test may issue a warning
2020-03-10 18:15:43 +01:00
Leonardo Alt
bcefda747c
Do not run smtCheckerTestsJSON if no solver available
2020-03-10 15:41:49 +01:00