Union-find, congruence closure, and other unification code
This package provides an implementation of union-find / congruence-closure in Rust. It was extracted from rustc for independent experimentation.
| System | Target | Derivation | Build status |
|---|---|---|---|
| x86_64-linux | /gnu/store/1k9zg8byjsazm66l6gfvp50nfmj1nnnb-rust-ena-0.13.1.drv | ||
| mips64el-linux | /gnu/store/15cmpy5bcahwlfyqgsi8yvvp6mzpbb6y-rust-ena-0.13.1.drv | ||
| i686-linux | /gnu/store/qqsk9dkvjv3z7j5myvs79w8q18s09i4l-rust-ena-0.13.1.drv | ||
| i586-gnu | /gnu/store/lpnkvb4j2xkjv7bxsm5j8w6803mkg59z-rust-ena-0.13.1.drv | ||
| armhf-linux | /gnu/store/qkcjg70rbw4q2c02lsilvi4qd6ba8lc7-rust-ena-0.13.1.drv | ||
| aarch64-linux | /gnu/store/9q1khna3k5b6h6a987xbc2b7bzswldxy-rust-ena-0.13.1.drv |
| Linter | Message | Location |
|---|---|---|
| No lint warnings ✓ | ||