Skip to content

chore: release pumpkin-core 0.2.3 #318

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
maartenflippo wants to merge 1 commit into
base: main
Choose a base branch
from
Open

chore: release pumpkin-core 0.2.3 #318

maartenflippo wants to merge 1 commit into from

Conversation

@maartenflippo
Copy link
Contributor

@maartenflippo maartenflippo commented Nov 17, 2025 •
edited
Loading

🤖 I have created a release beep boop

0.2.3 (2025-12-16)

Features

  • Add interface for nogood minimiser (#326) (911ba41)
  • Implement State API (#319) (301551a)
  • pumpkin-core: Crash if a propagator constructor does not register anything (#338) (29a6068)
  • pumpkin-core: Make propagator API public (#333) (babbdd9)
  • pumpkin-core: WebAssembly support for pumpkin-core (#327) (48182a2)
  • pumpkin-core: WebAssembly support for pumpkin-core (#327) (1d2e411)

Bug Fixes

  • Generate constraint tags via State (#335) (15239c4)
  • Off-by-one error when explaining empty domain conflict (#322) (c3739c4), closes #321
  • pumpkin-core: Allow propagators to register for predicates becoming true (#331) (0f63882)
  • pumpkin-core: Declare solving after conflict resolution (#317) (4824567)
  • pumpkin-core: Don't use binary equality when logging proof (#320) (f528527)
  • Sign error in greater_than constraint (#334) (27b8c83)

This PR was generated with Release Please. See documentation.

@maartenflippo maartenflippo force-pushed the release-please--branches--main--components--pumpkin-core branch 2 times, most recently from 4fdabac to 274ee17 Compare November 24, 2025 09:40
@maartenflippo maartenflippo force-pushed the release-please--branches--main--components--pumpkin-core branch from 274ee17 to 272112a Compare November 28, 2025 07:38
@maartenflippo maartenflippo force-pushed the release-please--branches--main--components--pumpkin-core branch 8 times, most recently from 1b2d156 to 01b12ee Compare December 16, 2025 07:34
@maartenflippo maartenflippo force-pushed the release-please--branches--main--components--pumpkin-core branch from 01b12ee to 4db8db4 Compare December 16, 2025 12:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

autorelease: pending

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Pumpkin crashes when using connected constraint

2 participants

@maartenflippo