From 052f2ecaf51ba4f3e06922f62ba104284aa6944b Mon Sep 17 00:00:00 2001 From: a-tarazevich Date: Wed, 25 Feb 2026 16:16:32 +0000 Subject: [PATCH] =?UTF-8?q?=D0=9E=D0=B1=D0=BD=D0=BE=D0=B2=D0=B8=D1=82?= =?UTF-8?q?=D1=8C=20CHECKPOINTS.md?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- CHECKPOINTS.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CHECKPOINTS.md b/CHECKPOINTS.md index d3c3745..05f346d 100644 --- a/CHECKPOINTS.md +++ b/CHECKPOINTS.md @@ -24,7 +24,7 @@ | Syntax | ✅ | ❌ | | Alligator | ❌ | ❌ | | Zephyr | ❌ | ❌ | -| ADT | ✅ | ❌ | +| ADT | ✅ | ✅ | | Bugdroid | ✅ | ❌ | | Infinity | ✅ | ❌ | | Infinima | ✅ | ❌ |