Commit Graph

14782 Commits

Author SHA1 Message Date
chriseth
e275bb88f0 Fix windows build. 2019-11-06 02:06:19 +01:00
chriseth
4d99bf68f4
Merge pull request #7638 from ethereum/develop
Merge develop into develop_060
2019-11-05 17:33:54 +01:00
chriseth
63a8691cc7
Merge pull request #7630 from ethereum/uppercasefix
Fix case-sensitivity depending on platform
2019-11-05 17:32:12 +01:00
chriseth
90aae16eee
Merge pull request #7634 from ethereum/ChrisChinchilla-patch-1
Don't allow blank issues
2019-11-05 17:31:39 +01:00
Mathias Baumann
37d6fd9e21 Fix case-sensitivity depending on platform 2019-11-05 17:25:08 +01:00
Chris Chinchilla
ba6469b8e9
Don't allow blank issues
Update Issue config to not allow blank issue descriptions
2019-11-05 17:15:25 +01:00
chriseth
12c6226901
Merge pull request #7617 from ethereum/updateSomeTests
Some changes to "abstract".
2019-11-05 16:38:03 +01:00
Daniel Kirchner
f0099d8cf1
Merge pull request #7629 from ethereum/fixChangelog
Fix changelog from develop.
2019-11-05 16:25:02 +01:00
chriseth
62da1877ef Fix changelog from develop. 2019-11-05 14:18:32 +01:00
chriseth
5388c919f0 Some changes to "abstract". 2019-11-05 13:55:31 +01:00
chriseth
cac2e843e6
Merge pull request #7618 from ethereum/addMoreAbstractKeywordsInTests
Add some more abstract keywords in test to make sure the correct property is tested.
2019-11-05 13:38:21 +01:00
Leonardo
9bec533453
Merge pull request #7440 from ethereum/smt_chc_loop_refactor
[SMTChecker] Refactor CHC a bit more
2019-11-05 11:15:59 +01:00
Leonardo Alt
c5e081dc8c [SMTChecker] Refactor CHC loops and add if blocks 2019-11-05 09:28:59 +01:00
Christian Parpart
73de089f4c
Merge pull request #7619 from ethereum/fix-case-error
Fix case-sensitivity depending on platform
2019-11-05 00:18:52 +01:00
chriseth
46ac16d25c Merge remote-tracking branch 'origin/develop' into develop_060 2019-11-04 19:09:11 +01:00
chriseth
19bd4af7f3
Merge pull request #7621 from ethereum/fixDevelop87
Fix test that resulted from merge conflict.
2019-11-04 18:51:12 +01:00
chriseth
60b97bfb43 Fix test that resulted from merge conflict. 2019-11-04 18:06:43 +01:00
chriseth
cb743d648a
Merge pull request #7385 from ethereum/fallbackSplit
Split fallback.
2019-11-04 17:38:21 +01:00
Leonardo
1eac3d1d83
Merge pull request #7582 from ethereum/smt_multid_array_assignment
[SMTChecker] Support assignments to m-d arrays and mappings
2019-11-04 17:37:33 +01:00
chriseth
b70af98c55
Merge pull request #7611 from ethereum/yul-ast-cleanup-1
Yul AST cleanup (part 1)
2019-11-04 17:28:37 +01:00
chriseth
7c258873bd Add some more abstract keywords in test to make sure the correct property is tested. 2019-11-04 17:26:38 +01:00
Daniel Kirchner
3321fc56ea Split fallback function and introduce "fallback()" and "receive()" syntax. 2019-11-04 17:17:58 +01:00
chriseth
e7c4378ce7
Merge pull request #7516 from ethereum/abiv2-proto-struct
Abiv2 proto struct
2019-11-04 17:04:16 +01:00
Mathias Baumann
6705420325 Fix case-sensitivity depending on platform 2019-11-04 17:00:48 +01:00
chriseth
62aa20137c
Merge pull request #7600 from ethereum/TypeConversionOnTheFly
[WASM] Inject type conversions on the fly if needed.
2019-11-04 16:20:57 +01:00
Bhargava Shastry
04becb9458 Minor refactoring 2019-11-04 15:47:04 +01:00
Bhargava Shastry
12ed08eddb Place upper bound number on number of array dimensions 2019-11-04 15:47:04 +01:00
Bhargava Shastry
3cfeca33c1 Abiv2 proto fuzzer: Refactor and add support for structs 2019-11-04 15:47:04 +01:00
chriseth
3d625cc239
Merge pull request #7616 from ethereum/fixOverrideMessage
Fix override error message.
2019-11-04 14:02:53 +01:00
Christian Parpart
cf82bc04d2 Fix compilation error on CI (due to "possibly uninitialized field member"). 2019-11-04 13:45:26 +01:00
chriseth
5392532d70 Fix override error message. 2019-11-04 13:37:23 +01:00
chriseth
08cf616157
Merge pull request #7609 from ethereum/fix-7608
yul proto fuzzer: Catch exception early and propagate termination reason
2019-11-04 13:29:50 +01:00
chriseth
60ec679156
Merge pull request #7358 from aarlt/abstract_contracts
Abstract contracts
2019-11-04 13:24:30 +01:00
chriseth
a964a2026b
Merge pull request #7602 from ethereum/fixWasmTypes
Fix types of wasm builtins.
2019-11-04 13:04:25 +01:00
chriseth
26c6a1fcf9
Merge pull request #7614 from ethereum/fix-7322
circleci: Expose soltest flags explicitly
2019-11-04 11:09:14 +01:00
Bhargava Shastry
e8749decf5 circleci: Expose soltest flags explicitly 2019-11-04 09:48:35 +01:00
Alexander Arlt
f3f652e290 Update TypeChecker.cpp 2019-11-01 14:54:47 -05:00
Alexander Arlt
569422d2c2 Add Changelog entry. 2019-11-01 14:54:47 -05:00
Alexander Arlt
c908c16acd Remove InternalCompilerError on abstract contract instantiation. 2019-11-01 14:54:47 -05:00
Alexander Arlt
cd3ad73b5a Update tests. 2019-11-01 14:54:47 -05:00
Alexander Arlt
793b906e05 Update docs/contracts/abstract-contracts.rst. 2019-11-01 14:54:47 -05:00
Alexander Arlt
6573638340 Update docs/grammar.txt 2019-11-01 14:54:47 -05:00
Alexander Arlt
e87924a96e Update soltest related tests. 2019-11-01 14:54:47 -05:00
Alexander Arlt
54c5e604e5 Add new tests. 2019-11-01 14:54:47 -05:00
Alexander Arlt
62950a9234 Support for abstract contracts. 2019-11-01 14:54:47 -05:00
chriseth
8337de5189 [WASM] Inject type conversions on the fly if needed. 2019-11-01 15:44:39 +01:00
chriseth
8780f2d595
Merge pull request #7604 from ethereum/datasizeOffsetSingle
[WASM] datasize and dataoffset only return a single value.
2019-11-01 15:39:50 +01:00
chriseth
73954f16f4
Merge pull request #7519 from ethereum/conditionalUnsimplifier
Conditional unsimplifier
2019-11-01 14:44:24 +01:00
chriseth
cca7f01199 Tests for conditional unsimplifier 2019-11-01 14:07:25 +01:00
chriseth
ce87f11885 Test updates 2019-11-01 14:01:56 +01:00