10920 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Leonardo Alt	87a38e1abe	[SMTChecker] SMTPortfolio: use all SMT solvers available	2018-07-27 16:15:34 +01:00
Alex Beregszaszi	5faa60e883	Merge pull request #4593 from ethereum/smt_timeout ... Set query timeout in SMT	2018-07-27 15:42:55 +01:00
Leonardo Alt	b356f6a7f9	Setting timeout to Z3 and CVC4	2018-07-27 16:01:48 +02:00
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