Code

[WIP] Metrics for Sanctuary#1186

Code

Draft

beta-ziliani wants to merge 91 commits intomainNomicFoundation/slang:mainfrom perf-metricsNomicFoundation/slang:perf-metricsCopy head branch name to clipboard

+8,139-1,696

Commits

Commits on Nov 14, 2024

• Add test case which broke with query engine not skipping trivia in one-or-more operator

  ggiraldez

  committed
  aa18f14

  Copy full SHA for aa18f14

• Make using directives inherited in Solidity < 0.7.0

  ggiraldez

  committed
  42bfde6

  Copy full SHA for 42bfde6

• Resolve elementary types in expressions and add their built-ins

  Show description for 634b33b
  ggiraldez

  committed
  634b33b

  Copy full SHA for 634b33b

• Bind constants as library members

  ggiraldez

  committed
  458855c

  Copy full SHA for 458855c

• Propagate dynamic scopes when escaping a contract's lexical scope

  Show description for bcd0d1f
  ggiraldez

  committed
  bcd0d1f

  Copy full SHA for bcd0d1f

• Bind elementary casting and struct construction to the resulting type

  ggiraldez

  committed
  915fbd8

  Copy full SHA for 915fbd8

• Fix calling parent constructors in constructors

  ggiraldez

  committed
  f2ab055

  Copy full SHA for f2ab055

• Bind arithmetic, logical, bit-wise, comparison, etc. expressions

  ggiraldez

  committed
  13cf7e5

  Copy full SHA for 13cf7e5

• Propagate the dynamic scope with resolving contract bases

  ggiraldez

  committed
  5d8c379

  Copy full SHA for 5d8c379

• Define a new scope for internal state variables for derived contracts

  ggiraldez

  committed
  ddac849

  Copy full SHA for ddac849

• Propagate dynamic scope also from libraries

  Show description for d3032c8
  ggiraldez

  committed
  d3032c8

  Copy full SHA for d3032c8

• Resolve using dynamic scope from an interface/contract casting

  ggiraldez

  committed
  a5f3eda

  Copy full SHA for a5f3eda

• Resolve attached functions when applied to namespace qualified types

  ggiraldez

  committed
  901501a

  Copy full SHA for 901501a

• Public getters are used as functions, so bind them as such

  ggiraldez

  committed
  1d566b4

  Copy full SHA for 1d566b4

• Functions can be called in derived contracts by qualifying with the name

  ggiraldez

  committed
  a38e8bd

  Copy full SHA for a38e8bd

• Add support for binding unnamed function declarations

  ggiraldez

  committed
  3aab65d

  Copy full SHA for 3aab65d

• Support old var declarations

  ggiraldez

  committed
  9d620d7

  Copy full SHA for 9d620d7

• Make inherited state vars accessible in all parent contracts

  ggiraldez

  committed
  7daa1f4

  Copy full SHA for 7daa1f4

• Normalize value type aliases to bind attached functions correctly

  ggiraldez

  committed
  0d2802f

  Copy full SHA for 0d2802f

• Support binding literal hex addresses

  ggiraldez

  committed
  58ced15

  Copy full SHA for 58ced15

• Prior to 0.5.0, this could be used as an address

  ggiraldez

  committed
  438cb81

  Copy full SHA for 438cb81

• Add binding test cases for most of the remaining Sanctuary issues

  ggiraldez

  committed
  9cbb4fc

  Copy full SHA for 9cbb4fc

• Make pushing the dynamic scope optional for libraries

  Show description for 28640a4
  ggiraldez

  committed
  28640a4

  Copy full SHA for 28640a4

• _slot/_offset suffixes for storage variables in Solidity < 0.7.0

  ggiraldez

  committed
  f7655e7

  Copy full SHA for f7655e7

• Bind to the output of both operands for all arithmetic and bitwise operations

  ggiraldez

  committed
  b3bcf54

  Copy full SHA for b3bcf54

• Bind legacy call options .value() and .gas() on Solidity < 0.7.0

  ggiraldez

  committed
  d6b7174

  Copy full SHA for d6b7174

• Bind user defined types .wrap() and .unwrap()

  ggiraldez

  committed
  5ec110b

  Copy full SHA for 5ec110b

• Allow binding attached functions on typed casted expressions

  Show description for ac13986
  ggiraldez

  committed
  ac13986

  Copy full SHA for ac13986

• Bind modifiers in libraries

  ggiraldez

  committed
  6a560d5

  Copy full SHA for 6a560d5

