# Changelog

All notable changes to this project will be documented in this file.

The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).


## [0.4.0](https://github.com/ConSol-Lab/Pumpkin/compare/pumpkin-checker-v0.3.0...pumpkin-checker-v0.4.0) - 2026-06-23

### Added

- *(pumpkin-solver)* Check derived nogoods during search ([#373](https://github.com/ConSol-Lab/Pumpkin/pull/373))
- *(pumpkin-proof-processor)* Introduce the proof processor in the main branch ([#371](https://github.com/ConSol-Lab/Pumpkin/pull/371))

### Other

- Use central version number for all pumpkin-* crates ([#470](https://github.com/ConSol-Lab/Pumpkin/pull/470))
- *(deps)* bump assert_cmd from 2.2.1 to 2.2.2 ([#445](https://github.com/ConSol-Lab/Pumpkin/pull/445))

## [0.1.0](https://github.com/consol-lab/pumpkin/releases/tag/pumpkin-checker-v0.1.0) - 2026-02-10

### Added

- Introduce the uncertified proof checker ([#328](https://github.com/consol-lab/pumpkin/pull/328))

