Java: Add up/downgrade scripts

2026-04-30 11:15:13 +02:00 · 2024-10-10 13:54:29 +01:00
parent 6be2e98796
commit 251a8a34ed
7 changed files with 4932 additions and 0 deletions
--- a/java/ql/lib/upgrades/876cabc76c5c83912271db331481f8cba2749643/old.dbscheme
+++ b/java/ql/lib/upgrades/876cabc76c5c83912271db331481f8cba2749643/old.dbscheme
--- a/java/ql/lib/upgrades/876cabc76c5c83912271db331481f8cba2749643/semmlecode.dbscheme
+++ b/java/ql/lib/upgrades/876cabc76c5c83912271db331481f8cba2749643/semmlecode.dbscheme
--- a/java/ql/lib/upgrades/876cabc76c5c83912271db331481f8cba2749643/upgrade.properties
+++ b/java/ql/lib/upgrades/876cabc76c5c83912271db331481f8cba2749643/upgrade.properties
@@ -0,0 +1,2 @@
+description: Remove erasure
+erasure.rel: delete