• Bind legacy constructor parent invocations

  Show description for 4df6b54
  ggiraldez

  committed
  4df6b54

  Copy full SHA for 4df6b54

• Allow qualified access to bind to internal members of parent contract

  ggiraldez

  committed
  6268c9d

  Copy full SHA for 6268c9d

• Resolve qualified members in any position in the inheritance chain

  Show description for d8b5d90
  ggiraldez

  committed
  d8b5d90

  Copy full SHA for d8b5d90

• Support .selector field for custom error types

  ggiraldez

  committed
  92f5ebc

  Copy full SHA for 92f5ebc

• Binding rules: remove @contract.state_vars, rename type_members to ns

  ggiraldez

  committed
  f798acd

  Copy full SHA for f798acd

• Define super and push using extensions only when necessary

  ggiraldez

  committed
  6725fe5

  Copy full SHA for 6725fe5

• Reworked how resolution interacts with using directive extensions

  Show description for ad343ac
  ggiraldez

  committed
  ad343ac

  Copy full SHA for ad343ac

• Fix binding state variable initialization value through the extended scope

  ggiraldez

  committed
  5c4754a

  Copy full SHA for 5c4754a

• Allow using directives to be inherited in Solidity < 0.7.0

  ggiraldez

  committed
  b027ba5

  Copy full SHA for b027ba5

• Fix extension binding for function return parameters

  ggiraldez

  committed
  d0945ef

  Copy full SHA for d0945ef

• External functions have legacy call options

  ggiraldez

  committed
  05c9335

  Copy full SHA for 05c9335

• Ensure extensions are pushed before resolving super and this

  ggiraldez

  committed
  172d7a8

  Copy full SHA for 172d7a8

• Attempt to simplify contract/interface instance scope

  ggiraldez

  committed
  0f7ff81

  Copy full SHA for 0f7ff81

• Remove the generic type resolution for arrays and hard-code built-in in rules

  Show description for 7aa82df
  ggiraldez

  committed
  7aa82df

  Copy full SHA for 7aa82df

• Bind user defined type's wrap and unwrap functions return types

  ggiraldez

  committed
  172e5ed

  Copy full SHA for 172e5ed

• Only connect the star extension scope using for * when there is one

  Show description for 757111d
  ggiraldez

  committed
  757111d

  Copy full SHA for 757111d

• Bind array and mappings accesses through public getter functions

  ggiraldez

  committed
  aecab6f

  Copy full SHA for aecab6f

• Support attaching functions to mappings with using

  ggiraldez

  committed
  a9f0986

  Copy full SHA for a9f0986

Commits on Nov 18, 2024

• Clean up and add more documentation to the binding rules

  ggiraldez

  committed
  54217b2

  Copy full SHA for 54217b2

• Use PascalCase for most built-in types

  Show description for 05d27d6
  ggiraldez

  committed
  05d27d6

  Copy full SHA for 05d27d6

Commits on Nov 20, 2024

• Bind members of Yul external variables

  ggiraldez

  committed
  4579182

  Copy full SHA for 4579182

• Fix binding structs as public getter results

  Show description for 9aab1b3
  ggiraldez

  committed
  9aab1b3

  Copy full SHA for 9aab1b3

• Rename built-in type for User Defined Value Types

  ggiraldez

  committed
  2b3ae36

  Copy full SHA for 2b3ae36

• Add names to most parameters of built-in functions

  ggiraldez

  committed
  1163b07

  Copy full SHA for 1163b07

Commits on Nov 22, 2024

• Define a %this built-in to use in the context of libraries

  Show description for 576ae45
  ggiraldez

  committed
  576ae45

  Copy full SHA for 576ae45

• Bind inherited public getters

  ggiraldez

  committed
  c6b73c6

  Copy full SHA for c6b73c6

• Fix scope bindings for modifiers in libraries

  ggiraldez

  committed
  a015082

  Copy full SHA for a015082

• Bind attached functions when there's a using .. for * in a library

  ggiraldez

  committed
  fc929d3

  Copy full SHA for fc929d3

• Allow Yul functions to access external constants

  ggiraldez

  committed
  90a4f26

  Copy full SHA for 90a4f26

Commits on Nov 25, 2024

• this and super don't generate references

  Show description for d5823c0
  ggiraldez

  committed
  d5823c0

  Copy full SHA for d5823c0

Commits on Nov 26, 2024

