Changelog

Contents

• Prover Release Notes
  • 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
• Rules Report Release Notes
  • 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)