Commit Graph

12229 Commits

Author SHA1 Message Date
Mathias Baumann
54846ed0a7 Fix expression simplifier asserting on default values 2018-12-05 11:43:02 +01:00
Mathias Baumann
5d31ad2daf Test for unhandled default values in expression simplifier 2018-12-05 11:43:02 +01:00
Erik Kundt
c38fb53439 Cleans up Result<T> and adds additional documentation. 2018-12-05 10:33:34 +01:00
Erik Kundt
e3accc6aa6 Simplifies Result<T> and prevents undefined behaviour. 2018-12-05 10:33:34 +01:00
Erik Kundt
05e74d096e Introduces Result<T> for operator and implicit conversion type checks. 2018-12-05 10:33:34 +01:00
Mathias Baumann
6e5160efa0 Relax assertion about jumps in loose mode 2018-12-05 10:25:59 +01:00
Leonardo Alt
b9f424e373 [SMTChecker] Simplify symbolic variables 2018-12-05 09:56:52 +01:00
chriseth
6efe2a5266
Merge pull request #5390 from ethereum/smt_one_loop
[SMTChecker] Unroll loops once
2018-12-05 09:23:19 +01:00
chriseth
8b38cf3ed4
Merge pull request #5586 from ethereum/refactorEVMAssembly
Refactor evm assembly
2018-12-04 15:55:53 +01:00
chriseth
c8e201e520 Provide Yul Object builtins. 2018-12-04 15:40:50 +01:00
chriseth
7ee1ddc172 Switch namespaces. 2018-12-04 15:36:03 +01:00
chriseth
0b1125281a Remove some includes. 2018-12-04 15:31:00 +01:00
chriseth
126ed2e990
Merge pull request #5583 from ethereum/builtins3
Analysis phase for builtin funtions.
2018-12-04 15:29:20 +01:00
chriseth
3ebb78a886 Adjust include paths. 2018-12-04 15:20:29 +01:00
chriseth
0ec7a0e72c Move AsmCodeGen. 2018-12-04 15:20:23 +01:00
chriseth
852297fa2f Builtin functions for yul analysis. 2018-12-04 14:50:00 +01:00
chriseth
c3fc2da763 Tests for parser for builtins. 2018-12-04 14:49:16 +01:00
chriseth
961026347d Use dialect option in yul parser tests. 2018-12-04 14:49:16 +01:00
chriseth
1746366bb6 Use builtin functions in the yul parser. 2018-12-04 14:49:16 +01:00
chriseth
8654f8f6d4
Merge pull request #5573 from ethereum/builtins
[Yul] Introduce the concept of builtin functions.
2018-12-04 14:11:49 +01:00
chriseth
4e5dabf832
Merge pull request #5585 from ethereum/forInitRewriteNested
[Yul] Proper recursion in ForLoopInitRewriter.
2018-12-04 14:10:22 +01:00
Daniel Kirchner
1b8a013d4a Properly recurse in ForLoopInitRewriter 2018-12-04 13:36:25 +01:00
Leonardo Alt
8069bb61da [SMTChecker] Loops are unrolled once 2018-12-04 12:35:19 +01:00
chriseth
99db4e3ff4 Introduce the concept of builtin functions. 2018-12-04 12:06:33 +01:00
chriseth
e49f37be7f
Merge pull request #5582 from ethereum/yulErrorMessages
Improve error messages around invalid function argument count.
2018-12-04 12:00:36 +01:00
chriseth
7698b0b63f Do not stop if there is more than one error. 2018-12-04 11:37:03 +01:00
chriseth
d829794737 Improve yul error messages around number of arguments and variables. 2018-12-04 11:37:03 +01:00
chriseth
336287821a
Merge pull request #5578 from ethereum/yulStringRefactor
Use YulString also in expectAsmIdentifier.
2018-12-03 21:05:48 +01:00
chriseth
e5582ffea0 Use YulString also in expectAsmIdentifier. 2018-12-03 17:54:25 +01:00
chriseth
e2741a120f
Merge pull request #5575 from ethereum/release
Merge release back into develop.
2018-12-03 17:53:39 +01:00
chriseth
e6a01d2669
Merge pull request #5574 from ethereum/version0.5.2
Set version to 0.5.2.
2018-12-03 16:58:47 +01:00
chriseth
e7a0edbd97 Set version to 0.5.2. 2018-12-03 16:38:26 +01:00
chriseth
c8a2cb6283
Merge pull request #5571 from ethereum/develop
Version 0.5.1
2018-12-03 15:48:03 +01:00
chriseth
590be1d84c
Merge pull request #5570 from ethereum/updateChangelog051
Massage changelog for 0.5.1
2018-12-03 14:47:12 +01:00
chriseth
8d623dcca1 Massage changelog for 0.5.1 2018-12-03 14:16:34 +01:00
chriseth
eed353a367
Merge pull request #5558 from anurag-git/issue_5130
Fix internal compiler error for unimplemented base contract function.
2018-12-03 12:41:25 +01:00
chriseth
0df641fea1
Merge pull request #5569 from ethereum/chriseth-patch-1
Add solc-js changes.
2018-12-03 12:34:59 +01:00
chriseth
1502449b85
Add solc-js changes. 2018-12-03 12:30:08 +01:00
Anurag Dashputre
82f5763e7a Fix internal compiler error for unimplemented base contract function. 2018-12-03 12:25:31 +01:00
chriseth
4b98946e5a
Merge pull request #5341 from ethereum/optimizeAssemblyCommandline
Apply the optimize commandline parameter to assembly mode.
2018-12-03 11:52:48 +01:00
chriseth
04d946669e
Merge pull request #5437 from ethereum/docs-faq-types-inline-array
DOCS: Move String literal and inline array FAQ items
2018-12-03 11:50:58 +01:00
Chris Ward
78ca2801d8 Move String literal and inline array FAQ items
Fix tab

Update docs/types.rst

Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com>

Update docs/types.rst

Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com>
2018-12-03 11:49:42 +01:00
chriseth
0d1dd30ce8
Merge pull request #5524 from ethereum/yulGrammarChanges
Yul grammar changes.
2018-12-03 11:25:20 +01:00
chriseth
5897b14d63
Merge pull request #5568 from ethereum/smt_remove_unary_plus
[SMTChecker] Remove unary plus operator
2018-12-03 11:19:34 +01:00
chriseth
413cb67a55
Merge pull request #5532 from ethereum/docs-style-add-mapping
DOCS: Add mapping guide to style docs
2018-12-03 11:19:17 +01:00
chriseth
3159e2a220
Merge pull request #5547 from ethereum/assemblySyntax
Update assembly grammar part.
2018-12-03 11:18:56 +01:00
chriseth
ba5d8b5a23
Merge pull request #5565 from ethereum/listTests
Explain how to get a list of all tests.
2018-12-03 10:47:02 +01:00
chriseth
3f613a44ec
Merge pull request #5557 from ethereum/fixInterfaceImplementedByPublicStateVariable
Public state variables are implementing external functions.
2018-12-03 10:46:44 +01:00
chriseth
0668a9ecfb Public state variables are implementing external functions. 2018-12-03 10:46:03 +01:00
Chris Ward
bbe0268163 Add mapping guide to style docs thanks to @aupiff 2018-12-03 10:43:53 +01:00