Parameterize fixpoint by the type of vars (#567)

flux-rs · Nov 30, 2023 · 269a4c9 · 269a4c9
1 parent 3449d35
commit 269a4c9
Show file tree

Hide file tree

Showing 6 changed files with 275 additions and 272 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/crates/flux-fixpoint/Cargo.toml b/crates/flux-fixpoint/Cargo.toml
@@ -7,6 +7,7 @@ edition.workspace = true
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
+derive-where = "1.2.5"
 flux-common.workspace = true
 flux-config.workspace = true
 itertools.workspace = true