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
external refinements pass implementation and related addition to CLM.java
Pichers
committed
added external refinement to processor pipeline
Pichers
committed

Commits on Jun 14, 2025

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

Commits on Jun 17, 2025

First Pass Check for External Libraries
Antonio Almeida
committed

Commits on Jun 18, 2025

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

Commits on Jun 23, 2025

added some fixes, it now works properly
Antonio Almeida
committed
Removed debugging logs
Antonio Almeida
committed

Commits on Jun 24, 2025

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