update kf

Noam Cohen · nanocoh · commit d345f285ecca · 2026-02-05T20:53:19.000+01:00
Signed-off-by: Noam Cohen &lt;noam.chn1@gmail.com&gt;
diff --git a/tools/kepler-formal b/tools/kepler-formal
@@ -1 +1 @@
-Subproject commit 2c0f78e7483333dd0d5340cbb3567f96dd290d53
+Subproject commit 44f6ad6b075c0b98a38e042d5c4347765e250f05