• Refactor elementary types handling in binding rules

  ggiraldez

  committed
  4768079

  Copy full SHA for 4768079

• Bind x_slot in Solidity <= 0.5.0 to the slot built-in

  ggiraldez

  committed
  5ed161b

  Copy full SHA for 5ed161b

• Add test case with Yul identifiers with dots

  ggiraldez

  committed
  a6b610c

  Copy full SHA for a6b610c

• Tweak some parameters of built-in functions

  ggiraldez

  committed
  4c19da0

  Copy full SHA for 4c19da0

Commits on Nov 27, 2024

• Merge remote-tracking branch 'upstream/main' into sanctuary-fixes-only

  ggiraldez

  committed
  b62e37e

  Copy full SHA for b62e37e

• Update snapshots after merge

  ggiraldez

  committed
  f6d3113

  Copy full SHA for f6d3113

• Update performance test counts and ignore built-ins in them

  ggiraldez

  committed
  a865d10

  Copy full SHA for a865d10

• Fix formatting

  ggiraldez

  committed
  c278a6c

  Copy full SHA for c278a6c

• Use extension scope and extension hooks to graph and customize resolver

  Show description for 14dea5a
  ggiraldez

  committed
  14dea5a

  Copy full SHA for 14dea5a

• Add extension hooks and scopes and disable old scope stack rules for extensions

  ggiraldez

  committed
  89133bc

  Copy full SHA for 89133bc

• Add resolver options to disable certain operations

  Show description for a4dc6a4
  ggiraldez

  committed
  a4dc6a4

  Copy full SHA for a4dc6a4

• Disable remaining rules used for extension pushing via rules

  ggiraldez

  committed
  7ad1e0c

  Copy full SHA for 7ad1e0c

• Allow some ranking in resolver when running in reentrant safety

  ggiraldez

  committed
  a9b12c2

  Copy full SHA for a9b12c2

• Clean up resolver code, removing commented code and unnecessary code

  ggiraldez

  committed
  da00828

  Copy full SHA for da00828

• Simplify binding rules eliminating extended scopes

  Show description for e96335b
  ggiraldez

  committed
  e96335b

  Copy full SHA for e96335b

• Inherited extensions are now indicated from the rules themselves

  Show description for 152a0d4
  ggiraldez

  committed
  152a0d4

  Copy full SHA for 152a0d4

• Rename simple_resolve to non_recursive_resolve

  ggiraldez

  committed
  362b35c

  Copy full SHA for 362b35c

• Refactor: rename jump_to_definition to resolve_definition

  ggiraldez

  committed
  d8730de

  Copy full SHA for d8730de

• Move lookup_definition_by_name to tests crate

  ggiraldez

  committed
  ad4e21e

  Copy full SHA for ad4e21e

• Remove unused NoCancellation struct

  ggiraldez

  committed
  fb68f12

  Copy full SHA for fb68f12

• Update public_api.txt

  ggiraldez

  committed
  9d37caa

  Copy full SHA for 9d37caa

• Move built-ins parsing and ingestion to slang_solidity crate

  Show description for 3a64d71
  ggiraldez

  committed
  3a64d71

  Copy full SHA for 3a64d71

• Update public_api.txt

  ggiraldez

  committed
  a34c3ec

  Copy full SHA for a34c3ec

• Added documentation on the added graph attributes

  ggiraldez

  committed
  58fa2b8

  Copy full SHA for 58fa2b8

Commits on Dec 3, 2024

• merged main

  beta-ziliani

  committed
  f668bba

  Copy full SHA for f668bba

Commits on Dec 10, 2024

• Collecting metrics

  beta-ziliani

  committed
  cd814d3

  Copy full SHA for cd814d3

• missing file

  beta-ziliani

  committed
  70f9718

  Copy full SHA for 70f9718

• Merge remote-tracking branch 'origin/main' into perf-metrics

  beta-ziliani

  committed
  d8ad14d

  Copy full SHA for d8ad14d

• Fixing linting errors

  beta-ziliani

  committed
  fb2035a

  Copy full SHA for fb2035a

• Adding no-trivia count

  beta-ziliani

  committed
  b979b46

  Copy full SHA for b979b46

Commits on Dec 11, 2024

• preparatory refactor for the heritage graph

  beta-ziliani

  committed
  98126a2

  Copy full SHA for 98126a2

Commits on Dec 13, 2024

• Adding using fors

  beta-ziliani

  committed
  873c856

  Copy full SHA for 873c856