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
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