5507 Commits

Author	SHA1	Message	Date
Harikrishnan Mulackal	5241b7b761	Merge pull request #10684 from ethereum/fixIRWrappingExp ... Use wrapping arithmetic for exp in unchecked blocks.	2021-01-06 18:53:54 +01:00
Harikrishnan Mulackal	3cb48b8c60	Merge pull request #10683 from ethereum/optSubEq ... Optimize iszero(sub(x, y)) to eq(x, y).	2021-01-06 12:22:54 +01:00
Daniel Kirchner	308549f950	Simplify test and add Changelog entry.	2021-01-06 11:33:08 +01:00
Alex Beregszaszi	8edfa26f0a	Mark the empty version pragma as invalid	2021-01-04 19:28:36 +00:00
Leonardo Alt	b02722ebda	Add contract name to called function in cex	2021-01-04 10:03:16 +01:00
Djordje Mijovic	67c92b7f6e	Updating gas costs and cmdline tests.	2020-12-30 17:48:41 +01:00
Djordje Mijovic	b74c08143f	Deleting yul unimplemented test.	2020-12-30 17:19:04 +01:00
Djordje Mijovic	ddb05769a5	[Sol->Yul] Implementing type name.	2020-12-30 17:19:03 +01:00
Leonardo Alt	78d55e6b4a	[SMTChecker] Support check/unchecked	2020-12-30 12:14:30 +01:00
Martin Blicha	be0a0f4d90	[SMTChecker] Added constraints for block properties	2020-12-29 22:17:44 +01:00
Leonardo Alt	9482e7de23	[SMTChecker] Fix calls to virtual/overriden functions	2020-12-29 11:25:20 +01:00
Martin Blicha	41d31fe4d4	updates to the tests	2020-12-28 20:05:52 +01:00
Martin Blicha	77dff222e9	disabling some tests because of nondeterminism in Spacer	2020-12-28 16:24:44 +01:00
Martin Blicha	745466b71f	updates to the tests	2020-12-28 14:32:53 +01:00
Djordje Mijovic	c41f996c7b	Adding more tests for array copying. ... Co-authored-by: Harikrishnan Mulackal <webmail.hari@gmail.com>	2020-12-28 13:16:24 +01:00
chriseth	2ab83217e3	Use wrapping arithmetic for exp in unchecked blocks.	2020-12-22 16:49:55 +01:00
chriseth	e299d8ba64	Merge pull request #10677 from ethereum/dirtyMemoryBytesSol2Yul ... [Sol->Yul] Disable old codegen test viaYul and create new one that fits IR semantics	2020-12-22 16:22:38 +01:00
chriseth	04d83af1d2	Merge pull request #10492 from ethereum/arrayClearingDiffBaseSol2Yul ... [Sol->Yul] Fixing array clearing when copying from storage to storage.	2020-12-22 15:15:03 +01:00
chriseth	d46da8e53c	Optimize iszero(sub(x, y)) to eq(x, y).	2020-12-22 15:11:48 +01:00
Djordje Mijovic	a204596c3e	[Sol->Yul] Disable old codegen test viaYul and create new one that fits IR semantics. ... Co-authored-by: chriseth <chris@ethereum.org>	2020-12-22 15:11:07 +01:00
Martin Blicha	d90b9da4f0	[SMTChecker] Refactoring	2020-12-22 13:10:48 +01:00
chriseth	b965446182	Catch panic.	2020-12-22 11:08:44 +01:00
Đorđe Mijović	b78443ac75	Merge pull request #10577 from ethereum/deleteMappingSol2Yul ... [Sol->Yul] Skipping mapping types when deleting structs and arrays.	2020-12-21 20:08:51 +01:00
Leonardo	a48106ca1f	Merge pull request #10670 from blishko/smt-virtual-modifiers-fix ... [SMTChecker] Fix virtual modifier called statically	2020-12-21 18:05:02 +01:00
Djordje Mijovic	adb9d0c41a	[Sol->Yul] Fixing array clearing when copying from storage to storage.	2020-12-21 17:33:06 +01:00
Djordje Mijovic	8b6397e8fb	Adding more syntax and semantic tests.	2020-12-21 15:30:49 +01:00
Đorđe Mijović	21dc6c8356	Merge pull request #10552 from ethereum/gettersSol2Yul ... [Sol->Yul] Implementing getter for struct with bytes member	2020-12-21 15:29:29 +01:00
Djordje Mijovic	7b2614576f	Activating some tests viaYul after implementing getters for bytes.	2020-12-21 14:46:13 +01:00
Djordje Mijovic	2d5a2c65a8	[Sol->Yul] Implementing getters for bytes and structs containing bytes member. ... Co-authored-by: chriseth <chris@ethereum.org>	2020-12-21 14:46:06 +01:00
Martin Blicha	87ef0e16f5	[SMTChecker] Fix virtual modifier called statically	2020-12-21 13:52:28 +01:00
Djordje Mijovic	9b8634f2a7	[Sol->Yul] Skipping mapping types when deleting structs and arrays.	2020-12-21 13:19:25 +01:00
Bhargava Shastry	beed9de7d5	Merge pull request #10668 from ethereum/fuzzer-always-add-smt-pragma ... ossfuzz: Add option to force SMT pragma and set it in solc fuzzers	2020-12-21 12:38:44 +01:00
Bhargava Shastry	a6a2b58e57	ossfuzz: Add option to force SMT pragma and set it in solc fuzzers ... Co-authored-by: Leonardo <leo@ethereum.org>	2020-12-21 11:55:58 +01:00
chriseth	43baceb1ed	Test for recursion with modifiers.	2020-12-21 11:39:59 +01:00
Leonardo	158154bac3	Merge pull request #10345 from ethereum/ir-runtime ... Output runtime object in IR	2020-12-18 17:19:40 +01:00
Alex Beregszaszi	7e20a095a8	Merge pull request #10652 from ethereum/smt_constants_inplce ... [SMTChecker] Replace constants by their value in-place	2020-12-18 14:22:32 +00:00
chriseth	c4ade1753e	Merge pull request #10445 from ethereum/modifiers ... [Sol->Yul] Implement function modifiers.	2020-12-18 14:29:00 +01:00
Leonardo Alt	034d1ab90f	[SMTChecker] Replace constants by their value in-place	2020-12-18 14:22:28 +01:00
Alex Beregszaszi	b14a6a10cc	Report meaningful error if parsing a version pragma failed	2020-12-18 11:50:37 +00:00
Martin Blicha	7078e8f8f8	[SMTChecker] Fix analysis of overriding modifiers	2020-12-17 17:05:54 +01:00
chriseth	1fa371d426	Tests	2020-12-17 17:00:51 +01:00
chriseth	35908c602b	Modifiers for constructors.	2020-12-17 17:00:51 +01:00
chriseth	ccaa81fbe7	Implement function modifiers.	2020-12-17 17:00:51 +01:00
Leonardo Alt	50be39fc21	Add and update tests	2020-12-17 14:42:49 +01:00
Alex Beregszaszi	953d18c6cb	Output runtime object in IR	2020-12-16 19:23:10 +00:00
Leonardo Alt	f5c96ea6da	Fix constant evaluation build	2020-12-16 17:59:00 +01:00
chriseth	3a23df6717	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-16 16:56:45 +01:00
chriseth	7338295fee	Merge pull request #10623 from ethereum/smt_const_expr ... [SMTChecker] Apply const eval to arithmetic binary expressions	2020-12-16 15:39:16 +01:00
Kamil Śliwak	34e21c929a	Fix a test for unicode direction override failing because of Windows line endings	2020-12-16 15:24:41 +01:00
Leonardo Alt	80e85b772b	[SMTChecker] Apply const eval to arithmetic binary expressions	2020-12-16 14:58:00 +01:00