Repository navigation

Add local resolve and SSA - #46

Merged

jecisc merged 152 commits into

mainfrom

local-resolver

Aug 21, 2026

Commits on Jun 25, 2026
- Init local resolver
  jecisc
  committed
  7577f6f
- Manage multiple assignments to the same variable
  jecisc
  committed
  c9e9201
Commits on Jun 29, 2026
- Rename test
  jecisc
  committed
  44ab647
- Set tree sitter version to the last release
  jecisc
  committed
  ad72c3f
- Merge branch 'main' into local-resolver
  jecisc
  committed
  41ddf78
- Declaration should count in local uses + add skipped tests
  jecisc
  committed
  92f930b
- Fix wrong parent name for entities in left and right side of a for statement
  jecisc
  committed
  9fdf72f
- Merge branch 'main' into local-resolver
  jecisc
  committed
  79ff1e2
- Manage for statement left and right
  jecisc
  committed
  4233076
Commits on Jun 30, 2026
- Start to manage local variables
  jecisc
  committed
  2a25f4b
- Implement a visitor specific to python because it is too different from other languages
  jecisc
  committed
  4836c42
- Add tests on edge cases of loops
  jecisc
  committed
  73f5979
Commits on Jul 3, 2026
- Manage variables declared in while or for
  jecisc
  committed
  169ce55
Commits on Jul 15, 2026
- Mannage globals accessed in lambdas
  jecisc
  committed
  6792292
- Manage lambda parameters
  jecisc
  committed
  4b8ab0a
- Begin to manage function parameters
  jecisc
  committed
  6790e5e
- Manage collection initializers
  jecisc
  committed
  34761a3
Commits on Jul 16, 2026
- Get further in the analysis of the notebooks by ignoring variables not declared
  jecisc
  committed
  a1200fd
- Add doc
  jecisc
  committed
  6f57fed
- Manage unbinding of variables if an import alias has the same name
  jecisc
  committed
  7e3e75f
Commits on Jul 17, 2026
- Refactoring to support more resolution than just variables
  jecisc
  committed
  3ee2a2a
- Commit some tests I'll need to rework
  jecisc
  committed
  3f0981f
- Begin to manage resolution of imports
  jecisc
  committed
  ed832f6
- Manage aliases of imports
  jecisc
  committed
  16d8d1c
- Start shadowing management
  jecisc
  committed
  9f65882
Commits on Jul 20, 2026
- Ensure from imports are working as imports
  jecisc
  committed
  b7a5153
- Update documentation
  jecisc
  committed
  ae685e1
- Support shadowing of parameters
  jecisc
  committed
  1dced69
- Fix import shadowed by other imports
  jecisc
  committed
  f72a1d6
- Start to manage non local declarations
  jecisc
  committed
  63e2aa7
Commits on Jul 21, 2026
- Add doc
  jecisc
  committed
  7403461
- Begin to manage attribute accesses by creating non local declarations for the fields
  jecisc
  committed
  0eead1e
- Add doc on limitations of the local resolver
  jecisc
  committed
  4536897
- Add testing method on Tuples
  jecisc
  committed
  8f6bbe1
- Ensure we can resolve multiple times a model without clashing
  jecisc
  committed
  f2a044c
- Manage basic assignment in tuples
  jecisc
  committed
  5f0ccee
- Simplify scoping because it does not seems I need it for now and I prefer to keep the code simple
  jecisc
  committed
  fa6996d
- Begin to manage comprehensions
  jecisc
  committed
  6103fbf
- Manage scoping of list comprehensions
  jecisc
  committed
  2d1db57
Commits on Jul 29, 2026
- Add a method to know if a local declaration is a variable assignment. It will be used for the SSA
  jecisc
  committed
  df60c21
- Group some classes in the same package tag
  jecisc
  committed
  082b78b
- Add API for SSA building (This will probably move to FAST)
  jecisc
  committed
  7492ac6
- Init SSA Visitor
  jecisc
  committed
  6e5f51e
- Init tests for SSA
  jecisc
  committed
  0c477d2
- Move some methods to FAST + rearrange tags
  jecisc
  committed
  41c1ed8
- Start to manage usage of assigned variables when there is no condition
  jecisc
  committed
  12431b7
- Manage undeclared var usage
  jecisc
  committed
  36ec065
- Avoid names that can be confusing
  jecisc
  committed
  8f0ee70
- Fix bug causing too many creation of SSAVariable
  jecisc
  committed
  099637d
- Begin to manage parameters
  jecisc
  committed
  c230c7c
Commits on Jul 30, 2026
- Add tests to ensure parameters knows they are declarations
  jecisc
  committed
  8ddacd7
- Fix bug in local resolutions of method parameters
  jecisc
  committed
  39ba4e0
- Add rule to avoid inconsistant classification violations since I categorize visit methods in different visit protocols for organization
  jecisc
  committed
  9af81bf
