mingchuan
b8b10a5299
Set tab size specified in .editorconfig to 4
...
This make tabs appear as 4 spaces on GitHub
2018-07-27 21:22:28 +08:00
Alex Beregszaszi
c633ebe2e6
Merge pull request #4599 from ethereum/smt_sat_model
...
SMTChecker: Only ask for a model if it's SAT
2018-07-27 13:56:30 +01:00
Leonardo Alt
06dbcb3afe
Only ask for a model if it's SAT
2018-07-27 14:13:22 +02:00
Alex Beregszaszi
bc51b0f6c2
Merge pull request #4594 from ethereum/fix-build-for-paths-with-spaces
...
Fixes building Solidity when base directory contains spaces.
2018-07-27 13:00:58 +01:00
Christian Parpart
4c5ea49881
Fixes building Solidity when base directory contains spaces.
...
closes #4521
2018-07-27 09:41:05 +02:00
Dylan Wilson
d6d1a41286
Update doc referencing packed mode encoding for dynamic typed topic args
2018-07-25 15:28:53 -07:00
Alex Beregszaszi
61b94b7ea4
Merge pull request #4556 from ethereum/library-data-locations
...
Add tests for data locations within libraries
2018-07-25 18:03:30 +01:00
Alex Beregszaszi
5a1b6856b4
Merge pull request #4561 from ethereum/scanner-tests
...
Add comprehensive tests for the scanner
2018-07-25 17:02:40 +01:00
Alex Beregszaszi
05e608d778
Merge pull request #4562 from ethereum/parser-tests
...
Add comprehensive tests for the parser
2018-07-25 16:38:54 +01:00
Alex Beregszaszi
d04c2e069d
Merge pull request #4545 from ethereum/stringutils
...
Update stringutils to upstream
2018-07-25 16:35:12 +01:00
Alex Beregszaszi
84e0676db8
Fix upstream issues in stringutils
2018-07-25 13:56:14 +01:00
Alex Beregszaszi
2ecb7a2f72
Update stringutils to upstream 3c63f18
2018-07-25 13:55:47 +01:00
Alex Beregszaszi
afccf15f03
Merge pull request #4555 from ethereum/asm-syntax-tests
...
Add more comprehensive tests for embedded inline assembly LValue/RValue access
2018-07-25 13:50:49 +01:00
Alex Beregszaszi
b079f34c65
Scanner tests for all shifts
2018-07-25 12:59:28 +01:00
Alex Beregszaszi
aee13d709c
Scanner tests for all escapes
2018-07-25 12:59:24 +01:00
Alex Beregszaszi
e94eb1ed6e
Merge pull request #4549 from ethereum/deprecate-abi
...
Mention that constant and payable are deprecated in the ABI spec
2018-07-25 12:38:17 +01:00
Alex Beregszaszi
61a8b098e6
Mention that constant and payable are deprecated in the ABI spec
2018-07-25 11:23:44 +01:00
Alex Beregszaszi
76bc04244a
Clarify relation between stateMutability and payable/constant
2018-07-25 11:23:41 +01:00
Alex Beregszaszi
ae15b52d93
Merge pull request #4565 from ethereum/smt-stringutils-crash
...
Add assert for both branches in mergeVariables in SMTChecker
2018-07-25 11:08:47 +01:00
Alex Beregszaszi
7b5e912874
Add syntax tests for import statements
2018-07-25 11:01:41 +01:00
Alex Beregszaszi
49573bad46
Add syntax test for illegal pragma key
2018-07-25 11:01:41 +01:00
Alex Beregszaszi
fa68e0019f
Add syntax test for location specifier redeclarations
2018-07-25 11:01:41 +01:00
Alex Beregszaszi
008eb1c2c9
Add syntax test for empty emit statement
2018-07-25 11:01:41 +01:00
Alex Beregszaszi
640b8af802
Add syntax tests for assembly block type (evmasm)
2018-07-25 11:01:41 +01:00
Alex Beregszaszi
ee85430f93
Add tests for data locations within libraries
2018-07-25 10:55:23 +01:00
Alex Beregszaszi
ab3978723a
Add more tests for inlineasm/AsmAnalyzer
2018-07-25 10:45:31 +01:00
Alex Beregszaszi
d647761058
Add more comprehensive tests for embedded inline assembly LValue/RValue access
2018-07-25 10:45:31 +01:00
Alex Beregszaszi
167fe7c370
Merge pull request #4572 from ethereum/cmake-boost-tests
...
Do not include single-header boost_unit_test
2018-07-25 10:42:44 +01:00
Alex Beregszaszi
4a61cb5b59
Merge pull request #4554 from ethereum/indexing-tests
...
Add comprehensive syntax tests for indexed access
2018-07-25 10:37:30 +01:00
Alex Beregszaszi
ff8e930054
Merge pull request #4570 from ethereum/cleanup-catch-statements
...
More consistent catch statements
2018-07-25 10:31:57 +01:00
Paweł Bylica
f31989c022
Do not include single-header boost_unit_test
...
Do not mix 2 different usage variants of boost_unit_test. If you link with static libs do not include the single-header variant.
See https://www.boost.org/doc/libs/1_67_0/libs/test/doc/html/boost_test/usage_variants.html#boost_test.usage_variants.single_header
2018-07-25 09:17:53 +02:00
Alex Beregszaszi
a5a61a0b77
More consistent catch statements
...
Also take const& in all cases.
2018-07-25 01:18:09 +01:00
Alex Beregszaszi
582ab4eab4
grammar: rename AssemblyLocalBinding to AssemblyVariableDeclaration
2018-07-25 00:08:42 +01:00
Alex Beregszaszi
258e8caa59
grammar: introduce AssemblyExpression and use it in Assignment/LocalBinding
2018-07-25 00:08:08 +01:00
Alex Beregszaszi
ed4022fbca
grammar: support all assignment stataments in inline assembly
2018-07-25 00:05:19 +01:00
Alex Beregszaszi
d30a6de942
Add better warning on binary operation on non-integer types in SMT Checker
2018-07-24 23:23:54 +01:00
Alex Beregszaszi
278372c13d
Add assert for both branches in mergeVariables in SMTChecker
2018-07-24 22:43:05 +01:00
Alex Beregszaszi
1dbf2d1923
Add comprehensive syntax tests for indexed access
2018-07-24 20:26:36 +01:00
Alex Beregszaszi
ae0959ae12
Merge pull request #4553 from ethereum/pragma-tests
...
Add syntax tests for unknown / invalid pragma
2018-07-24 19:58:35 +01:00
Alex Beregszaszi
3e17438c41
Add syntax tests for unknown / invalid pragma
2018-07-24 18:35:47 +01:00
Alex Beregszaszi
fc68d22ba4
Merge pull request #4544 from ethereum/code-coverage
...
Code coverage
2018-07-24 18:32:51 +01:00
Paweł Bylica
a1d3e72bb5
Circle CI: Upload coverage data
2018-07-24 17:12:42 +02:00
Paweł Bylica
807f7533d9
CMake: Add option COVERAGE
...
This also removed PROFILE option that also adds --coverage flag. Instead you can use -DCMAKE_EXE_LINKER_FLAGS=-lprofiler. The profiling options can be added back when better investigated (e.g. -lprofiler vs -pg options).
2018-07-24 17:12:41 +02:00
Paweł Bylica
1a64dd1d71
CMake: Better policy availability checking
...
It's better to use if(POLICY ...) and we don't have to check for CMake 3.0 because this is the minimal required version.
2018-07-24 17:07:11 +02:00
Paweł Bylica
cfef5ec6b2
CMake: Set CMP0043 to NEW
...
This avoids warning in CMake 3.0.2
2018-07-24 17:04:44 +02:00
Paweł Bylica
7cd00e3630
CMake: Set CMP0042 to NEW
...
This should not affect solidity, but with this setting all supported CMake version will use NEW policy are will be allowed to use RPATH on macOS.
2018-07-24 17:01:25 +02:00
Paweł Bylica
33e22dc8bb
CMake: Do not set CMP0020 because it's about Qt
2018-07-24 16:57:57 +02:00
Paweł Bylica
9b5d713c28
CMake: Do not use non-existing sanitizer blacklist
2018-07-24 16:53:33 +02:00
Paweł Bylica
47eede069f
CMake: Drop policy CMP0028 OLD
2018-07-24 16:51:32 +02:00
Paweł Bylica
721b7bbf70
Circle CI: Add full build dir to the workspace on Linux
2018-07-24 16:51:09 +02:00
