cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
23,752 Commits 348 Branches 121 Tags
8031be1109a6acaa0bf31b981d8557e0b5da22c3
Commit Graph
23752 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Daniel 8031be1109 Merge pull request #14496 from ethereum/removeDeadMainFunctionStep 
Remove obsolete main function yul optimiser step.
 2023-08-16 18:14:34 +02:00
Daniel Kirchner aaba5c408a Remove obsolete main function yul optimiser step. 2023-08-16 17:28:32 +02:00
Nikola Matić 310794089a Merge pull request #14492 from ethereum/purge-using-namespace-from-libsolidity-interface 
Purge using namespace std from libsolidity/interface
 2023-08-16 17:05:16 +02:00
Nikola Matic 342ba0324f Purge using namespace std from libsolidity/interface 2023-08-15 15:45:15 +02:00
Daniel 579259d6e1 Merge pull request #14491 from ethereum/purge-using-namespace-from-libsolidity-formal 
Purge using namespace from libsolidity/formal
 2023-08-15 15:33:55 +02:00
Nikola Matic d0a5556fd0 Purge using namespace from libsolidity/formal 2023-08-15 14:40:27 +02:00
Daniel f085572e24 Merge pull request #14490 from ethereum/purge-using-namespace-std-from-libsolidity-codegen 
Purge using namespace std from libsolidity/codegen
 2023-08-15 14:19:14 +02:00
Nikola Matic ce423e5ae5 Purge using namespace std from libsolidity/codegen 2023-08-14 21:37:31 +02:00
Daniel d8cc2c62f3 Merge pull request #14489 from ethereum/purge-using-namespace-from-libsolidity-ast 
Purge using namespace std from libsolidity/ast
 2023-08-14 15:44:00 +02:00
Nikola Matic 2a2a9d37ee Purge using namespace std from libsolidity/ast 2023-08-14 14:54:58 +02:00
Nikola Matić b4d4b49dca Merge pull request #14488 from ethereum/purge-using-namespace-std-from-libsolidity-analysis 
Purge using namespace std from libsolidity/analysis
 2023-08-14 14:53:32 +02:00
Nikola Matic de1a017ccb Purge using namespace std from libsolidity/analysis 2023-08-14 11:44:50 +02:00
Kamil Śliwak c50c9b2c43 Merge pull request #14482 from ethereum/fix-error-ids-in-format-errors 
Fix error IDs in `AnalysisFramework::formatErrors()`
 2023-08-11 20:37:47 +02:00
Kamil Śliwak 339053f185 AnalysisFramework.formatErrors(): Fix _withErrorIds flag not having any effect 2023-08-11 14:15:56 +02:00
Kamil Śliwak a59fc39f10 Use printErrorInformation() over printExceptionInformation() where possible 2023-08-11 14:15:56 +02:00
Kamil Śliwak 4020552e1d SourceReferenceFormatter: Remove the ineffective _withErrorIds parameter from formatExceptionInformation() 2023-08-11 14:15:56 +02:00
Kamil Śliwak 8407c8c615 SourceReferenceFormatter: Support full range of options in formatErrorInformation() 2023-08-11 14:15:56 +02:00
Kamil Śliwak b7d2c8bb0a SourceReferenceFormatter: Line wrapping and unused includes 2023-08-11 14:15:56 +02:00
Kamil Śliwak 3edf91adc8 Merge pull request #14478 from ethereum/set-soltest-cpus-in-circleci-config 
Set CPUs for `soltest.sh` based on the number of available cores
 2023-08-09 11:58:55 +02:00
Kamil Śliwak ec240c6422 CI: Set CPUs for soltest.sh based on the number of available cores 2023-08-09 11:12:31 +02:00
Kamil Śliwak e357b8bc42 Merge pull request #14474 from ethereum/refactor-analysis-framework-error-filtering 
Sane error filtering in `AnalysisFramework`
 2023-08-07 20:02:45 +02:00
Daniel 0fbc5cc7d3 Merge pull request #14469 from ethereum/push0-rematerializer 
Push0 rematerializer
 2023-08-07 18:26:08 +02:00
Nikola Matic 96e7b4f46b Rematerialize zero literals 2023-08-07 17:33:16 +02:00
Kamil Śliwak 65587d87c9 Merge pull request #14473 from ethereum/refactor-syntax-test-setup 
Refactor syntax test setup
 2023-08-07 17:30:58 +02:00
