chriseth
ab04a1c41d
Merge pull request #6024 from ethereum/remove-escaped-decleration
...
Remove unused and unimplemented declaration `escaped()`
2019-02-18 15:46:13 +01:00
Mathias Baumann
37e78d5011
Remove unused and unimplemented declaration escaped()
2019-02-18 15:31:16 +01:00
chriseth
cb0ad2266c
Merge pull request #6008 from ethereum/smt_fix_abstract_assignment
...
[SMTChecker] Assert type is not function when assigning
2019-02-18 14:54:20 +01:00
chriseth
b4cd2d6a93
Properly detect name clashes with functions before their definition.
2019-02-18 14:51:05 +01:00
chriseth
db7b38e3c4
Merge pull request #5978 from ethereum/fix-broken-hint
...
Fix error msg hint for non-payable contracts
2019-02-18 11:49:07 +01:00
Chris Chinchilla
2f0926c368
Merge pull request #5962 from ethereum/docs-modular-example
...
[DOCS] Create modular example
2019-02-16 15:11:59 -07:00
Alex Beregszaszi
4ec7bbc9bd
Merge pull request #6017 from elopio/snap/add-cvc
...
Add cvc4 to the snap
2019-02-15 23:19:02 +00:00
Leo Arias
ed81a9f80a
Add cvc4 to the snap
2019-02-15 23:08:56 +00:00
Chris Ward
31bc2ec3d5
Add basic modular contract example
...
Add link to libraries
Line breaks
Change send method to move
Update docs/examples/modular.rst
Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com>
Update docs/examples/modular.rst
Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com>
2019-02-15 13:55:38 -07:00
Erik Kundt
dacad629ef
Adds semantic tests to test framework and isoltest.
2019-02-15 13:27:15 +01:00
Daniel Kirchner
0408130338
Merge pull request #6003 from ethereum/moreStyleChecks
...
Even more style checks.
2019-02-15 11:52:32 +01:00
Daniel Kirchner
690edc8bc9
Merge pull request #6002 from ethereum/arrayTypeStride
...
Add stride helpers to ArrayType.
2019-02-14 14:30:57 +01:00
Daniel Kirchner
ab060b3e3f
Merge pull request #6010 from ethereum/incr-type-checker-cov
...
TypeChecker: Add test to increase coverage
2019-02-14 14:29:34 +01:00
Mathias Baumann
419a12db03
TypeChecker: Add test to increase coverage
2019-02-14 13:41:33 +01:00
Leonardo Alt
22cdfb18d4
[SMTChecker] Assert type is not function when assigning
2019-02-14 13:32:56 +01:00
Daniel Kirchner
33318249ce
Merge pull request #6004 from ethereum/alethUpdate
...
Update aleth version to 1.5.2.
2019-02-14 13:31:47 +01:00
Daniel Kirchner
794e519af8
Update aleth version to 1.5.2.
2019-02-14 12:45:06 +01:00
Daniel Kirchner
8d7ccff1c0
Improve style of style check script.
2019-02-14 11:54:52 +01:00
Daniel Kirchner
809b9a95f9
Even more style checks.
2019-02-14 11:53:00 +01:00
Daniel Kirchner
8ca6715e18
More style checks.
2019-02-14 11:41:20 +01:00
Mathias Baumann
223dac3eca
TypeChecker: Use cast instead of category() check
2019-02-14 11:39:51 +01:00
Mathias Baumann
10a9960eb3
Fix error msg hint for non-payable contracts
2019-02-14 11:39:19 +01:00
Daniel Kirchner
32190dac48
Add stride helpers to ArrayType.
2019-02-14 10:51:39 +01:00
chriseth
f003696d7e
Merge pull request #5994 from ethereum/error-to-assert
...
Turn unreachable error into assert
2019-02-13 17:54:01 +01:00
chriseth
b1df990a0f
Merge pull request #5990 from ethereum/provideAccessToAssmeblyAST
...
Provide access to assembly ast
2019-02-13 17:38:22 +01:00
chriseth
c5879589af
Merge pull request #5998 from ethereum/codingStyleCheck
...
More coding style checks
2019-02-13 17:36:34 +01:00
chriseth
17817dc0ef
Merge pull request #5995 from ethereum/incr-type-checker-cov
...
Add tests to increase TypeChecker.cpp coverage
2019-02-13 17:06:58 +01:00
chriseth
1a823f0bf8
Fix tabs/spaces.
2019-02-13 17:05:48 +01:00
Mathias Baumann
a70fee7316
Turn unreachable error into assert
...
The exact conditions are already checked when iterating over the
possibleMembers where the function `canTakeArguments()` is called
for each member. The function does the identical check.
2019-02-13 16:51:05 +01:00
chriseth
17ea467e5b
Fix style of "const".
2019-02-13 16:34:53 +01:00
chriseth
dbb5438fed
Add coding style check for "const" position and spaces/tabs.
2019-02-13 16:34:49 +01:00
Mathias Baumann
1e603c27ea
Add tests to increase TypeChecker.cpp coverage
2019-02-13 16:31:26 +01:00
chriseth
8a8505aa46
Merge pull request #5993 from ethereum/fixAssertionAsmAnalysis
...
Fix assertion concerning jumps in strict assembly.
2019-02-13 16:16:09 +01:00
chriseth
3c075fd740
Merge pull request #5977 from ethereum/enhance_docs
...
Enhance documentation about usage of `value` and `gas`
2019-02-13 16:03:17 +01:00
chriseth
8f010b4f93
Merge pull request #5986 from elopio/build-z3
...
snap: build the latest z3
2019-02-13 15:58:33 +01:00
chriseth
3a3ed1c6b5
Fix assertion concerning jumps in strict assembly.
2019-02-13 15:57:14 +01:00
Mathias Baumann
6a6cc27b71
Rename & move tests of group typeChecking to subfolder
2019-02-13 15:52:31 +01:00
chriseth
a344381d5e
Provide access to AssemblyStack's AST.
2019-02-13 14:19:56 +01:00
chriseth
10888b21d8
Merge pull request #5989 from ethereum/moveAssemblyStack
...
[REF] Move assembly stack
2019-02-13 14:15:27 +01:00
Erik Kundt
190634e1f9
Implements infrastructure for semantic tests.
2019-02-13 13:05:58 +01:00
chriseth
0bd049c849
Adapet uses of AssemblyStack.
2019-02-13 12:23:07 +01:00
chriseth
d073eb1544
Move AssemblyStack to libyul.
2019-02-13 12:23:07 +01:00
chriseth
bbeab9ffdf
Merge pull request #5988 from ethereum/moveAsmCodeGen
...
[REF] Move asm code gen
2019-02-13 12:22:33 +01:00
Mathias Baumann
8d3f0a16a3
Enhance documentation about usage of value and gas
...
People might look for information in the members section of the function types chapter.
2019-02-13 11:56:17 +01:00
chriseth
90b75abdc9
Merge pull request #5980 from ethereum/chriseth-patch-1
...
Fix documentation link
2019-02-13 11:36:48 +01:00
chriseth
02373c2225
Adjust uses of AsmCodeGen.
2019-02-13 11:35:49 +01:00
chriseth
1ff6f2c71c
Move AsmCodeGen.
2019-02-13 11:20:15 +01:00
chriseth
e5e3abf9a1
Fix link
2019-02-13 11:10:25 +01:00
chriseth
b1a5ffb948
Merge pull request #5983 from ethereum/release_checklist
...
Emphasize timing of static build copy in Release Checklist.
2019-02-13 09:37:21 +01:00
Leo Arias
b6798f8adc
snap: build the latest z3
...
Fixes #5985
2019-02-12 21:53:39 +00:00
