Daniel Kirchner
60d7cc6049
Replace trusty PPA build by static PPA build.
2018-12-12 17:05:59 +01:00
chriseth
87237281bf
Merge pull request #5630 from ethereum/warn_functions_empty_body
...
Supress unused var and state mut warnings for functions with empty body
2018-12-12 17:00:50 +01:00
chriseth
7e9a29090c
Merge pull request #2271 from 3esmit/patch-1
...
Add NatSpec to Style-Guide
2018-12-12 16:53:00 +01:00
Ricardo Guilherme Schmidt
c7e0965801
Add NatSpec to Style-Guide
...
related to #2270
2018-12-12 16:51:28 +01:00
Alex Beregszaszi
c863cbf80d
Add missing header guards
2018-12-12 15:47:05 +00:00
chriseth
5e0c312dad
Merge pull request #5632 from ethereum/faq-payload
...
DOCS: Remove payload FAQ item
2018-12-12 16:39:38 +01:00
Chris Ward
d03b52519a
Remove FAQ item that covers array literals
2018-12-12 14:57:47 +01:00
chriseth
35d6db880a
Merge pull request #5617 from ethereum/controlFlowRework
...
Rework of ControlFlowGraph and analysis.
2018-12-12 14:52:19 +01:00
Leonardo Alt
8c49d86e6b
Changelog entry
2018-12-12 14:43:44 +01:00
Leonardo Alt
508aae8a67
Disable state mutability warning for functions with empty body
2018-12-12 14:43:44 +01:00
Leonardo Alt
53537864a2
Disable unused var warning for functions with empty body
2018-12-12 14:43:44 +01:00
Chris Ward
774f7e6129
Remove payload FAQ item
2018-12-12 14:26:58 +01:00
Daniel Kirchner
85291bcb2d
Merge pull request #5628 from ethereum/structuralSimplifierCompilationFix
...
[Yul] Fix compilation for certain combinations of boost and gcc.
2018-12-12 12:19:10 +01:00
Daniel Kirchner
a18985800f
Fix compilation for certain combinations of boost and gcc.
2018-12-12 07:51:23 +01:00
Daniel Kirchner
788612d2ef
Refactoring of the ControlFlowGraph and use for detecting all uninitialized storage accesses.
2018-12-12 04:20:53 +01:00
chriseth
1476acb804
Merge pull request #5502 from ethereum/cpp14
...
Enables C++14 standard (was C++11) within the Solidity compiler project.
2018-12-12 00:38:38 +01:00
chriseth
e74d9df20d
Merge pull request #5616 from ethereum/codegenForObjectsAccess
...
[Yul] Codegen for objects access
2018-12-12 00:37:20 +01:00
Christian Parpart
5b86e3ec50
Enables C++14 standard (was C++11) within the Solidity compiler project.
2018-12-11 21:28:05 +01:00
chriseth
fb3a0ac1c7
Codegen for object access.
2018-12-11 19:24:44 +01:00
chriseth
8d49e53995
Provide Dialect to EVMCodeTransform.
2018-12-11 19:24:31 +01:00
chriseth
9f86ede32d
Merge pull request #5454 from ethereum/smt_math_functions
...
[SMTChecker] Abstract math functions
2018-12-11 18:35:10 +01:00
chriseth
b5deca0383
Merge pull request #4779 from ethereum/optimise-string-literals
...
Decide better in storing string literals as data
2018-12-11 17:50:14 +01:00
chriseth
599760b6ab
Merge pull request #5621 from ethereum/explainAST
...
Improve explanation how to get abi output.
2018-12-11 16:08:23 +01:00
chriseth
2f04633e27
Explain source IDs.
2018-12-11 15:48:12 +01:00
chriseth
fe87cc7eb0
Improve explanation how to get abi output.
2018-12-11 15:48:12 +01:00
Leonardo Alt
08737e43dc
[SMTChecker] Use SymbolicFunctionVariable for uninterpreted functions
2018-12-11 11:28:25 +01:00
Daniel Kirchner
6d82ad1338
Test updates for recent versions of aleth.
2018-12-11 04:47:05 +01:00
chriseth
baaefb4b42
Merge pull request #5619 from ethereum/cleanup-abc
...
Some code cleanup
2018-12-10 19:22:02 +01:00
Mathias Baumann
cb935fe908
Use curly-brackets initialization
2018-12-10 19:03:47 +01:00
Mathias Baumann
2f6dc2e773
Replace push_back with emplace_back where it makes sense
2018-12-10 19:02:39 +01:00
chriseth
d80d324de7
Tests for gas costs.
2018-12-10 18:06:07 +01:00
chriseth
5355380f80
Merge pull request #5552 from 0yi0/5551-rational-convertible-to-fixed-point
...
Fix conversions from rational number literals to fixed-point types.
2018-12-10 18:02:36 +01:00
Yi Huang
81f703427e
Add tests for implcit conversions from literals to fixed-point numbers.
2018-12-10 17:31:20 +01:00
chriseth
687382ae09
Merge pull request #5599 from ethereum/cleanup-testsuite
...
Have only one source where testsuites are defined
2018-12-10 17:26:21 +01:00
chriseth
ead13b1d21
Changelog entry.
2018-12-10 17:11:48 +01:00
chriseth
53f531ecb0
Set codecopy limit for data to 32 bytes.
2018-12-10 17:11:48 +01:00
Mathias Baumann
55d7d327c4
Have only one source where testsuits are defined
2018-12-10 16:49:33 +01:00
chriseth
1c4f791f75
Merge pull request #5615 from ethereum/contrib-link
...
ContribDoc: Link formatted instead of raw version of coding guidlines
2018-12-10 16:29:41 +01:00
Mathias Baumann
a3918c2341
ContribDoc: Link formatted instead of raw version of coding guidlines
2018-12-10 16:26:05 +01:00
chriseth
871ea22bb9
Merge pull request #5008 from liangdzou/yul_stack_reuse
...
Reuse stack slots in Yul codegen
2018-12-10 16:14:33 +01:00
chriseth
055c5fe173
Merge pull request #5610 from ethereum/shell-script-cleanups
...
build.sh bash script cleanup
2018-12-10 16:02:30 +01:00
Christian Parpart
a3829516f0
build.sh bash script cleanup
...
* use `set -e` to abort script execution when error codes fail (and haven't been checked)
* use [[ ]] instead of [ ] or test.
* use ROOTDIR/BUILDDIR variables for better readability
* use mktemp in order to avoid accidental name clashes.
* use `make install` instead of `install ...` as cleaner installation process
* this however doesn't install soltest anymore, which I believe is
right, as normal users should not need it installed in their system.
Those who want to run the test suite, can do so manually
* allow optional passing of more additional custom args to cmake
2018-12-10 14:59:55 +01:00
chriseth
b05d33d771
Tests for stack reusing code generator.
2018-12-10 14:28:56 +01:00
liangdzou
362648a450
Reuse stack slots in Yul to EVM code generation.
2018-12-10 14:28:56 +01:00
Leonardo
0300e09d3e
Merge pull request #5614 from ethereum/smt_symb_function
...
[SMTChecker] Introduce SymbolicFunctionVariable
2018-12-10 12:57:07 +01:00
Leonardo Alt
de46bb2c42
[SMTChecker] Introduce SymbolicFunctionVariable
2018-12-10 11:34:29 +01:00
chriseth
6240d9e72a
Merge pull request #5391 from ethereum/improve-type-errors
...
Provide additional error messages during type checks
2018-12-10 10:55:14 +01:00
Erik Kundt
e2395a3dcf
Adds more detailed type errors and tests.
2018-12-07 12:35:35 +01:00
Erik Kundt
b2afb8cdda
Adds an additional message to failing type conversions.
2018-12-07 11:55:53 +01:00
chriseth
52ff3c9455
Merge pull request #5607 from enumatech/fix-makefiles
...
WIP: Fix makefiles to silence linker errors
2018-12-07 10:16:49 +01:00