Commit Graph

6 Commits

Author SHA1 Message Date
Jonas Jensen
7ef60a8649 Update the overlay annotation script for go
The Go libraries follow their own naming convention for "query
libraries". These need to be exempted from automatic `overlay[local?]`
annotations since otherwise it appears that too many predicates are
evaluated, possibly because of inadequate use of sentinels.
2026-03-13 15:02:58 +00:00
Alex Eyers-Taylor
dcc5572767 Java: Hnalde global files as exceptions rather than annotating them
This allows us to merge them without redundent annoations for now.
2025-09-10 17:26:54 +01:00
Kasper Svendsen
869ba0d246 Use regex to match overlay annotations 2025-06-25 09:30:49 +02:00
Kasper Svendsen
ed8b787f28 rename overlay[caller] to overlay[caller?] 2025-06-20 13:58:01 +02:00
Kasper Svendsen
b1346e2ddb Address copilot review comments 2025-06-20 13:58:00 +02:00
Kasper Svendsen
cd2fe64b39 Add script to add overlay annotations 2025-06-20 13:58:00 +02:00