Nuno Santos 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							b8e74ffc57 
							
						 
					 
					
						
						
							
							Update smtchecker.rst  
						
						... 
						
						
						
						Fixes  #13988  
					
						2023-02-23 12:09:12 +00:00 
						 
				 
			
				
					
						
							
							
								Nikola Matic 
							
						 
					 
					
						
						
						
						
							
						
						
							21823613bc 
							
						 
					 
					
						
						
							
							Set release date for 0.8.19  
						
						
						
					 
					
						2023-02-22 13:33:25 +01:00 
						 
				 
			
				
					
						
							
							
								Nikola Matić 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							5f0f91974a 
							
						 
					 
					
						
						
							
							Revert "Set version to 0.8.20"  
						
						
						
					 
					
						2023-02-22 13:27:50 +01:00 
						 
				 
			
				
					
						
							
							
								Nikola Matic 
							
						 
					 
					
						
						
						
						
							
						
						
							02b02f507d 
							
						 
					 
					
						
						
							
							Set version to 0.8.20  
						
						
						
					 
					
						2023-02-22 12:17:21 +01:00 
						 
				 
			
				
					
						
							
							
								Daniel 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							103bf7a71f 
							
						 
					 
					
						
						
							
							Merge pull request  #13790  from ethereum/user-defined-operators-for-udvt  
						
						... 
						
						
						
						User-defined operators for UDVTs 
						
					 
					
						2023-02-22 11:58:48 +01:00 
						 
				 
			
				
					
						
							
							
								William Entriken 
							
						 
					 
					
						
						
						
						
							
						
						
							6216842458 
							
						 
					 
					
						
						
							
							Add recommendation for leading underscore, see  #11764  
						
						... 
						
						
						
						Update docs/style-guide.rst
