Commit Graph

12257 Commits

Author SHA1 Message Date
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
chriseth
25c63dde28
Merge pull request #5553 from ethereum/docs-add-link-structure
DOCS: Add link between functions in contract structure and more details
2018-12-03 10:41:39 +01:00
Leonardo Alt
6d41ffb4a5 [SMTChecker] Remove unary plus operator 2018-12-03 10:35:38 +01:00
Chris Ward
32c3f6c817 Add link between functions in contract structure and more details
Fix missing label
2018-12-03 09:06:19 +01:00
chriseth
98a0779771 Explain how to get a list of all tests. 2018-12-03 08:26:56 +01:00
chriseth
a73df9bc18
Merge pull request #5562 from Altrum/debugDocs
Updated docs on information about debugging and how to run commands.
2018-12-03 08:23:20 +01:00
Robert Chung
4a907faf44 Added information about debugging and examples on how to run subsets of tests. 2018-12-01 21:40:43 -08:00
chriseth
aaeb74f592
Merge pull request #5537 from ethereum/cp-SourceLocation-related-refactoring
[1/3] SourceLocation related refactoring.
2018-11-30 23:45:31 +01:00
Erik Kundt
1cdcdcee65 Improves assembly output commandline tests. 2018-11-30 23:39:05 +01:00
Erik Kundt
0d1b9c3b1b Adds tests for --optimize in assembly mode. 2018-11-30 23:39:05 +01:00
chriseth
6c44c5f0c9 Apply the optimize commandline parameter to assembly mode. 2018-11-30 23:39:05 +01:00
chriseth
436696d3b6 Update assembly grammar part. 2018-11-30 18:24:15 +01:00
Christian Parpart
757623e381
liblangutil: SourceLocation: Retricts == and != operator 2018-11-30 17:34:54 +01:00
Christian Parpart
18e3d6dbca
liblangutil: small refactors wrt. API cleanups
Especially also remove SourceLocation ctor's that the compiler can default-implement.
2018-11-30 17:10:39 +01:00
Christian Parpart
435f7b3b72 liblangutil: Scanner: remove superfluous sourceName field (it's in CharStream already)
Also, ParserBase::sourceName() was dead code. Eliminating it should
increase test coverage (how sneaky) :-)
2018-11-30 17:07:17 +01:00
Christian Parpart
c48a5264be
liblangutil: SourceLocation: adds (shared) pointer to underlying CharStream source, eliminating sourceName
Also, adapted affecting code to those changes.
2018-11-30 17:07:12 +01:00
chriseth
cc00d8172b
Merge pull request #5528 from ethereum/smt_sorts_virtual
[SMTChecker] Make smt::Sort::operator== virtual
2018-11-30 16:48:46 +01:00
chriseth
eea8cecd42
Merge pull request #5541 from ethereum/clarifyCopyInheritance
[DOCS] Clarify "copying bytecode" in inheritance.
2018-11-30 16:47:02 +01:00
chriseth
474e7b5635
Merge pull request #5546 from ethereum/inheritanceChecker
Move some checks out of type checker.
2018-11-30 16:46:43 +01:00
chriseth
1bbd5977cf
Merge pull request #5529 from ethereum/noCoverageOnRelease
Disable coverage generation for release branch.
2018-11-30 16:31:28 +01:00
chriseth
17a703f71a Changelog entry. 2018-11-30 16:30:31 +01:00
chriseth
33d6a24c47 Move library related checks. 2018-11-30 16:30:20 +01:00
chriseth
4f992298c6 Move hash collisions checks. 2018-11-30 16:30:19 +01:00