Refined External Libraries support - #29

Open

Pichers wants to merge 13 commits into

mainfrom

external-libraries

Commits on Jun 13, 2025

Added map for external methods annotations and new file for first pass
Pichers
committed
f6746ff
external refinements pass implementation and related addition to CLM.java
Pichers
committed
32dc45e
added external refinement to processor pipeline
Pichers
committed
026cbd5

Commits on Jun 14, 2025

Annotation, Fixes to correctly register the annotated methods, type checking changes based on those annotations
Pichers
committed
f1d6b69
Added simple logging for external refinements pass
Pichers
committed
5df3309
get external refine map in CLM; correction in ERFP (missing super.visit...())
Pichers
committed
5fd2584

Commits on Jun 17, 2025

First Pass Check for External Libraries
Antonio Almeida
committed
0f87b4a

Commits on Jun 18, 2025

some changes, needing correct integration with perm and symb environments
Antonio Almeida
committed
8676845

Commits on Jun 23, 2025

added some fixes, it now works properly
Antonio Almeida
committed
309cad3
Removed debugging logs
Antonio Almeida
committed
60c6beb

Commits on Jun 24, 2025

small bug fix
Antonio Almeida
committed
6ddeb9a
Added tests, one failing and one correct
Antonio Almeida
committed
611660a
Merge branch 'main' into external-libraries
Pichers
authored
efa029f