Skip to content

Actions: ConSol-Lab/Pumpkin

Actions

Release Please

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release-please.yml
163 workflow runs
163 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(pumpkin-core): Crash if a propagator constructor does not regist… Release Please #165: Commit 29a6068 pushed by ImkoMarijnissen
36s main
main
36s
fix: Sign error in greater_than constraint (#334) Release Please #164: Commit 27b8c83 pushed by ImkoMarijnissen
35s main
main
35s
feat(pumpkin-core): Make propagator API public (#333) Release Please #163: Commit babbdd9 pushed by ImkoMarijnissen
39s main
main
39s
fix: Generate constraint tags via State (#335) Release Please #162: Commit 15239c4 pushed by ImkoMarijnissen
44s main
main
44s
feat: Add interface for nogood minimiser (#326) Release Please #161: Commit 911ba41 pushed by ImkoMarijnissen
37s main
main
37s
refactor(pumpkin-core): Explicitly register predicates in NogoodPropa… Release Please #160: Commit 94dcdef pushed by maartenflippo
33s main
main
33s
fix(pumpkin-core): Allow propagators to register for predicates becom… Release Please #159: Commit 0f63882 pushed by maartenflippo
46s main
main
46s
feat: Implement State API (#319) Release Please #158: Commit 301551a pushed by ImkoMarijnissen
47s main
main
47s
chore(pumpkin-solver): Run proof checker on integration tests (#329) Release Please #157: Commit a1a3531 pushed by maartenflippo
55s main
main
55s
feat(pumpkin-checker): Introduce the uncertified proof checker (#328) Release Please #156: Commit 94943f5 pushed by maartenflippo
45s main
main
45s
feat: Introducing fzn-rs, a better FlatZinc parser that is easier t… Release Please #155: Commit 884c4ea pushed by maartenflippo
40s main
main
40s
feat(pumpkin-core): WebAssembly support for pumpkin-core (#327) Release Please #154: Commit 48182a2 pushed by ImkoMarijnissen
39s main
main
39s
chore(pumpkin-core): Use clippy to detect disallowed types (#325) Release Please #153: Commit db92bc4 pushed by maartenflippo
35s main
main
35s
fix(pumpkin-solver): Stop search when a SIGTERM signal is received (#… Release Please #152: Commit 4f6b04c pushed by maartenflippo
40s main
main
40s
fix: Off-by-one error when explaining empty domain conflict (#322) Release Please #151: Commit c3739c4 pushed by ImkoMarijnissen
43s main
main
43s
fix(pumpkin-core): Don't use binary equality when logging proof (#320) Release Please #150: Commit f528527 pushed by maartenflippo
30s main
main
30s
fix(pumpkin-core): Declare solving after conflict resolution (#317) Release Please #149: Commit 4824567 pushed by maartenflippo
48s main
main
48s
refactor(pumpkin-core): Empty domain conflict is a predicate and reas… Release Please #148: Commit 37c664c pushed by maartenflippo
45s main
main
45s
refactor(pumpkin-core): Separate conflict resolvers further from solv… Release Please #147: Commit 4aed33f pushed by maartenflippo
26s main
main
26s
refactor: Update rust edition to 2024 (#311) Release Please #146: Commit 477f116 pushed by maartenflippo
24s main
main
24s
chore: Adjust versions python interface (#313) Release Please #145: Commit 44357e8 pushed by ImkoMarijnissen
24s main
main
24s
chore: release pumpkin-solver 0.2.2 (#248) Release Please #144: Commit 62b2f09 pushed by ImkoMarijnissen
25s main
main
25s
chore: release pumpkin-core 0.2.2 (#249) Release Please #143: Commit 4013abc pushed by ImkoMarijnissen
32s main
main
32s
fix: Provide SelectionContext instead of Assignments to `Brancher… Release Please #142: Commit 9548114 pushed by ImkoMarijnissen
36s main
main
36s
feat: Post equality as single predicate instead of splitting in two (… Release Please #141: Commit 8f43208 pushed by ImkoMarijnissen
8s main
main
8s