Kamil Śliwak 6d8b1374c5 Use AnalysisFramework's error formatting and filtering features in more test cases 2023-08-07 14:40:34 +02:00
Kamil Śliwak e42242cd6f AnalysisFramework.formatErrors(): Require providing errors explicitly 2023-08-07 14:40:34 +02:00
Kamil Śliwak 6c1bcb9a81 AnalysisFramework.formatErrors(): Support colored output and error IDs 2023-08-07 14:26:23 +02:00
Kamil Śliwak 6f3a379557 AnalysisFramework: Add filteredErrors() 2023-08-07 14:26:23 +02:00
Kamil Śliwak e62bc30e9e AnalysisFramework.filterErrors(): Provide default for _includeWarningsAndInfos 2023-08-07 14:26:23 +02:00
Kamil Śliwak f87bef2431 AnalysisFramework: Make it possible to customize CompilerStack creation 2023-08-07 14:06:16 +02:00
Kamil Śliwak aecb11eff4 Make better use of virtual functions to customize CommonSyntaxTest in test cases based on it 2023-08-07 14:05:43 +02:00
pgebal 511712570b Merge pull request #14464 from pgebal/pgebal/fix_require 
SMTChecker: Fix inconsistency on constant condition check after a loop is unrolled
 2023-08-03 16:12:02 +02:00
Pawel Gebal 6574c10f25 SMTChecker: Visit the condition in for and while loops after loop is unrolled 2023-08-03 13:36:41 +02:00
Paul Wackerow ead0615ca3 add site_url root path to images [Fixes #14435] (#14462) 2023-08-02 11:41:18 +01:00
Daniel 2c70255617 Merge pull request #14455 from ethereum/fix-yul-id 
Yul AST IDs should start from 0 instead of 1.
 2023-08-01 17:37:21 +02:00
r0qs ea7ee3d5fe Fix yul ast ID to 0 instead of 1. 2023-07-28 17:48:35 +02:00
franzihei 451232985b re-upload original solidity logo to brand guide (#14451) 2023-07-27 14:04:07 +01:00
pgebal 80d0a979ac Merge pull request #14448 from pgebal/pgebal/fix_for_loop_iterations 
SMTChecker fix: Do not unroll loop after it completes
 2023-07-26 17:45:44 +02:00
Pawel Gebal db5baebff8 SMTChecker fix: Do not unroll loop after it completes 2023-07-26 16:31:03 +02:00
Paul Wackerow 0fa594e501 fix docs layout and link bugs [Fixes #14436] (#14439) 
using cdnfonts import instead

fix mobile menu layout

fix mobile content positioning/sizing

fix desktop content widths

prevent header links from wrapping

update desktop positioning

fix backdrop-filter

move to .unified-header::before

feat: independent scrolling for content and menu
 2023-07-26 14:17:38 +01:00
Martin Blicha 95beef4072 Merge pull request #14446 from ethereum/smt-cex-tests 
SMTChecker tests: Keep counterexamples when updating expectations
 2023-07-25 19:52:26 +02:00
Martin Blicha cdfc19b503 SMTChecker: Bring back counterexample checks in regression tests 
Since the default is now to ignore the counterexamples when checking
test output, we bring back counterexample checks in tests where the
counterexample is (mostly) deterministic.
 2023-07-25 12:26:21 +02:00
Martin Blicha 2e38798408 SMTChecker: Keep counterexamples on test expectation update 2023-07-24 18:36:18 +02:00
Paul Wackerow 83fe3d4011 update GH edit path to develop branch (#14437) 2023-07-24 15:48:39 +01:00
Paul Wackerow 4fa48a6eb1 patch other-version menu overflow [Fixes #14429] (#14431) 2023-07-24 15:48:18 +01:00
Kamil Śliwak 89407d253d Merge pull request #14315 from shalaamum/doc-fixes 
docs: Fixes for some minor mistakes/typos
 2023-07-22 00:11:18 +02:00
shalaamum b4407d90a5 Small documentation fixes 2023-07-21 23:23:20 +02:00
Kamil Śliwak 548b033af6 Merge pull request #14434 from ethereum/fix-natspec-event-ice 
Fix ICE when emitting event from another contract
 2023-07-21 23:18:37 +02:00
Nikola Matic 964bdc711c Fix ICE when emitting event from another contract 2023-07-21 21:49:09 +02:00
Kamil Śliwak 957a9e742b Merge pull request #13873 from ethereum/foundry-prbmath-external-test 
Foundry prbmath external test
 2023-07-21 21:48:49 +02:00