cerc-io/solidity
16
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,832 Commits 348 Branches 121 Tags 100 MiB
absolute-path-tests
Commit Graph

23832 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
r0qs
dcbd645798
Delete old prb-math.sh script 2023-07-21 20:25:58 +02:00
r0qs
ab4f5f2983
Initial prototype of prb-math external tests using foundry rewritten in python 
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2023-07-21 20:25:58 +02:00
r0qs
ecd56e6129
Merge pull request #14441 from ethereum/pylint-notes-config 
Add TMP and remove TODO and FIXME from pylint note tags list
 2023-07-21 17:58:31 +02:00
r0qs
927eddee84
Add TMP and remove TODO and FIXME from pylint note tags list 2023-07-21 15:55:47 +02:00
Nikola Matić
f466e1ef5e
Merge pull request #14428 from ethereum/update-release-checklist 
Update solidity-website links in release checklist
 2023-07-20 08:42:53 +02:00
Kamil Śliwak
ceb6587692
Merge pull request #14426 from omahs/typos 
Fix minor typos
 2023-07-19 18:19:16 +02:00
omahs
5b72c4f494 Fix typos 2023-07-19 17:12:15 +02:00
r0qs
b2ce8898ea Update solidity-website links in release checklist 2023-07-19 16:43:39 +02:00
Nikola Matić
d268c3f5b3
Merge pull request #14423 from ethereum/set-version-to-0.8.22 
Set version to 0.8.22
 2023-07-19 14:01:50 +02:00
Nikola Matic
c2670e4afb Set version to 0.8.22 2023-07-19 11:03:17 +02:00
Nikola Matić
d9974bed71
Merge pull request #14427 from ethereum/set-release-date-version-0.8.21 
Set release date for 0.8.21
 2023-07-19 10:56:46 +02:00
Nikola Matić
ce1453b8f8
Merge pull request #14422 from ethereum/sort-changelog-for-0.8.21 
Sort Changelog for 0.8.21 release
 2023-07-19 10:51:53 +02:00
Nikola Matic
601104ea94
Sort Changelog for 0.8.21 release 2023-07-19 10:00:34 +02:00
Nikola Matic
09628b7502 Set release date for 0.8.21 2023-07-19 09:27:09 +02:00
Nikola Matić
1acebf78ee
Merge pull request #14424 from ethereum/missing-changelog-entries 
Add missing changelog entries
 2023-07-18 21:43:24 +02:00
Martin Blicha
f622a6c514 Add missing changelog entries 2023-07-18 20:28:52 +02:00
Nikola Matić
9206885bdd
Merge pull request #14421 from ethereum/fix-broken-docs-links 
Fix broken links in docs
 2023-07-18 19:15:14 +02:00
Nikola Matić
2a46e2fedc
Merge pull request #14366 from ethereum/selectorSideEffects 
Always generate code for .selector member access.
 2023-07-18 19:14:30 +02:00
Nikola Matic
aba7d1769c Fix broken links in docs 2023-07-18 18:25:48 +02:00
r0qs
86602852be Add buglist entry 
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2023-07-18 18:15:32 +02:00