4104 Commits

Author	SHA1	Message	Date
chriseth	4b0cd6cc8c	Update gas costs.	2021-09-08 12:25:56 +02:00
Leo Alt	6e2fe1e340	[SMTChecker] Cleanup spurious messages about TypeTypes	2021-09-07 16:55:25 +02:00
Daniel Kirchner	8447b32d52	Merge pull request #11861 from ethereum/smt_value ... [SMTChecker] Support `value` in CHC for external function calls	2021-09-03 14:00:21 +02:00
chriseth	9c2ab1ff2f	Merge pull request #11881 from ethereum/unsuable-symbol-11855 ... Properly export symbols from aliased imports.	2021-09-02 16:39:16 +02:00
Leo Alt	106c591dde	Support the external call option	2021-09-01 20:18:37 +02:00
Marenz	4700c2b973	Properly export symbols from aliased imports.	2021-09-01 19:55:30 +02:00
Marenz	2b28f87abf	Add type().min/max for enums	2021-09-01 15:02:02 +02:00
Kamil Śliwak	d07b796675	Disallow modifier declarations and definitions in interfaces	2021-08-31 15:25:08 +02:00
chriseth	f7916f2940	Add override exception for interface functions.	2021-08-31 10:45:31 +02:00
Leo Alt	ac528cfd1b	add static array length constraint	2021-08-30 17:15:16 +02:00
Leo Alt	16bc15acac	Fix false negative on storage array references returned by internal functions	2021-08-28 09:30:53 +02:00
Leo Alt	60b866f9d8	Fix ICE on multi-source use of abi.*	2021-08-27 18:55:36 +02:00
Leo Alt	0cc9162fb5	Update SMTChecker tests	2021-08-27 16:25:09 +02:00
Kamil Śliwak	92446cbcab	TemporaryDirectory: Add an alternative constructor that can create subdirectories	2021-08-27 15:11:20 +02:00
Kamil Śliwak	9dc7360903	TemporaryDirectory: Add automatic conversions to boost::filesystem::path	2021-08-27 15:11:20 +02:00
Kamil Śliwak	13f46ebb1e	FileReader: Normalize base path and strip it from normalized source paths	2021-08-27 15:10:46 +02:00
Leo Alt	a9af63187e	Adjust tests for nondeterminism	2021-08-25 21:10:43 +02:00
Leo Alt	4cf4ccafd7	New tests	2021-08-25 21:10:08 +02:00
Leo Alt	85378b1770	Update existing tests	2021-08-25 21:10:08 +02:00
Leo Alt	718f392849	Don't erase things for BMC if function call is staticcall	2021-08-25 14:09:46 +02:00
Leo Alt	a55685c04f	Erase balances when delegatecall is seen	2021-08-25 12:39:26 +02:00
Leo Alt	9ea4576664	Update tests	2021-08-19 16:34:01 +02:00
chriseth	45a910c2ca	Merge pull request #11750 from ethereum/immutables-10463 ... Allow reading of immutables during construction time	2021-08-19 14:39:03 +02:00
Marenz	121fd40f74	Allow reading of immutables during construction time	2021-08-19 13:59:05 +02:00
chriseth	2165c0d3d9	Update gas costs.	2021-08-19 13:26:52 +02:00
chriseth	063d481bb3	Fix parsing fixed point values.	2021-08-17 14:46:11 +02:00
chriseth	948665ff89	Merge pull request #11749 from ethereum/simplifyConvertEvenMOre ... Simplify yul conversion function even more.	2021-08-17 14:39:59 +02:00
chriseth	704820cc6e	Update tests.	2021-08-16 22:24:06 +02:00
Alexander Arlt	866617b353	[isoltest] Add support for fixed point types.	2021-08-16 13:07:22 +02:00
chriseth	d7a802e4bf	Merge pull request #11682 from ethereum/fixedPointTypes ... Fixed point types for isoltest	2021-08-13 09:37:29 +02:00
Leo Alt	937af7d722	Fix SMT test	2021-08-12 22:34:18 +02:00
Alexander Arlt	d6b9b4175b	[isoltest] Add support for fixed point types.	2021-08-12 21:27:51 +02:00
chriseth	fe0d027d45	Merge pull request #11785 from ethereum/someMoreBaseFees ... Some more base fees.	2021-08-12 19:48:10 +02:00
Leo Alt	6ee60aa628	Fix false positive on external calls from constructors	2021-08-12 18:51:55 +02:00
chriseth	c87c0f02bd	Test updates.	2021-08-12 16:56:12 +02:00
chriseth	90c4623460	Some more base fees.	2021-08-12 16:37:21 +02:00
chriseth	ccdc11ea5b	Merge pull request #11741 from ethereum/shadowing_inlineasm_fix_yul_codegen ... Fixed inline assembly external identifier access.	2021-08-12 14:38:24 +02:00
Leo Alt	10397e440c	Fix ICE in constants	2021-08-12 10:53:01 +02:00
chriseth	a4c94a1b5b	Fixed inline assembly external identifier access.	2021-08-11 18:18:29 +02:00
hrkrshnn	892700d769	Tests for basefee as identifier in inline assembly ... Also added basefee to `EVMVersion::hasOpcode(...)`	2021-08-11 10:46:40 +02:00
hrkrshnn	7f1a2be0fe	Allow basefee as Yul identifier for EVMVersion < london ... This was done to prevent basefee from being a breaking change. This change will be removed in 0.9.0. TODO revert this commit in breaking.	2021-08-11 10:46:08 +02:00
hrkrshnn	79733fca48	Set default EVM version to London.	2021-08-11 09:54:14 +02:00
hrkrshnn	43605d9299	Tests and Changelog for basefee.	2021-08-11 09:51:12 +02:00
Leo Alt	ee6285d6d7	Do not create VCs for underoverflow by default for Sol >=0.8	2021-08-09 14:12:31 +02:00
chriseth	db85849648	Merge pull request #11737 from ethereum/fix_shift_cleanup ... Yul: Fix cleanup for left shift of bytes types.	2021-08-05 12:55:42 +02:00
chriseth	6b888b531b	Refactor conversion function.	2021-08-05 11:48:35 +02:00
chriseth	0112fed73b	Yul: Fix cleanup for left shift of bytes types.	2021-08-05 10:54:48 +02:00
Leo Alt	3c1f555f71	Tests	2021-08-04 13:54:50 +02:00
chriseth	ffc5cfd9a5	Remove scanner from compiler stack.	2021-08-03 15:43:17 +02:00
Leo Alt	6c8ecfa82c	Add option to choose solver	2021-07-27 17:14:21 +02:00