Changelog
Contents
- Prover Release Notes
- 7.22.2 (Jan 12, 2025)
- 7.21.1 (December 12, 2024)
- 7.20.1 (November 20, 2024)
- 7.17.2 (October 8, 2024)
- 7.14.2 (September 2, 2024)
- 7.10.1 (July 25, 2024)
- 7.6.3 (May 15, 2024)
- 7.3.0 (April 11, 2024)
- 7.0.7 (March 15, 2024)
- 6.3.1 (February 2, 2024)
- 6.1.3 (January 11, 2024)
- 5.0.5 (November 21, 2023)
- 4.13.1 (September 26, 2023)
- 4.12.1 (September 17, 2023)
- 4.10.1 (August 21, 2023)
- 4.8.0 (August 13, 2023)
- 4.5.1 (July 15, 2023)
- 4.3.1 (July 2, 2023)
- 4.0.5 (June 7, 2023) CVL 2
- GUI Release Notes
- 3.1.1 (Jan 12, 2025)
- 3.0.2 (Nov 18, 2024)
- 2.4.4 (Nov 6, 2024)
- 2.4.1 (Oct 6, 2024)
- 2.3.2 (Sep 2, 2024)
- 2.2.0 (Jul 24, 2024)
- 2.1.6 (Jul 8, 2024)
- 2.0.1 (May 15, 2024)
- 1.0.0 (Apr 11, 2024)
- 0.8.0 (Mar 11, 2024)
- 0.7.0 (Feb 12, 2024)
- 0.6.0 (Jan 31, 2024)
- 0.5.7 (Nov 26, 2023)
- 0.5.62 (Feb 11, 2024)
- 0.5.6 (October 24, 2023)