refactor(pumpkin-solver): `PropagatorConstructor::create` now returns event registrations - #456

Merged

maartenflippo merged 12 commits into

mainfrom

refactor/variable-registration

Jul 21, 2026

Commits on May 27, 2026

PropagatatorConstructor::create now returns an EventRegistration
maartenflippo
committed
39f97fd
Remove registration from PropagatorConstructorContext
maartenflippo
committed
4dd4222
Do the registration in the state
maartenflippo
committed
27ed751
Remove Watchers::watch_all in favor of event target
maartenflippo
committed
c5290b1
Implement the new interface in the rest of pumpkin
maartenflippo
committed
b456892
Also update the proof processor
maartenflippo
committed
b95ad41

Commits on May 28, 2026

Rename 'EventRegistration' to 'EventsToRegister'
maartenflippo
committed
6839f51
Clarify documentation
maartenflippo
committed
9a7d21b

Commits on Jul 21, 2026

Update documentation
maartenflippo
committed
994aa45
Squashed commit of the following:
maartenflippo
committed
7fa3dfc
Merge branch 'main' into refactor/variable-registration
maartenflippo
authored
2f12b57
Update docs
maartenflippo
committed
52bbd1e