2260 Commits

Author	SHA1	Message	Date
Leonardo Alt	10e70b8603	[SMTChecker] Support inheritance and resolve overrides	2019-11-06 11:00:06 +01:00
Leonardo Alt	c5e081dc8c	[SMTChecker] Refactor CHC loops and add if blocks	2019-11-05 09:28:59 +01:00
Leonardo	1eac3d1d83	Merge pull request #7582 from ethereum/smt_multid_array_assignment ... [SMTChecker] Support assignments to m-d arrays and mappings	2019-11-04 17:37:33 +01:00
Leonardo Alt	8a42e3f87a	[SMTChecker] Support assignments to m-d arrays and mappings	2019-10-28 17:27:39 +01:00
chriseth	9719f099aa	Merge pull request #7551 from ethereum/060-cxx17-std-optional ... Use `std::optional<>` rather than `boost::optional<>`	2019-10-28 12:17:31 +01:00
Christian Parpart	df729b3084	Make use of C++17 std::optional<> instead of boost::optional<>.	2019-10-28 11:39:30 +01:00
Henry Lee	24cbb4dd17	Treat magic variables as unknown identifiers in inline assembly ... This fixes #4575. For keywords such as 'super' and 'this', will be treated as unknown identifiers.	2019-10-28 14:59:50 +11:00
chriseth	15e39f7d65	Merge pull request #7556 from ethereum/ice-7550 ... Check for use of modifiers in invalid contexts	2019-10-24 10:32:49 +02:00
Mathias Baumann	c3e8023ad5	Fix wrong assert in overflow check	2019-10-23 14:59:34 +02:00
Mathias Baumann	8c5d1da5a5	Check for use of modifiers in invalid contexts	2019-10-23 12:36:20 +02:00
Mathias Baumann	ad7cf42aad	Add missing dots in deprecation warning	2019-10-23 12:23:21 +02:00
Mathias Baumann	6ac12afd06	Disallow call of same-class-ctor as modifier	2019-10-23 10:29:41 +02:00
chriseth	e626437d77	Merge pull request #7538 from ghallak/7198-remove-padded-zeros ... Remove trailing zeros from the output of BytesUtils::formatBytes	2019-10-16 15:55:02 +02:00
chriseth	ebfe7391ff	Use selfbalance for `address(this).balance`.	2019-10-16 14:25:56 +02:00
Gaith Hallak	8a8f553e4d	Remove trailing zeros from the output of BytesUtils::formatBytes	2019-10-16 14:42:12 +03:00
Gaith Hallak	02ae43aad4	Fix the documentation for TestFunctionCall::format	2019-10-16 14:42:12 +03:00
Gaith Hallak	51ae296cac	Modify the expectation files in ASTJSON tests.	2019-10-02 22:31:12 +02:00
Daniel Kirchner	7202ebb5b2	Fix internal compiler error for arrays of recursive structs.	2019-10-01 16:51:14 +02:00
Christian Parpart	00d7dac15f	Fixes source location in warning for shadowing import delcarations.	2019-09-30 11:45:46 +02:00
Christian Parpart	f85f6ba7e0	Fixes doxygen style multiline comment parsing for files with CRLF as line terminators.	2019-09-25 12:59:46 +02:00
chriseth	cda23d63e9	Merge pull request #7458 from ethereum/fixErrorMessage ... Fix error message about accessing storage pointers.	2019-09-24 15:11:03 +02:00
chriseth	973e4ca90a	Merge pull request #7453 from ethereum/smt_lib_const_array ... [SMTChecker] Add "as const: function to SMTLib2Interface	2019-09-24 11:02:34 +02:00
chriseth	ca21659749	Fix error message about accessing storage pointers.	2019-09-24 10:52:02 +02:00
chriseth	bfc8fd23ac	Document chainid and selfbalance.	2019-09-19 15:35:37 +02:00
Leonardo Alt	ed9674be8d	[SMTChecker] Add as const function to SMTLib2Interface	2019-09-18 22:57:14 +02:00
chriseth	7a79742f3d	Out of body again.	2019-09-17 12:30:15 +02:00
Leonardo Alt	eab9f65610	Fix ICE when pop dyn storage array of mapping	2019-09-16 16:33:17 +02:00
Leonardo Alt	e1c238e25f	[SMTChecker] Add loop support	2019-09-13 12:40:53 +02:00
Erik Kundt	e92b921123	[isoltest] Adds support for fallback and ether functions.	2019-09-13 10:55:46 +02:00
chriseth	4f80117eef	Use builtin iszero for for loop condition rewriting.	2019-09-12 10:26:16 +02:00
Erik Kundt	4162c3d7af	[isoltest] Adds fallback formatting.	2019-09-11 15:45:53 +02:00
Erik Kundt	5e12e0cf27	[isoltest] Fixes auto-update for revert.	2019-09-09 22:46:43 +02:00
chriseth	8485a1abec	Change ABI sorting order.	2019-09-04 13:06:09 +02:00
Leonardo Alt	a774b2d905	[SMTChecker] Zero-initialize arrays	2019-09-02 22:37:30 +02:00
Leonardo Alt	214e5c6369	[SMTChecker] Fix index access type type error	2019-08-27 16:39:19 +02:00
Mathias L. Baumann	e1bb4b9f81	Merge pull request #7280 from ethereum/isoltest-empty-revert ... [isoltest] Support empty revert message	2019-08-26 11:45:36 +02:00
Erik Kundt	755dae5d66	[isoltest] Supports empty revert message.	2019-08-26 11:06:30 +02:00
Leonardo Alt	c27235b2f5	[SMTChecker] Adapt division test for Z3 only	2019-08-23 17:33:29 +02:00
Mathias Baumann	0e3ff25b4e	Make sure json output array order is consistent ... The source of the "contractDependencies" value was an std::map, thus order was more or less random.	2019-08-19 17:42:03 +02:00
Daniel Kirchner	aa2167b208	Extract some import tests.	2019-08-19 14:45:26 +02:00
Daniel Kirchner	6ed219ebe8	Support multiple sources for syntax tests.	2019-08-19 14:45:26 +02:00
Daniel Kirchner	4a65c5ebaa	Compile succeeding syntax tests.	2019-08-16 17:14:49 +02:00
Leonardo Alt	1a70a46f9b	[CHC] Add function blocks and check asserts	2019-08-15 12:25:15 +02:00
chriseth	2508cbc1eb	Merge pull request #7095 from ethereum/isoltest-failure-reason ... [isoltest] Support FAILURE with reason	2019-08-15 11:37:56 +02:00
Erik Kundt	6c73bc5bac	[isoltest] Refactors parameter formatting.	2019-08-14 21:28:43 +02:00
Erik Kundt	18157f5a49	[isoltest] Splits smoke test into separate files.	2019-08-14 21:28:43 +02:00
Erik Kundt	30483acc42	[isoltest] Support FAILURE with reason.	2019-08-14 21:28:43 +02:00
Daniel Kirchner	b0a5666b43	Better error messages when writing to expressions that cannot be written to.	2019-08-14 17:59:48 +02:00
Leonardo	ffe906129f	Merge pull request #7210 from ethereum/smt_fix_type_mismatch ... [SMTChecker] Support StringLiteral type	2019-08-12 14:32:43 +02:00
Leonardo Alt	955b97097c	[SMTChecker] Relax expectations for complex nonlinear tests	2019-08-11 22:20:31 +02:00