Skip to content

Actions: ConSol-Lab/Pumpkin

Actions

Dismiss old reviews when re-requested

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
reset_reviewed_status.yml
242 workflow runs
242 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(pumpkin-core): If the check-propagations flag is enabled, the state will run inference checkers on all propagations immediately Dismiss old reviews when re-requested #314: Pull request #340 review_requested by maartenflippo
9s feat/integrated-checkers
feat/integrated-checkers
9s
refactor: InferenceCode wraps constraint tag and inference label directory Dismiss old reviews when re-requested #313: Pull request #339 review_requested by maartenflippo
9s refactor/inference-code-no-indirection
refactor/inference-code-no-indirection
9s
feat(pumpkin-core): Crash if a propagator constructor does not register anything Dismiss old reviews when re-requested #312: Pull request #338 review_requested by maartenflippo
7s feat/constructor-fails-on-no-registration
feat/constructor-fails-on-no-registration
7s
fix: Sign error in greater_than constraint Dismiss old reviews when re-requested #311: Pull request #334 review_requested by geraschenko
7s geraschenko:anton/greater_than
geraschenko:anton/greater_than
7s
fix: Sign error in greater_than constraint Dismiss old reviews when re-requested #310: Pull request #334 review_requested by geraschenko
9s geraschenko:anton/greater_than
geraschenko:anton/greater_than
9s
fix: Generate constraint tags via State Dismiss old reviews when re-requested #309: Pull request #335 review_requested by ImkoMarijnissen
10s fix/state-constraint-tag-generation
fix/state-constraint-tag-generation
10s
feat(pumpkin-core): Make propagator API public Dismiss old reviews when re-requested #308: Pull request #333 review_requested by maartenflippo
13s feat/make-propagator-api-public
feat/make-propagator-api-public
13s
feat(pumpkin-core): Make propagator API public Dismiss old reviews when re-requested #307: Pull request #333 review_requested by maartenflippo
10s feat/make-propagator-api-public
feat/make-propagator-api-public
10s
refactor(pumpkin-core): Explicitly register predicates in NogoodPropagator Dismiss old reviews when re-requested #306: Pull request #332 review_requested by maartenflippo
9s fix/remove-nogood-propagator-hardcoded-in-state
fix/remove-nogood-propagator-hardcoded-in-state
9s
fix(pumpkin-core): Allow propagators to register for predicates becoming true Dismiss old reviews when re-requested #305: Pull request #331 review_requested by maartenflippo
7s fix/predicate-notification
fix/predicate-notification
7s
feat(pumpkin-checker): Introduce the uncertified proof checker Dismiss old reviews when re-requested #304: Pull request #328 review_requested by maartenflippo
8s feat/uncertified-drcp-checker
feat/uncertified-drcp-checker
8s
feat(pumpkin-checker): Introduce the uncertified proof checker Dismiss old reviews when re-requested #303: Pull request #328 review_requested by maartenflippo
11s feat/uncertified-drcp-checker
feat/uncertified-drcp-checker
11s
feat: Introducing fzn-rs, a better FlatZinc parser that is easier to re-use across projects Dismiss old reviews when re-requested #302: Pull request #238 review_requested by maartenflippo
9s feat/improved-fzn-parser
feat/improved-fzn-parser
9s
feat: Add interface for nogood minimiser Dismiss old reviews when re-requested #300: Pull request #326 review_requested by ImkoMarijnissen
9s feat/minimiser-interface
feat/minimiser-interface
9s
chore(pumpkin-core): Use clippy to detect disallowed types Dismiss old reviews when re-requested #299: Pull request #325 review_requested by maartenflippo
6s chore/use-clippy-deny-types
chore/use-clippy-deny-types
6s
fix(pumpkin-solver): Stop search when a SIGTERM signal is received Dismiss old reviews when re-requested #298: Pull request #324 review_requested by maartenflippo
10s fix/terminate-on-sigterm
fix/terminate-on-sigterm
10s
fix: Off-by-one error when explaining empty domain conflict Dismiss old reviews when re-requested #297: Pull request #322 review_requested by ImkoMarijnissen
6s fix/explain-empty-domain
fix/explain-empty-domain
6s
fix: Off-by-one error when explaining empty domain conflict Dismiss old reviews when re-requested #296: Pull request #322 review_requested by ImkoMarijnissen
9s fix/explain-empty-domain
fix/explain-empty-domain
9s
feat: Implement State API Dismiss old reviews when re-requested #295: Pull request #319 review_requested by ImkoMarijnissen
9s feat/implement-state-api
feat/implement-state-api
9s
fix(pumpkin-core): Don't use binary equality when logging proof Dismiss old reviews when re-requested #294: Pull request #320 review_requested by maartenflippo
9s fix/proof-log-with-binary-equals
fix/proof-log-with-binary-equals
9s
feat: Implement State API Dismiss old reviews when re-requested #293: Pull request #319 review_requested by ImkoMarijnissen
8s feat/implement-state-api
feat/implement-state-api
8s
fix(pumpkin-core): Declare solving after conflict resolution Dismiss old reviews when re-requested #292: Pull request #317 review_requested by maartenflippo
8s fix/no-learning-resolver
fix/no-learning-resolver
8s
feat(pumpkin-solver-py): Add incrementality to python interface Dismiss old reviews when re-requested #291: Pull request #315 review_requested by maartenflippo
10s feat/stateful-python-interface
feat/stateful-python-interface
10s
refactor(pumpkin-core): Empty domain conflict is a predicate and reason Dismiss old reviews when re-requested #290: Pull request #314 review_requested by maartenflippo
8s refactor/stored-conflict-info
refactor/stored-conflict-info
8s
refactor(pumpkin-core): Empty domain conflict is a predicate and reason Dismiss old reviews when re-requested #289: Pull request #314 review_requested by maartenflippo
8s refactor/stored-conflict-info
refactor/stored-conflict-info
8s