fix logging + liberty parsing

Noam Cohen · nanocoh · commit 4dc8ffe2e729 · 2026-02-20T00:59: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 d609591a1c7a0620565ecb13f751969f638d845c
+Subproject commit 405682c75dc8ca7edbc2ba94ebfe5bc5faaf0904
