| 
							
							
								 chriseth | 77932edb02 | Consider non-external functions not left-aligned. | 2021-09-29 11:44:17 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | cb052611cf | Fix signextend for user defined value types. | 2021-09-29 11:44:17 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | da5c5928fe | Properly handle fixed-byte-like types. | 2021-09-29 11:41:47 +02:00 |  | 
			
				
					| 
							
							
								 hrkrshnn | 6109b5c3a1 | UserDefinedValueType.storageBytes() is correctly set Previously it returned 32 bytes for all types, which was wasteful. This commit changes it to return
the storage bytes of the underlying type. | 2021-09-29 11:41:47 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | 90f4ca1048 | Do not store immutables packed. | 2021-09-29 10:12:05 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | b6e62d61ec | Export canonicalName | 2021-09-28 12:00:30 +02:00 |  | 
			
				
					| 
							
							
								 Kamil Śliwak | f909555022 | Treat ambiguous imports as errors | 2021-09-27 13:14:23 +02:00 |  | 
			
				
					| 
							
							
								 Kamil Śliwak | 9975b5e26b | Detect source unit name collisions between paths specified on the command line | 2021-09-27 13:14:23 +02:00 |  | 
			
				
					| 
							
							
								 Kamil Śliwak | c8a7a1da7c | Add --include-path option | 2021-09-27 13:14:23 +02:00 |  | 
			
				
					| 
							
							
								 Kamil Śliwak | 479ba7c523 | Handle allowing empty paths correctly | 2021-09-27 13:14:10 +02:00 |  | 
			
				
					| 
							
							
								 Kamil Śliwak | 3ac3612767 | Whitelist base path | 2021-09-27 13:14:10 +02:00 |  | 
			
				
					| 
							
							
								 Kamil Śliwak | 52dd39212d | Normalize allowed paths before comparing them with imports | 2021-09-27 13:14:10 +02:00 |  | 
			
				
					| 
							
							
								 Kamil Śliwak | a436abfb25 | normalizeCLIPathForVFS(): Add an option for resolving symlinks | 2021-09-27 13:14:10 +02:00 |  | 
			
				
					| 
							
							
								 Kamil Śliwak | f0dceffe1d | Refactor parsing of remappings to remove duplication and improve readability | 2021-09-27 13:14:10 +02:00 |  | 
			
				
					| 
							
							
								 Kamil Śliwak | d06dc7613e | Print diagnostic info for more exception types in the default import callback | 2021-09-27 13:14:10 +02:00 |  | 
			
				
					| 
							
							
								 Alex Beregszaszi | 3c8846e669 | Merge pull request #11976 from ethereum/json-cleanup Some cleanup and testing for JSON | 2021-09-24 19:03:45 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 1531863835 | Split Common.h into Numeric.h. | 2021-09-23 15:27:29 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | c8e6ef9657 | Merge pull request #12004 from ethereum/disambiguateBytesRequired Disambiguate bytesRequired | 2021-09-23 15:25:44 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | 5a3a5c746f | Merge pull request #11864 from ethereum/protectViaIR Add protection against mixing "viaIR" and "non-viaIR". | 2021-09-22 16:16:11 +02:00 |  | 
			
				
					| 
							
							
								 Harikrishnan Mulackal | 55d609d354 | Merge pull request #11990 from ethereum/smt_user_types [SMTChecker] Support user types | 2021-09-22 15:40:49 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | 9f8406ad37 | Add protection against mixing "viaIR" and "non-viaIR". | 2021-09-22 15:34:39 +02:00 |  | 
			
				
					| 
							
							
								 Kamil Śliwak | fc7e8c56dc | Fill out originLocation with nativeLocation when importing Yul AST | 2021-09-22 13:17:18 +02:00 |  | 
			
				
					| 
							
							
								 Kamil Śliwak | ce4420f857 | Separate DebugData fields for Solidity and Yul source locations | 2021-09-22 13:11:39 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | 50ce1f5ddd | Disambiguate bytesRequired | 2021-09-22 11:22:07 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | 7637286074 | Remove unused function. | 2021-09-22 11:11:51 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | 2741175507 | Use function debug data. | 2021-09-22 11:11:51 +02:00 |  | 
			
				
					| 
							
							
								 Marenz | 7a51acc5fe | Correct wrong error message referencing .slotand.offsetwhen.lengthwas used | 2021-09-21 18:28:38 +02:00 |  | 
			
				
					| 
							
							
								 Leo Alt | e74f853c6b | [SMTChecker] Support user types | 2021-09-21 13:23:17 +02:00 |  | 
			
				
					| 
							
							
								 Alex Beregszaszi | 55c64e3ca1 | Always explicitly initialise Json objects | 2021-09-21 10:49:13 +01:00 |  | 
			
				
					| 
							
							
								 Kamil Śliwak | fc8c4b046c | StandardCompiler: Do not discard non-fatal errors that happened before a fatal error | 2021-09-16 20:29:03 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | 3f8023ace9 | Merge pull request #11981 from ethereum/simplifyVersion Simplify version.cpp | 2021-09-16 18:28:19 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | 8b3748e5b7 | Emit ast id. | 2021-09-16 17:19:17 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | a72f4f3993 | Print AST ID. | 2021-09-16 17:19:17 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | c892d1904b | Simplify version.cpp | 2021-09-16 16:03:27 +02:00 |  | 
			
				
					| 
							
							
								 Leo Alt | a1bea368cb | [SMTChecker] Support constants via modules | 2021-09-16 14:35:05 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | 4284499180 | Merge pull request #11888 from ethereum/spdx-license-handling-10145 Properly detect multiple licenses and validate them. | 2021-09-16 14:18:17 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | ff0e433635 | Merge pull request #11965 from ethereum/userdefined-changed-toString User defined value types changed toString() | 2021-09-16 13:58:55 +02:00 |  | 
			
				
					| 
							
							
								 Marenz | c81814915c | Properly detect multiple licenses and validate them. | 2021-09-16 11:18:26 +02:00 |  | 
			
				
					| 
							
							
								 Alex Beregszaszi | c1070fabc0 | Merge pull request #11906 from ethereum/smt_fix_bmc [SMTChecker] Fix BMCs constraints on internal functions | 2021-09-15 21:01:29 +01:00 |  | 
			
				
					| 
							
							
								 hrkrshnn | 48e16ceb88 | Changing the UserDefinedValueType::toString to userdefined <name> | 2021-09-15 17:25:23 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | 34e516ea1b | Merge pull request #11963 from ethereum/slightABIDecodeImprovement Improve abi decoding functions for arrays. | 2021-09-15 15:42:13 +02:00 |  | 
			
				
					| 
							
							
								 Leo Alt | b731957e65 | Fix BMCs constraints on internal functions | 2021-09-15 14:42:39 +02:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | d1c0b428fc | Improve abi decoding functions for arrays. | 2021-09-15 13:50:19 +02:00 |  | 
			
				
					| 
							
							
								 hrkrshnn | de01822999 | UserDefinedValueType: from simple name to canonical name. | 2021-09-15 12:56:29 +02:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | 0fa24c786b | Merge pull request #11956 from ethereum/userDefinedTypesContractAccess Allow accessing user defined value type members via contract name. | 2021-09-14 17:14:04 +02:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | be29ef70a7 | Allow accessing user defined value type members via contract name. | 2021-09-14 16:24:14 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | 8735d3fb6c | Merge pull request #11930 from ethereum/calldataStructInlineAssembly Fix inline assembly assignments to calldata structs and statically-sized calldata arrays. | 2021-09-14 16:16:48 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | 8188ea7d66 | Merge pull request #11931 from ethereum/different-metadata-via-ir Different metadata for IR | 2021-09-14 15:48:08 +02:00 |  | 
			
				
					| 
							
							
								 Leonardo | e45083f319 | Merge pull request #11606 from ethereum/info_message Add new info severity | 2021-09-14 14:30:07 +02:00 |  | 
			
				
					| 
							
							
								 Kamil Śliwak | 405a9e9971 | Generate separate metadata for the old and the new codegen | 2021-09-14 13:44:04 +02:00 |  |