Christian Parpart
2518b5314c
Splitting out CharStream from Scanner.
2018-11-21 18:58:36 +00:00
Christian Parpart
87821c53c3
Isolating files shared between Yul- and Solidity language frontend.
2018-11-21 18:58:12 +00:00
chriseth
d47707abad
Merge pull request #2520 from ethereum/lll-with
...
LLL: implement the UNSET and WITH keywords
2018-11-21 18:43:37 +01:00
Alex Beregszaszi
10a2e5d100
Merge pull request #4486 from ethereum/travisEmscriptenMinimal
...
Minimal changes to use the same version of emscripten on Travis and Circleci.
2018-11-21 16:29:53 +00:00
chriseth
fedbe7b7d7
Merge pull request #5436 from ethereum/docs-faq-types-rem-struct
...
DOCS: Remove Struct copy FAQ item
2018-11-21 17:07:32 +01:00
chriseth
6ee764edcb
Changelog entry.
2018-11-21 16:59:40 +01:00
Alex Beregszaszi
7c051f1e32
LLL: implement WITH keyword
2018-11-21 15:50:45 +00:00
Alex Beregszaszi
dcfa5f4ea0
LLL: add UNSET to remove a variable
2018-11-21 15:37:11 +00:00
Alex Beregszaszi
2c6e1888eb
Merge pull request #5466 from ethereum/smt_refactor_sort_patch1
...
[SMTChecker] Refactor smt::Sort and its usage
2018-11-21 15:17:58 +00:00
Alex Beregszaszi
c9ee30294c
Merge pull request #5444 from Mordax/issue-5168-rmvirtual
...
Removing redundant virtual from override function declaration
2018-11-21 15:16:08 +00:00
chriseth
8e98885c53
Merge pull request #5355 from ethereum/yul-forloop-pre-rewrite
...
[Yul] Implements a pass to rewrite for-loop's pre block into the parent's Block
2018-11-21 16:10:52 +01:00
Leonardo Alt
01ce43e51b
[SMTChecker] Refactor smt::Sort and its usage
2018-11-21 15:46:47 +01:00
mordax
ea8b7d803e
Removing redundant virtual from override function declaration
...
Remove trailing whitespace
Remove changelog change
2018-11-21 14:37:32 +00:00
Daniel Kirchner
119aa107da
Use emscripten 1.37.21 and boost 1.67.0 on both travis and circle.
2018-11-21 15:24:20 +01:00
Alex Beregszaszi
d3f66ca0fa
Merge pull request #5309 from ethereum/smt_bound_functions
...
[SMTChecker] Support bound function calls
2018-11-19 14:53:26 +00:00
Leonardo Alt
06c3f0953a
[SMTChecker] Support bound function calls
2018-11-19 15:29:00 +01:00
Leonardo
5be45e736d
Merge pull request #5307 from ethereum/smt_uf
...
[SMTChecker] Uninterpreted functions for blockhash()
2018-11-17 09:48:22 +01:00
Christian Parpart
f705a45d43
[Yul] Implements a pass to rewrite for-loop's pre block into the parent's Block.
2018-11-16 13:15:41 +01:00
Alex Beregszaszi
460c58fbd1
Merge pull request #5441 from ethereum/github-vm-version
...
Ask for target EVM version in issue template
2018-11-15 12:18:40 +00:00
Alex Beregszaszi
7debfa7570
Ask for target EVM version in issue template
2018-11-15 12:08:35 +00:00
Chris Ward
5f4eb96341
Remove Struct copy FAQ item
2018-11-15 11:55:57 +01:00
Alex Beregszaszi
9db76403bb
Merge pull request #5430 from kn1g/patch-1
...
Consistent use of address()
2018-11-15 10:10:08 +00:00
Yet another codejunkie
caf44302e5
Fixed consistent use of nameReg
...
Fixed consistent use of `nameReg` instead of `namReg`
2018-11-15 10:10:28 +01:00
Leonardo Alt
70bb0eaf95
[SMTChecker] Implement uninterpreted functions and use it for blockhash()
2018-11-15 09:12:42 +01:00
Alex Beregszaszi
92ebf66067
Merge pull request #5368 from ethereum/noCleanupUnsigned
...
[Codegen] Do not perform cleanup on unsigned integers when loading from calldata.
2018-11-14 21:14:55 +00:00
Alex Beregszaszi
f8b36fdf66
Merge pull request #5433 from ethereum/docs-fix
...
Fix indentation in documentation
2018-11-14 21:03:26 +00:00
Alex Beregszaszi
d66052554c
Fix indentation in documentation
2018-11-14 21:01:53 +00:00
chriseth
727e3f24bc
Do not perform cleanup on unsigned integers when loading from calldata.
2018-11-14 20:52:30 +00:00
chriseth
1e4765fba7
Merge pull request #5428 from ethereum/yulObjectSpecChange
...
Small changes to yul object specification.
2018-11-14 21:42:42 +01:00
Yet another codejunkie
b6e2e4ad6b
Consistent use of address()
...
First example is with address() and the following examples without. I suggest a consistent use here.
2018-11-14 18:31:22 +01:00
chriseth
5783ebb93d
Small changes to yul object specification.
2018-11-14 18:17:43 +01:00
chriseth
aaa50189a9
Merge pull request #4523 from ethereum/micropayment-channel-example-polish
...
Micropayment channel example polish
2018-11-14 17:26:18 +01:00
Chris Ward
121d733b34
Begin review of micropayments example
...
Language tidy, add correct method and package namespaces and make more consistent with each project docs
First changes from review
Further fixes after review
Fix line breaks
Revert code changes
Update
2018-11-14 17:14:19 +01:00
chriseth
88fbd315bc
Merge pull request #5323 from ethereum/docs-input-output-change-control-struct
...
Change terminology used for input output parameters
2018-11-14 15:56:02 +01:00
Alex Beregszaszi
264aca4bf3
Merge pull request #5423 from ethereum/enable-coverage
...
Revert "Disable covereage cmake option"
2018-11-14 14:18:54 +00:00
Chris Ward
eef6697355
Change terminology used for input output parameters
...
Change from review
Changes from review
Changes fro review
Changes from review
2018-11-14 14:46:37 +01:00
chriseth
048109b860
Merge pull request #5324 from ethereum/docs-input-output-change-types
...
Change terminology used for input output parameters pt 2
2018-11-14 14:31:12 +01:00
Chris Ward
fa1cb346ae
Update syntax used for input and output parameters
2018-11-14 14:20:49 +01:00
Alex Beregszaszi
3e5664841c
Revert "Disable covereage cmake option"
...
This reverts commit 5effc0eeb9
.
2018-11-14 12:56:13 +00:00
chriseth
b0a2e41eaf
Merge pull request #4693 from ethereum/compilerstack
...
Add CompilerStack state assertions to internal methods
2018-11-14 12:52:42 +01:00
Alex Beregszaszi
d60cab1983
Add CompilerStack state assertions in internal methods
2018-11-14 10:47:26 +00:00
chriseth
b7a23ee169
Merge pull request #5373 from ethereum/archlinuxCI
...
Add archlinux run on circleci for testing against current versions of deps.
2018-11-14 11:44:42 +01:00
Alex Beregszaszi
be70703f82
Move lastContractName closer to contractNames
2018-11-14 10:29:16 +00:00
Alex Beregszaszi
5778af07a3
Do not crash on filesystemFriendlyName if no contracts were compiled
2018-11-14 10:29:16 +00:00
chriseth
17e81c6eca
Merge pull request #5410 from ethereum/lll-build
...
Do not build LLL unless requested via the LLL cmake option
2018-11-14 11:11:41 +01:00
chriseth
bf5b94587f
Merge pull request #5419 from ethereum/fixcmdlinetests
...
Fix commandline tests.
2018-11-14 09:58:42 +01:00
chriseth
10d99fc378
Merge pull request #5367 from ethereum/signedYul
...
[Yul] Rename some builtin yul functions for signed types.
2018-11-14 01:09:28 +01:00
chriseth
79243eac08
Rename some builtin yul functions for signed types.
2018-11-14 00:58:58 +01:00
Alex Beregszaszi
74553efb69
Build with LLL on CircleCI
2018-11-13 23:51:17 +00:00
Alex Beregszaszi
00cb5dbd43
Move LLL tests into a single directory
2018-11-13 23:51:17 +00:00