chriseth
|
2384947521
|
Merge pull request #5209 from ethereum/smt_ssa_refactor
[SMTChecker] Refactor SSAVariable such that it only uses Type and not Declaration
|
2018-10-15 16:49:47 +02:00 |
|
chriseth
|
771de0c5ad
|
Merge pull request #5189 from ethereum/smt_function_call
[SMTChecker] Inline calls to internal functions
|
2018-10-15 16:48:56 +02:00 |
|
Leonardo Alt
|
e4851cf59e
|
[SMTChecker] Inline calls to internal functions
|
2018-10-15 15:11:21 +02:00 |
|
chriseth
|
88b1558862
|
Merge pull request #4843 from ethereum/docs-2177-abi-type
Link and clarify ABI type
|
2018-10-15 14:40:07 +02:00 |
|
chriseth
|
6202628cfe
|
Merge pull request #5221 from ethereum/splitRenamingLeftovers
Some renaming leftovers.
|
2018-10-15 14:22:17 +02:00 |
|
Leonardo Alt
|
4a4620ac95
|
Refactor SSAVariable such that it only uses Type and not Declaration
|
2018-10-15 14:20:54 +02:00 |
|
Chris Ward
|
6e47ca1eda
|
Link and clarify ABI type
Remove rogue ’s’
Clarify wording
Revert other changes and just add link
|
2018-10-15 14:20:51 +02:00 |
|
chriseth
|
0778fb2dfc
|
Merge pull request #5208 from mestorlx/bug4156
[WIP] Bad identifier suggestion in certain cases
|
2018-10-15 13:03:49 +02:00 |
|
chriseth
|
0664772ece
|
Some renaming leftovers.
|
2018-10-15 12:51:50 +02:00 |
|
Christian Parpart
|
b2b845d6de
|
Merge pull request #5220 from ethereum/libjulia-to-libyul
Renames `libjulia` directory to `libyul` & namespace `dev::julia` to `dev::yul`
|
2018-10-15 12:30:00 +02:00 |
|
Christian Parpart
|
1304361b9c
|
Renaming namespace dev::julia to dev::yul.
|
2018-10-15 11:58:51 +02:00 |
|
Christian Parpart
|
9a4bec7e47
|
Renaming libjulia to libyul
|
2018-10-15 11:52:35 +02:00 |
|
chriseth
|
b965fd6e17
|
Merge pull request #5181 from Mordax/doc-note-windows
Add extra documentation for running compiler tests on Windows
|
2018-10-15 11:37:22 +02:00 |
|
mordax
|
f60251f3b4
|
Add extra documentation for running compiler tests on Windows
|
2018-10-15 11:37:02 +02:00 |
|
chriseth
|
5a921c4d6a
|
Merge pull request #5215 from Mordax/issue-5142
Removes mention of submodules from docs and build scripts
|
2018-10-15 11:25:11 +02:00 |
|
chriseth
|
656adcaeb7
|
Merge pull request #5149 from ethereum/fix_assertion_on_inval_tuple_call
Fixes invalid function calls to literals inside tuple assignment's LHS.
|
2018-10-15 11:24:47 +02:00 |
|
chriseth
|
6f595ee0df
|
Merge pull request #5205 from ethereum/cseAlsoSubstituteVariables
[Yul] Also substitute variables in Common Subexpression Eliminator
|
2018-10-15 11:23:56 +02:00 |
|
Christian Parpart
|
6d815a142f
|
Fixes invalid function calls to literals inside tuple assignment's LHS.
|
2018-10-15 10:35:11 +02:00 |
|
mordax
|
40b9b52872
|
Remove another mention
|
2018-10-13 21:35:09 -04:00 |
|
mordax
|
58252950a7
|
Removing mention of submodules from docs/build
|
2018-10-13 21:31:39 -04:00 |
|
mestorlx
|
1ce9566e50
|
Updated MAXIMUM_STRING_DISTANCE to non static maximumStringDistance taking into account length of the identifier
|
2018-10-13 09:54:07 -03:00 |
|
chriseth
|
7940dafd0d
|
Also substitute variables in CSE.
|
2018-10-12 17:11:13 +02:00 |
|
chriseth
|
26dc876c28
|
Merge pull request #5127 from ethereum/exprUnbreaker
[Yul] Expression joiner.
|
2018-10-12 17:10:44 +02:00 |
|
chriseth
|
93cf718367
|
Merge pull request #5206 from ethereum/splitConstantsToo
[Yul] Split constants too
|
2018-10-12 17:01:54 +02:00 |
|
chriseth
|
94526b2d92
|
Merge pull request #5145 from ethereum/hashLinker
Hash linker
|
2018-10-12 15:53:45 +02:00 |
|
chriseth
|
1e06422589
|
Also split constants.
|
2018-10-12 15:20:06 +02:00 |
|
chriseth
|
d60a2511fd
|
Expression joiner.
|
2018-10-12 15:19:29 +02:00 |
|
chriseth
|
1d312c8e40
|
Merge pull request #5203 from ethereum/moveMoreYulTests
Move more yul optimizer tests
|
2018-10-12 15:15:41 +02:00 |
|
chriseth
|
914668c622
|
Fix checksum check.
|
2018-10-12 15:15:02 +02:00 |
|
chriseth
|
95d3e7feb3
|
More helpful error messages for linker.
|
2018-10-12 15:15:02 +02:00 |
|
chriseth
|
26c693aa92
|
Change library placeholder to __$<hash>$__.
|
2018-10-12 15:15:02 +02:00 |
|
chriseth
|
4d6d224cf8
|
Prefix "0x" to library placeholder.
|
2018-10-12 15:15:01 +02:00 |
|
chriseth
|
e8ba2d6e46
|
Document library placeholder change.
|
2018-10-12 15:15:01 +02:00 |
|
chriseth
|
56bbfce6d3
|
Fix directory creation.
|
2018-10-12 15:15:01 +02:00 |
|
chriseth
|
6daeb39ecc
|
Use hash for library placeholders.
|
2018-10-12 15:15:01 +02:00 |
|
chriseth
|
a937a449df
|
Move unused pruner tests.
|
2018-10-11 18:41:26 +02:00 |
|
chriseth
|
463642996a
|
Move expression simplifier tests.
|
2018-10-11 18:41:26 +02:00 |
|
chriseth
|
6dfd0adc0b
|
Move rematerialiser tests.
|
2018-10-11 18:41:26 +02:00 |
|
chriseth
|
49958e4720
|
Move main function tests.
|
2018-10-11 18:41:26 +02:00 |
|
chriseth
|
9cd577abe9
|
Move tests for full inliner.
|
2018-10-11 18:41:26 +02:00 |
|
chriseth
|
83ab8e7f78
|
Move expression inliner tests.
|
2018-10-11 18:41:26 +02:00 |
|
chriseth
|
7a34fc1291
|
Move function hoister tests.
|
2018-10-11 18:41:26 +02:00 |
|
chriseth
|
e021be4609
|
Move function grouper tests.
|
2018-10-11 18:41:26 +02:00 |
|
chriseth
|
424a77b48e
|
Move expression splitter tests.
|
2018-10-11 18:41:26 +02:00 |
|
chriseth
|
33ac415f7f
|
Move common subexpression eliminator tests.
|
2018-10-11 18:41:26 +02:00 |
|
chriseth
|
5f5dc8956d
|
Merge pull request #5185 from ethereum/yulOptimizerTests
Yul optimizer tests
|
2018-10-11 17:43:44 +02:00 |
|
chriseth
|
e62343c60b
|
Store test results as artifacts.
|
2018-10-11 17:01:06 +02:00 |
|
chriseth
|
a53d942da5
|
Remove old disambiguator test.
|
2018-10-11 16:59:57 +02:00 |
|
chriseth
|
6e32a1becb
|
Disambiguator tests.
|
2018-10-11 16:59:57 +02:00 |
|
chriseth
|
4607118d2e
|
Add Yul optimizer test framework.
|
2018-10-11 16:59:57 +02:00 |
|