Commit 5f1834b
authored
File tree
1,920 files changed
+23368
-4391
lines changed- .circleci
- .github
- ISSUE_TEMPLATE
- workflows
- cmake
- docs
- _static/css
- contracts
- examples
- ext
- grammar
- internals
- types
- libevmasm
- liblangutil
- libsmtutil
- libsolidity
- analysis
- ast
- codegen
- ir
- formal
- interface
- lsp
- parsing
- libsolutil
- libyul
- backends/evm
- optimiser
- scripts
- ci
- notification
- templates
- deps-ppa
- docker/buildpack-deps
- endToEndExtraction
- externalTests
- solc
- test
- cmdlineTests
- ast_compact_json_no_pretty_json
- ast_compact_json_with_base_path
- combined_json_with_base_path
- events_in_abi
- function_debug_info
- inline_assembly_function_name_clash
- linking_standard_solidity_unresolved_references
- linking_strict_assembly_qualified_library_qualified_reference
- linking_strict_assembly_qualified_library_unqualified_reference
- linking_strict_assembly_same_library_name_different_files_in_link_references
- linking_strict_assembly_same_library_name_different_files
- linking_strict_assembly_unqualified_library_qualified_reference
- linking_strict_assembly_unqualified_library_unqualified_reference
- linking_strict_assembly_unresolved_references
- linking_strict_assembly
- model_checker_contracts_inexistent_contract
- model_checker_contracts_only_one
- model_checker_divModSlacks_default_all
- model_checker_divModSlacks_default_bmc
- model_checker_divModSlacks_default_chc
- model_checker_divModSlacks_false_all
- model_checker_divModSlacks_false_bmc
- model_checker_ext_calls_empty_arg
- model_checker_ext_calls_trusted_chc
- model_checker_ext_calls_untrusted_chc
- model_checker_ext_calls_wrong_arg
- model_checker_invariants_all
- model_checker_invariants_contract_reentrancy
- model_checker_invariants_contract
- model_checker_invariants_reentrancy
- model_checker_show_proved_safe_default_all_engines
- model_checker_show_proved_safe_default_bmc
- model_checker_show_proved_safe_default_chc
- model_checker_show_proved_safe_true_all_engines
- model_checker_show_proved_safe_true_bmc
- model_checker_show_proved_safe_true_chc
- model_checker_show_unsupported_default_all_engines
- model_checker_show_unsupported_default_bmc
- model_checker_show_unsupported_default_chc
- model_checker_show_unsupported_true_all_engines
- model_checker_show_unsupported_true_bmc
- model_checker_show_unsupported_true_chc
- model_checker_timeout_all
- model_checker_timeout_bmc
- model_checker_timeout_chc
- no_cbor_metadata
- no_contract_combined_json
- object_compiler
- recovery_ast_constructor
- recovery_standard_json
- standard_function_debug_info
- standard_import_ast_select_bytecode
- standard_import_ast
- standard_model_checker_contracts_inexistent_contract
- standard_model_checker_contracts_multi_source
- standard_model_checker_contracts_only_one
- standard_model_checker_divModSlacks_default_all
- standard_model_checker_divModSlacks_default_bmc
- standard_model_checker_divModSlacks_default_chc
- standard_model_checker_divModSlacks_false_all
- standard_model_checker_divModSlacks_false_bmc
- standard_model_checker_ext_calls_empty_arg
- standard_model_checker_ext_calls_trusted_chc
- standard_model_checker_ext_calls_untrusted_chc
- standard_model_checker_ext_calls_wrong_arg_1
- standard_model_checker_ext_calls_wrong_arg_2
- standard_model_checker_invariants_contract
- standard_model_checker_invariants_reentrancy
- standard_model_checker_show_proved_safe_default_all_engines
- standard_model_checker_show_proved_safe_default_bmc
- standard_model_checker_show_proved_safe_default_chc
- standard_model_checker_show_proved_safe_false_all_engines
- standard_model_checker_show_proved_safe_false_bmc
- standard_model_checker_show_proved_safe_false_chc
- standard_model_checker_show_proved_safe_true_all_engines
- standard_model_checker_show_proved_safe_true_bmc
- standard_model_checker_show_proved_safe_true_chc
- standard_model_checker_show_proved_safe_wrong
- standard_model_checker_show_unsupported_default_all_engines
- standard_model_checker_show_unsupported_default_bmc
- standard_model_checker_show_unsupported_default_chc
- standard_model_checker_show_unsupported_false_all_engines
- standard_model_checker_show_unsupported_false_all_enginesstandard_model_checker_show_unsupported_false_bmc
- standard_model_checker_show_unsupported_false_bmc
- standard_model_checker_show_unsupported_false_chc
- standard_model_checker_show_unsupported_true_all_engines
- standard_model_checker_show_unsupported_true_bmc
- standard_model_checker_show_unsupported_true_chc
- standard_model_checker_show_unsupported_wrong
- standard_model_checker_solvers_smtlib2
- standard_model_checker_timeout_all
- standard_model_checker_timeout_bmc
- standard_model_checker_timeout_chc
- standard_only_ast_requested
- strict_asm_optimizer_steps
- strict_asm_output_selection_bin_only
- yul_function_name_clashes_different_params
- yul_function_name_clashes
- yul_optimize_runs
- yul_verbatim_msize
- evmc
- externalTests
- solc-js
- libevmasm
- libsolidity
- ABIJson
- ASTJSON
- assembly
- analysis
- gasTests
- lsp/hover
- semanticTests
- abiEncoderV1
- struct
- abiEncoderV2
- abiencodedecode
- arithmetics
- array
- copying
- delete
- pop
- push
- calldata
- constructor
- deployedCodeExclusion
- events
- externalContracts
- freeFunctions
- functionCall
- functionTypes
- immutable
- inheritance
- isoltestTesting
- libraries
- literals
- operators/userDefined
- salted_create
- shanghai
- smoke
- state
- storage
- structs
- calldata
- conversion
- types/mapping
- userDefinedValueType
- using
- various
- viaYul
- virtualFunctions
- smtCheckerTests
- abi
- array_members
- blockchain_state
- bmc_coverage
- branches_with_return
- complex/slither
- control_flow
- branches_with_return
- crypto
- deployment
- external_calls
- file_level
- function_selector
- functions
- getters
- imports
- inheritance
- inline_assembly
- invariants
- loops
- math
- modifiers
- natspec
- operators
- shifts
- userDefined
- out_of_bounds
- overflow
- special
- try_catch
- typecast
- types
- struct
- unchecked
- unsupported
- userTypes
- verification_target
- syntaxTests
- constants
- constructor
- controlFlow/userDefinedOperators
- denominations
- freeFunctions
- functionCalls
- iceRegressionTests/declarationUnaryTuple
- immutable
- inheritance
- inlineAssembly
- literals
- nameAndTypeResolution
- natspec
- operators
- userDefined
- parsing
- scoping
- shifts
- sizeLimits
- tupleAssignments
- types
- userDefinedValueType
- using
- viewPureChecker
- libyul
- evmCodeTransform/stackReuse
- objectCompiler
- yulInterpreterTests
- yulOptimizerTests
- loadResolver
- unusedAssignEliminator
- yulStackShuffling
- yulSyntaxTests/invalid
- solc
- tools
- ossfuzz
- yulInterpreter
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
1,920 files changed
+23368
-4391
lines changedLarge diffs are not rendered by default.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
52 | 52 | | |
53 | 53 | | |
54 | 54 | | |
55 | | - | |
56 | 55 | | |
57 | 56 | | |
58 | 57 | | |
| |||
61 | 60 | | |
62 | 61 | | |
63 | 62 | | |
64 | | - | |
| 63 | + | |
65 | 64 | | |
66 | 65 | | |
67 | 66 | | |
68 | | - | |
| 67 | + | |
69 | 68 | | |
70 | 69 | | |
71 | 70 | | |
| |||
74 | 73 | | |
75 | 74 | | |
76 | 75 | | |
77 | | - | |
| 76 | + | |
78 | 77 | | |
79 | 78 | | |
80 | | - | |
| 79 | + | |
81 | 80 | | |
82 | 81 | | |
83 | 82 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
31 | 31 | | |
32 | 32 | | |
33 | 33 | | |
34 | | - | |
35 | | - | |
| 34 | + | |
| 35 | + | |
36 | 36 | | |
37 | 37 | | |
38 | 38 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
12 | 12 | | |
13 | 13 | | |
14 | 14 | | |
15 | | - | |
| 15 | + | |
16 | 16 | | |
17 | 17 | | |
18 | 18 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
3 | 8 | | |
4 | 9 | | |
5 | 10 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
4 | | - | |
5 | | - | |
6 | | - | |
7 | | - | |
8 | | - | |
9 | | - | |
10 | | - | |
11 | | - | |
12 | | - | |
13 | | - | |
14 | | - | |
15 | 3 | | |
16 | 4 | | |
17 | 5 | | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
3 | 8 | | |
4 | 9 | | |
5 | 10 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
3 | 9 | | |
4 | 10 | | |
5 | 11 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
8 | | - | |
| 8 | + | |
| 9 | + | |
9 | 10 | | |
10 | 11 | | |
11 | 12 | | |
| |||
22 | 23 | | |
23 | 24 | | |
24 | 25 | | |
25 | | - | |
| 26 | + | |
26 | 27 | | |
27 | 28 | | |
28 | 29 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
10 | 10 | | |
11 | 11 | | |
12 | 12 | | |
13 | | - | |
14 | | - | |
| 13 | + | |
| 14 | + | |
15 | 15 | | |
16 | 16 | | |
17 | 17 | | |
| |||
28 | 28 | | |
29 | 29 | | |
30 | 30 | | |
31 | | - | |
| 31 | + | |
32 | 32 | | |
33 | 33 | | |
34 | | - | |
35 | | - | |
| 34 | + | |
36 | 35 | | |
37 | | - | |
38 | | - | |
| 36 | + | |
| 37 | + | |
39 | 38 | | |
40 | 39 | | |
41 | 40 | | |
| |||
48 | 47 | | |
49 | 48 | | |
50 | 49 | | |
51 | | - | |
52 | | - | |
53 | | - | |
| 50 | + | |
| 51 | + | |
0 commit comments