Commit Graph
12153 Commits
Author SHA1 Message Date
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
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
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
Lionello Lunesu c51e2b7f46 Fix makefiles 2018-12-07 08:59:02 +08:00
chriseth 6a9e8a6fe3 Merge pull request #4936 from ethereum/binSelect
Binary search for dispatch.
2018-12-07 00:55:09 +01:00
chriseth ac9f39c805 Merge pull request #5584 from ethereum/structuralSimplifier
[Yul] Add structural simplifier.
2018-12-06 23:22:26 +01:00
Daniel Kirchner 1eb60cbb39 Add structural simplifier as optimization step for Yul. 2018-12-06 18:37:35 +01:00
chriseth 4b2a64306a Merge pull request #5587 from ethereum/yulCodeBuiltins
Builtin functions to access Yul objects.
2018-12-06 16:49:52 +01:00
chriseth e1e578d71e Merge pull request #5589 from ethereum/yulObjectCodegen
Yul object codegen
2018-12-06 16:47:18 +01:00
chriseth fb805ccca6 Changelog entry. 2018-12-06 14:51:25 +01:00
chriseth b7cfa499b0 Add tests. 2018-12-06 14:43:14 +01:00
chriseth 3fc118ba21 Analyze and compile sub-objects. 2018-12-06 14:32:04 +01:00
chriseth f6ed29b88b Extend abstract assembly to be able to handle sub-objects. 2018-12-06 14:32:04 +01:00
chriseth 4721cf332f Expose EthAssemblyAdapter. 2018-12-06 14:32:04 +01:00
chriseth 0e8841005c Merge pull request #5554 from ethereum/cp-SourceReferenceFormatter-refactor
[2/3] Refactor SourceReferenceFormatter (split-out data extraction & make use of new SourceLocation knowledge)
2018-12-06 14:01:39 +01:00
Christian Parpart 073b03d90c liblangutil: refactor SourceReferenceFormatter, splitting out retrieval and making use of new SourceLocation's CharStream knowledge 2018-12-06 14:01:01 +01:00
chriseth 6124176374 Gas tests for the binary search dispatch routine. 2018-12-06 13:07:14 +01:00