Co-authored-by: Nuno Santos <nunofilipesantos@gmail.com>
Update docs/style-guide.rst
Update docs/style-guide.rst
Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
Update docs/style-guide.rst
Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
Update docs/style-guide.rst
Update docs/style-guide.rst
Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
Update docs/style-guide.rst
Update docs/style-guide.rst
Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
Update docs/style-guide.rst
Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
Update docs/style-guide.rst
Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
Update docs/style-guide.rst
Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
Update docs/style-guide.rst
Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
Update docs/style-guide.rst
Co-authored-by: Nikola Matić <nikola.matic@ethereum.org> 
						
					 
					
						2023-02-22 07:31:51 +01:00 
						 
				 
			
				
					
						
							
							
								wechman 
							
						 
					 
					
						
						
						
						
							
						
						
							2e8d50eca2 
							
						 
					 
					
						
						
							
							User-defined operators: Documentation  
						
						
						
					 
					
						2023-02-22 00:39:25 +01:00 
						 
				 
			
				
					
						
							
							
								wechman 
							
						 
					 
					
						
						
						
						
							
						
						
							9445483d60 
							
						 
					 
					
						
						
							
							User-defined operators: Parsing and grammar  
						
						
						
					 
					
						2023-02-22 00:06:17 +01:00 
						 
				 
			
				
					
						
							
							
								Nikola Matic 
							
						 
					 
					
						
						
						
						
							
						
						
							2c306ed32c 
							
						 
					 
					
						
						
							
							Fix broken links for 0.8.19  
						
						
						
					 
					
						2023-02-21 14:46:41 +01:00 
						 
				 
			
				
					
						
							
							
								drblessing 
							
						 
					 
					
						
						
						
						
							
						
						
							37e507972c 
							
						 
					 
					
						
						
							
							Update block time documentation  
						
						
						
					 
					
						2023-02-21 13:18:51 +01:00 
						 
				 
			
				
					
						
							
							
								minaminao 
							
						 
					 
					
						
						
						
						
							
						
						
							411431444e 
							
						 
					 
					
						
						
							
							fix: remove unnecessary text in yul.rst  
						
						
						
					 
					
						2023-02-21 05:37:10 +09:00 
						 
				 
			
				
					
						
							
							
								Daniel 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							048aabd3ca 
							
						 
					 
					
						
						
							
							Merge pull request  #13934  from esaulpaugh/develop  
						
						... 
						
						
						
						specify "receive" as having no "name" 
						
					 
					
						2023-02-07 15:40:52 +01:00 
						 
				 
			
				
					
						
							
							
								Leo 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							7176925a87 
							
						 
					 
					
						
						
							
							Merge pull request  #11559  from ethereum/smt_trusted  
						
						... 
						
						
						
						[SMTChecker] Trusted mode for external calls 
						
					 
					
						2023-02-06 21:39:13 +01:00 
						 
				 
			
				
					
						
							
							
								Nuno Santos 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							411841cbb5 
							
						 
					 
					
						
						
							
							Tweak wording in value type docs ( #13935 )  
						
						... 
						
						
						
						* Update value-types.rst
- User-defined were written inconsistently (with/without hyphen)
- Rewording some sentences for user clarity.
* Update docs/types/value-types.rst
Co-authored-by: chriseth <chris@ethereum.org>
---------
Co-authored-by: chriseth <chris@ethereum.org> 
						
					 
					
						2023-02-06 17:19:48 +00:00 
						 
				 
			
				
					
						
							
							
								Leo Alt 
							
						 
					 
					
						
						
						
						
							
						
						
							8d91ccf028 
							
						 
					 
					
						
						
							
							[SMTChecker] Add a new trusted mode which assumes that code that is  
						
						... 
						
						
						
						available at compile time is trusted. 
						
					 
					
						2023-02-06 17:02:33 +01:00 
						 
				 
			
				
					
						
							
							
								Evan Saulpaugh 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							821da895ea 
							
						 
					 
					
						
						
							
							specify "receive" as having no "name"  
						
						
						
					 
					
						2023-02-05 16:13:23 -06:00 
						 
				 
			
				
					
						
							
							
								Nicolás Acosta 
							
						 
					 
					
						
						
						
						
							
						
						
							da7dfeb0c5 
							
						 
					 
					
						
						
							
							style(reference-types): fix mapping style  
						
						
						
					 
					
						2023-02-01 15:54:32 -03:00 
						 
				 
			
				
					
						
							
							
								Nicolás Acosta 
							
						 
					 
					
						
						
						
						
							
						
						
							b403085fa1 
							
						 
					 
					
						
						
							
							style(layout_in_storage): fix mapping style  
						
						
						
					 
					
						2023-02-01 15:54:08 -03:00 
						 
				 
			
				
					
						
							
							
								Nicolás Acosta 
							
						 
					 
					
						
						
						
						
							
						
						
							9b0556caa4 
							
						 
					 
					
						
						
							
							style(modular): fix mapping style  
						
						
						
					 
					
						2023-02-01 15:53:33 -03:00 
						 
				 
			
				
					
						
							
							
								Nicolás Acosta 
							
						 
					 
					
						
						
						
						
							
						
						
							5b149adfcd 
							
						 
					 
					
						
						
							
							style(visibility-and-getters): fix mapping style  
						
						
						
					 
					
						2023-02-01 15:53:04 -03:00 
						 
				 
			
				
					
						
							
							
								Nicolás Acosta 
							
						 
					 
					
						
						
						
						
							
						
						
							72a17ceb71 
							
						 
					 
					
						
						
							
							style(function-modifiers): fix mapping style  
						
						
						
					 
					
						2023-02-01 15:52:34 -03:00 
						 
				 
			
				
					
						
							
							
								Nicolás Acosta 
							
						 
					 
					
						
						
						
						
							
						
						
							1edfd73b37 
							
						 
					 
					
						
						
							
							style(security-considerations): fix mapping style  
						
						
						
					 
					
						2023-02-01 15:51:56 -03:00 
						 
				 
			
				
					
						
							
							
								Nicolás Acosta 
							
						 
					 
					
						
						
						
						
							
						
						
							7b8478a81b 
							
						 
					 
					
						
						
							
							style(intro-sc): fix mapping style  
						
						
						
					 
					
						2023-02-01 15:51:26 -03:00 
						 
				 
			
				
					
						
							
							
								Nicolás Acosta 
							
						 
					 
					
						
						
						
						
							
						
						
							4ff310cc62 
							
						 
					 
					
						
						
							
							style(common-patterns): fix mapping style  
						
						
						
					 
					
						2023-02-01 15:50:48 -03:00 
						 
				 
			
				
					
						
							
							
								Nicolás Acosta 
							
						 
					 
					
						
						
						
						
							
						
						
							e89efe89a6 
							
						 
					 
					
						
						
							
							style(mapping-types): fix mapping style  
						
						
						
					 
					
						2023-02-01 15:49:34 -03:00 
						 
				 
			
				
					
						
							
							
								Rodrigo Q. Saramago 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							66007f5001 
							
						 
					 
					
						
						
							
							Add release date and bugs by version entry for 0.8.18  
						
						
						
					 
					
						2023-02-01 14:45:13 +01:00 
						 
				 
			
				
					
						
							
							
								Kamil Śliwak 
							
						 
					 
					
						
						
						
						
							
						
						
							8447baec4d 
							
						 
					 
					
						
						
							
							docs; Link to published versions of translated docs for languages that already have them  
						
						
						
					 
					
						2023-02-01 12:27:56 +01:00 
						 
				 
			
				
					
						
							
							
								Kamil Śliwak 
							
						 
					 
					
						
						
						
						
							
						
						
							57b01db57b 
							
						 
					 
					
						
						
							
							docs: Replace broken link to Oxford Dictionary British spelling page with an archive.org copy  
						
						
						
					 
					
						2023-02-01 12:27:23 +01:00 
						 
				 
			
				
					
						
							
							
								Kamil Śliwak 
							
						 
					 
					
						
						
						
						
							
						
						
							986bc361b1 
							
						 
					 
					
						
						
							
							docs: Replace some links with redirects found by linkcheck  
						
						
						
					 
					
						2023-02-01 12:26:44 +01:00 
						 
				 
			
				
					
						
							
							
								Kamil Śliwak 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							20138f35df 
							
						 
					 
					
						
						
							
							Merge pull request  #13909  from codeTIT4N/develop  
						
						... 
						
						
						
						Replace references to `sha3` in the docs with `keccak` 
						
					 
					
						2023-02-01 11:54:06 +01:00 
						 
				 
			
				
					
						
							
							
								franzihei 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							6cad055d97 
							
						 
					 
					
						
						
							
							[DOCS] Update copyright year and description ( #13894 )  
						
						... 
						
						
						
						Co-authored-by: Nuno Santos <nuno.santos@ethereum.org>
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it> 
						
					 
					
						2023-02-01 11:47:08 +01:00 
						 
				 
			
				
					
						
							
							
								Kamil Śliwak 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							dec1adc03b 
							
						 
					 
					
						
						
							
							Merge pull request  #13883  from ethereum/default-evmversion-paris  
						
						... 
						
						
						
						Set default EVM version to Paris 
						
					 
					
						2023-02-01 11:45:13 +01:00 
						 
				 
			
				
					
						
							
							
								Lokesh Kumar 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							4f84112650 
							
						 
					 
					
						
						
							
							updated abi-spec.rst  
						
						
						
					 
					
						2023-02-01 03:12:03 +05:30 
						 
				 
			
				
					
						
							
							
								Rodrigo Q. Saramago 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							feba4de509 
							
						 
					 
					
						
						
							
							Add paris constraints to SMTChecker  
						
						... 
						
						
						
						Co-authored-by: Daniel <daniel@ekpyron.org>
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
Co-authored-by: Leo <leo@ethereum.org> 
						
					 
					
						2023-01-31 11:03:04 +01:00 
						 
				 
			
				
					
						
							
							
								Mio 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							a68501cebd 
							
						 
					 
					
						
						
							
							fix redundant typo  
						
						
						
					 
					
						2023-01-31 13:23:47 +08:00 
						 
				 
			
				
					
						
							
							
								Rodrigo Q. Saramago 
							
						 
					 
					
						
						
						
						
							
						
						
							d9d9ab30a2 
							
						 
					 
					
						
						
							
							Update default evm version to paris  
						
						
						
					 
					
						2023-01-30 17:57:08 +01:00 
						 
				 
			
				
					
						
							
							
								Nikola Matic 
							
						 
					 
					
						
						
						
						
							
						
						
							83a937423f 
							
						 
					 
					
						
						
							
							Update docs to reflect deprecation warning  
						
						
						
					 
					
						2023-01-26 13:42:26 +01:00 
						 
				 
			
				
					
						
							
							
								Nikola Matic 
							
						 
					 
					
						
						
						
						
							
						
						
							e7543d487d 
							
						 
					 
					
						
						
							
							Issue warning when using deprecated SELFDESTRUCT  
						
						
						
					 
					
						2023-01-25 16:55:11 +01:00 
						 
				 
			
				
					
						
							
							
								Rodrigo Q. Saramago 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							ef6ff2f055 
							
						 
					 
					
						
						
							
							Adds support for the EVM version "Paris".  
						
						... 
						
						
						
						Deprecates `block.difficulty` and disallow `difficulty()` in inline assembly for EVM versions >= paris.
The change is due to the renaming introduced by EIP-4399 (see: https://eips.ethereum.org/EIPS/eip-4399 ).
Introduces `block.prevrandao` in Solidity and `prevrandao()` in inline assembly for EVM versions >= paris.
Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>
Co-authored-by: Daniel <daniel@ekpyron.org>
Co-authored-by: matheusaaguiar <95899911+matheusaaguiar@users.noreply.github.com>
Co-authored-by: Nikola Matić <nikola.matic@ethereum.org> 
						
					 
					
						2023-01-23 18:50:36 +00:00 
						 
				 
			
				
					
						
							
							
								Daniel 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							c195782f96 
							
						 
					 
					
						
						
							
							Merge pull request  #13778  from Andy53/removes-solidity-upgrade  
						
						... 
						
						
						
						Removes solidity upgrade 
						
					 
					
						2023-01-18 13:20:54 +01:00 
						 
				 
			
				
					
						
							
							
								Nikola Matic 
							
						 
					 
					
						
						
						
						
							
						
						
							c2e2adb953 
							
						 
					 
					
						
						
							
							Allow support for older boost and adjust docs  
						
						
						
					 
					
						2023-01-18 10:51:14 +01:00 
						 
				 
			
				
					
						
							
							
								andy53 
							
						 
					 
					
						
						
						
						
							
						
						
							df2ea19535 
							
						 
					 
					
						
						
							
							Remove solidity-upgrade  
						
						... 
						
						
						
						update config.yaml
Update using-the-compiler.rst
removed bug reports section
added changelog entry
removed trailing whitespace
removed trailing whitespace 
						
					 
					
						2023-01-17 07:59:43 -07:00 
						 
				 
			
				
					
						
							
							
								Big-Aaron 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							83774c28bf 
							
						 
					 
					
						
						
							
							Update ir-breaking-changes.rst  
						
						... 
						
						
						
						Fix errors in the doc 
						
					 
					
						2023-01-17 11:30:30 +08:00 
						 
				 
			
				
					
						
							
							
								Daniel 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							f441e1323a 
							
						 
					 
					
						
						
							
							Merge pull request  #13384  from zemse/develop  
						
						... 
						
						
						
						Allow named parameters in mapping types 
						
					 
					
						2023-01-09 17:59:29 +01:00 
						 
				 
			
				
					
						
							
							
								Rodrigo Q. Saramago 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							0694f639e4 
							
						 
					 
					
						
						
							
							Update sphinx-a4doc version  
						
						
						
					 
					
						2023-01-04 11:46:59 +01:00 
						 
				 
			
				
					
						
							
							
								vlad 
							
						 
					 
					
						
						
						
						
							
						
						
							f48cd743d9 
							
						 
					 
					
						
						
							
							fix sphinx version to 5.* since 6.0 is not supported by code  
						
						
						
					 
					
						2022-12-30 00:46:32 +04:00 
						 
				 
			
				
					
						
							
							
								Rodrigo Q. Saramago 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							7242d9c2cf 
							
						 
					 
					
						
						
							
							Fix sphinx-a4doc version to 1.3.0  
						
						
						
					 
					
						2022-12-20 13:21:27 +01:00 
						 
				 
			
				
					
						
							
							
								Kamil Śliwak 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							b053359b9b 
							
						 
					 
					
						
						
							
							Merge pull request  #13782  from kanej/docs/update-resources-with-more-extensions  
						
						... 
						
						
						
						docs(resources.rst): update editor extensions 
						
					 
					
						2022-12-16 17:58:44 +01:00 
						 
				 
			
				
					
						
							
							
								Leo Alt 
							
						 
					 
					
						
						
						
						
							
						
						
							d5c6fd881b 
							
						 
					 
					
						
						
							
							update docs on the required z3 version  
						
						
						
					 
					
						2022-12-16 13:05:40 +01:00 
						 
				 
			
				
					
						
							
							
								Kamil Śliwak 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							37e935f025 
							
						 
					 
					
						
						
							
							Merge pull request  #13803  from kuzdogan/docs-favicon  
						
						... 
						
						
						
						[docs]: Add Solidity favicon 
						
					 
					
						2022-12-14 23:37:47 +01:00