Refactor formatting of fixpoint constraints

flux-rs · Nov 26, 2024 · c5a037f · c5a037f
1 parent 3e3a2bf
commit c5a037f
Show file tree

Hide file tree

Showing 5 changed files with 556 additions and 510 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/lib/liquid-fixpoint/Cargo.toml b/lib/liquid-fixpoint/Cargo.toml
@@ -8,7 +8,6 @@ version = "0.1.0"
 [dependencies]
 derive-where = "1.0.0"
 itertools = "0.13.0"
-pad-adapter = "0.1.1"
 serde = "1.0"
 serde_json = "1.0"