- Fix bug in method redefining another method
  jecisc
  committed
  bf88294
- Add test ensuring the variable of a for can be redeclared in the local resolver
  jecisc
  committed
  27f7ed5
- Cleanup dead code
  jecisc
  committed
  d4c1efd
- Variables declared in for should know they are a variable assignment
  jecisc
  committed
  170add2
- SSA: Fixing declaration of variables in for
  jecisc
  committed
  56fe964
- Rename method to make it more generic between LR and SSA
  jecisc
  committed
  a50bce2
- Improve implementation of #isVariableWriteAccess
  jecisc
  committed
  491bcf7
- LR: Manage tuple declaration in the left field of foreach
  jecisc
  committed
  79f1293
- Make identifier a TNamedEntity
  jecisc
  committed
  0f30e13
- Simplify code now that identifiers are named entities
  jecisc
  committed
  03a534a
- Update LocalResolver to make it easier to implement the SSA with Python
  jecisc
  committed
  44d3f26
- Clean dead code
  jecisc
  committed
  228eb50
- SSA: Begin to handle Tuples in for declaration
  jecisc
  committed
  aa675c3
Commits on Jul 31, 2026
- Test local variables with tuples
  jecisc
  committed
  333f666
- LR: Manage assignment of tuples in tuples
  jecisc
  committed
  f8c15a1
- Add tests on SSA of tuples assignments and tuples in tuples assignments
  jecisc
  committed
  f679720
- Remove dead code
  jecisc
  committed
  396a200
- Start to manage read accesses in SSA
  jecisc
  committed
  f33275c
Commits on Aug 3, 2026
- Test reassignment of variables
  jecisc
  committed
  73b1b63
- Begin to manage phi versions (WIP)
  jecisc
  committed
  61eb236
Commits on Aug 4, 2026
- Add broken code to save it while I work on another branch
  jecisc
  committed
  f8a2479
- Support merge block in CFG
  jecisc
  committed
  2dd40e5
- Merge branch 'cfg' into local-resolver
  jecisc
  committed
  42c307a
Commits on Aug 5, 2026
- Make new test pass by using the new CFG visit logic
  jecisc
  committed
  edf51ed
- Improve the logic of phi versions to work when we do not reassign a variable in a conditional (it should not produce any new phi version)
  jecisc
  committed
  62934f1
- Add some more tests on if and phi versions
  jecisc
  committed
  7de8122
- Do not create a phi version if we have only one variable as a choice
  jecisc
  committed
  3ca992d
- Ensure multiple phi are working + add more tests
  jecisc
  committed
  1eedf2e
- Add tests on match statements
  jecisc
  committed
  5cb628a
- SSA: Add tests on for each
  jecisc
  committed
  f814ae2
- Fix bug in Python CFG
  jecisc
  committed
  53311e6
- Simplify tests + start to fix some to match the new for handling (CFG)
  jecisc
  committed
  e57df04
Commits on Aug 6, 2026
- Fix CFG tests after fixing a bug un for management
  jecisc
  committed
  2aa103c
- Unskip test that now passes
  jecisc
  committed
  6e1638b
- LR: Begin to manage attribute access
  jecisc
  committed
  0137be6
- Simplify code by removing lines that cannot happen
  jecisc
  committed
  6669a26
- Manage SSA write access to attributes (WIP)
  jecisc
  committed
  443a990
- Finish the local resolution of attribute accesses (I think?)
  jecisc
  committed
  cdadf14
- SSA: Manage read access of attribute accesses
  jecisc
  committed
  5bb3d5b
- CFG: fix bug in gandling of lambdas
  jecisc
  committed
  f77c8d3
- SSA: Test lambda parameters
  jecisc
  committed
  b6d5986
- Fix SSA for method parameters
  jecisc
  committed
  879b86a
- LR: fix reassignment of parameters in functions
  jecisc
  committed
  b00ab8f
- SSA: Add visit of the CFG in definitions + fix a test
  jecisc
  committed
  e4dd94e
Commits on Aug 7, 2026
- Manage subscripts in LR (only if the indexes are exactly the same source code)
  jecisc
  committed
  39554ec
- Simplify visitors by adding TCanBeVariable
  jecisc
  committed
  7fc901b
- SSA: test subscript access and reference in default value of parameters
  jecisc
  committed
  eefe218
- SSA: Ensure separators are in the parameters
  jecisc
  committed
  dcb9281
- SSA: Ensure typed parameters are working
  jecisc
  committed
  c6b2963
- SSA: Manage splat parameters (*args or **kwargs as function parameters)
  jecisc
  committed
  e43172d
- SSA: Ensure phi version only gets last version of the branch
  jecisc
  committed
  9c73a2e
- LR: Simplify the code by inlining the scopes
  jecisc
  committed
  2cc4ef6
- SSA: Rename var to be more explicit
  jecisc
  committed
  1f240e5
