25 releases
new releases every 3 months 6 days
last release was 1 week 5 days ago
last checked Mar 29, 2023 at 07:21 UTC
Union-find, congruence closure, and other unification code. Based on code from rustc.
Release History
Subscribe above to receive notifications when new
versions
are released.
| Version | Date | Stability |
|---|---|---|
| 0.14.2 | Mar 17, 2023 | stable |
| 0.14.1 | Feb 23, 2023 | stable |
| 0.14.0 | Apr 10, 2020 | stable |
| 0.13.1 | Sep 19, 2019 | stable |
| 0.13.0 | Mar 25, 2019 | stable |
| 0.12.0 | Mar 19, 2019 | stable |
| 0.11.0 | Nov 14, 2018 | stable |
| 0.10.1 | Sep 7, 2018 | stable |
| 0.9.3 | May 18, 2018 | stable |
| 0.9.2 | Mar 5, 2018 | stable |
| 0.9.1 | Feb 28, 2018 | stable |
| 0.8.1 | Feb 28, 2018 | stable |
| 0.9.0 | Feb 9, 2018 | stable |
| 0.8.0 | Oct 31, 2017 | stable |
| 0.7.3 | Jul 16, 2017 | stable |
| 0.7.2 | Jul 16, 2017 | stable |
| 0.7.1 | Jul 16, 2017 | stable |
| 0.7.0 | Jul 16, 2017 | stable |
| 0.6.0 | Jul 16, 2017 | stable |
| 0.5.0 | Mar 6, 2017 | stable |
| 0.4.0 | Dec 14, 2016 | stable |
| 0.3.0 | Oct 27, 2016 | stable |
| 0.2.0 | Oct 27, 2016 | stable |
| 0.1.1 | Oct 27, 2016 | stable |
| 0.1.0 | Oct 22, 2016 | stable |