Commits on Aug 10, 2026
- Ensure identifier and attributes do not clash
  jecisc
  committed
  c67ebc2
- Assignment in assignment
  jecisc
  committed
  7000912
- LR: Support assignment to lists
  jecisc
  committed
  2fe44b8
- SSA: Support assignment to lists
  jecisc
  committed
  c9b0fb6
- Ignore DS_STORE file on mac
  jecisc
  committed
  b949b23
Commits on Aug 11, 2026
- Start to add info on instance variables
  jecisc
  committed
  b97f421
- Allow to know if an ivar is a write or read access
  jecisc
  committed
  eee18a2
- Add #isAbstract to methods
  jecisc
  committed
  2cafff3
- Factorize code
  jecisc
  committed
  e7a70e7
Commits on Aug 12, 2026
- Move some methods in the right location + add metadescriptions
  jecisc
  committed
  aa080f8
- Add more doc (WIP)
  jecisc
  committed
  2c76e47
- Add utility methods forn parsing and resolving in one step
  jecisc
  committed
  e8a8c9d
- Update documentation
  jecisc
  committed
  95f4c13
- Add test
  jecisc
  committed
  2c7c1d8
Commits on Aug 13, 2026
- Fix shadowing of attribute accesses
  jecisc
  committed
  3f92180
- Add test on new query API of FAST
  jecisc
  committed
  d6ec1fd
- Update documentation
  jecisc
  committed
  be5642a
- Begin to implement the assigned expressions
  jecisc
  committed
  fda1137
Commits on Aug 14, 2026
- Test assigned expressions map (basic test)
  jecisc
  committed
  7dcf0f7
- Ensure the assigned variable map works on loops
  jecisc
  committed
  ece306f
- Update documentation
  jecisc
  committed
  99fe668
- FIxes #142
  jecisc
  committed
  5b3929a
- Fix bug of impornt shadowing an attribute access global declaration
  jecisc
  committed
  783f4f7
- Fix skipped tests
  jecisc
  committed
  32b0274
Commits on Aug 17, 2026
- Finish to test shadowing of attributes
  jecisc
  committed
  c3a7478
- Manages variables used as call receivers
  jecisc
  committed
  b482919
- Test that imports in function do not shadow variables outside of the scope of the function
  jecisc
  committed
  629a4a9
- Fix bug in shadowing of variables from functions
  jecisc
  committed
  077a8f4
- Add support for shadowing information in the LocalResolver
  jecisc
  committed
  c91c112
- Manage linking of SSA version even if the variable got shadowed in the middle
  jecisc
  committed
  daef98b
Commits on Aug 20, 2026
- Add agents file
  jecisc
  committed
  75cdd4b
- Fix tests
  jecisc
  committed
  5a1d46d
- LR/SSA: Manage augmented assignments
  jecisc
  committed
  9625e31
- LR/SSA: Test else clause in for loop
  jecisc
  committed
  609152b
- Ensure nested for loops are working
  jecisc
  committed
  73a5223
- LR/SSA: Test reassignemnts in while loop
  jecisc
  committed
  91076bb
- LR/SSA: Fix bug when a while has an else block
  jecisc
  committed
  c69b5ba
- SSA: Test redefinition of var in a for loop (should produce a phi version)
  jecisc
  committed
  a663972
- LR/SSA: Fix bug in nested ifs + add tests
  jecisc
  committed
  e1a516b
Commits on Aug 21, 2026
- Importer: Fix list splat in left side of assignment + test
  jecisc
  committed
  34422bc
- LR/SSA: Add tests on elif (I mostly did if/then/else until now)
  jecisc
  committed
  4500e8b
- LR/SSA: Begin to manage ternary epressions but it's a WIP
  jecisc
  committed
  9c18280
- LR/SSA: Tests assignemnts in try/catch
  jecisc
  committed
  fae596c
- LR/SSA: Manage except in try
  jecisc
  committed
  c999cbd
- LR/SSA: Fix problem with assignemnt to an unpacking
  jecisc
  committed
  b3ab0be
- Merge branch 'main' into local-resolver
  jecisc
  committed
  8a02917

Commits

Commits on Jun 25, 2026

Commits on Jun 29, 2026

Commits on Jun 30, 2026

Commits on Jul 3, 2026

Commits on Jul 15, 2026

Commits on Jul 16, 2026

Commits on Jul 17, 2026

Commits on Jul 20, 2026

Commits on Jul 21, 2026

Commits on Jul 29, 2026

Commits on Jul 30, 2026

Commits on Jul 31, 2026

Commits on Aug 3, 2026

Commits on Aug 4, 2026

Commits on Aug 5, 2026

Commits on Aug 6, 2026

Commits on Aug 7, 2026

Commits on Aug 10, 2026

Commits on Aug 11, 2026

Commits on Aug 12, 2026

Commits on Aug 13, 2026