Skip to content

Actions: huub-solver/huub

Actions

Check Format

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format.yml
339 workflow runs
339 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[WIP] add configurations to deactivate propagations of CP propagators Check Format #339: Pull request #127 synchronize by AllenZzw
November 14, 2024 07:25 20s AllenZzw:feat/deactivate_propagations
AllenZzw:feat/deactivate_propagations
November 14, 2024 07:25 20s
[WIP] add configurations to deactivate propagations of CP propagators Check Format #338: Pull request #127 synchronize by AllenZzw
November 6, 2024 04:24 20s AllenZzw:feat/deactivate_propagations
AllenZzw:feat/deactivate_propagations
November 6, 2024 04:24 20s
Increase size of activation list to hold 2^32 propagators Check Format #337: Pull request #135 opened by Dekker1
October 29, 2024 01:57 23s Dekker1:fix/activation_list_size
Dekker1:fix/activation_list_size
October 29, 2024 01:57 23s
Update to pindakaas with generic propagator interface Check Format #336: Pull request #134 synchronize by Dekker1
October 29, 2024 01:37 24s Dekker1:feat/gen_pindakaas
Dekker1:feat/gen_pindakaas
October 29, 2024 01:37 24s
Update to pindakaas with generic propagator interface Check Format #335: Pull request #134 synchronize by Dekker1
October 29, 2024 01:34 25s Dekker1:feat/gen_pindakaas
Dekker1:feat/gen_pindakaas
October 29, 2024 01:34 25s
Update to pindakaas with generic propagator interface Check Format #334: Pull request #134 synchronize by Dekker1
October 29, 2024 01:19 21s Dekker1:feat/gen_pindakaas
Dekker1:feat/gen_pindakaas
October 29, 2024 01:19 21s
Update to pindakaas with generic propagator interface Check Format #333: Pull request #134 opened by Dekker1
October 28, 2024 03:34 19s Dekker1:feat/gen_pindakaas
Dekker1:feat/gen_pindakaas
October 28, 2024 03:34 19s
Allow the forgetting of generated reason clauses Check Format #332: Pull request #133 opened by Dekker1
October 27, 2024 22:58 22s Dekker1:feat/forget_reason
Dekker1:feat/forget_reason
October 27, 2024 22:58 22s
[WIP] add configurations to deactivate propagations of CP propagators Check Format #331: Pull request #127 synchronize by AllenZzw
October 23, 2024 06:27 19s AllenZzw:feat/deactivate_propagations
AllenZzw:feat/deactivate_propagations
October 23, 2024 06:27 19s
[WIP] add configurations to deactivate propagations of CP propagators Check Format #330: Pull request #127 synchronize by AllenZzw
October 23, 2024 05:55 23s AllenZzw:feat/deactivate_propagations
AllenZzw:feat/deactivate_propagations
October 23, 2024 05:55 23s
[WIP] add configurations to deactivate propagations of CP propagators Check Format #329: Pull request #127 synchronize by AllenZzw
October 17, 2024 12:08 26s AllenZzw:feat/deactivate_propagations
AllenZzw:feat/deactivate_propagations
October 17, 2024 12:08 26s
[WIP] add configurations to deactivate propagations of CP propagators Check Format #328: Pull request #127 synchronize by AllenZzw
October 17, 2024 07:34 19s AllenZzw:feat/deactivate_propagations
AllenZzw:feat/deactivate_propagations
October 17, 2024 07:34 19s
[WIP] add configurations to deactivate propagations of CP propagators Check Format #327: Pull request #127 synchronize by AllenZzw
October 17, 2024 07:07 26s AllenZzw:feat/deactivate_propagations
AllenZzw:feat/deactivate_propagations
October 17, 2024 07:07 26s
[WIP] add configurations to deactivate propagations of CP propagators Check Format #326: Pull request #127 synchronize by AllenZzw
October 16, 2024 11:53 20s AllenZzw:feat/deactivate_propagations
AllenZzw:feat/deactivate_propagations
October 16, 2024 11:53 20s
[WIP] add configurations to deactivate propagations of CP propagators Check Format #325: Pull request #127 synchronize by AllenZzw
October 16, 2024 11:38 21s AllenZzw:feat/deactivate_propagations
AllenZzw:feat/deactivate_propagations
October 16, 2024 11:38 21s
[WIP] add configurations to deactivate propagations of CP propagators Check Format #324: Pull request #127 synchronize by AllenZzw
October 16, 2024 11:19 23s AllenZzw:feat/deactivate_propagations
AllenZzw:feat/deactivate_propagations
October 16, 2024 11:19 23s
Update to pindakaas with Cadical 2.1.0 Check Format #323: Pull request #132 opened by Dekker1
October 10, 2024 10:46 21s Dekker1:feat/cadical-2.1.0
Dekker1:feat/cadical-2.1.0
October 10, 2024 10:46 21s
[WIP] add configurations to deactivate propagations of CP propagators Check Format #322: Pull request #127 synchronize by AllenZzw
October 8, 2024 07:18 20s AllenZzw:feat/deactivate_propagations
AllenZzw:feat/deactivate_propagations
October 8, 2024 07:18 20s
Add --all-optimal flag Check Format #321: Pull request #131 synchronize by Dekker1
October 8, 2024 02:30 23s Dekker1:feat/all_optimal
Dekker1:feat/all_optimal
October 8, 2024 02:30 23s
Add --all-optimal flag Check Format #320: Pull request #131 opened by Dekker1
October 8, 2024 02:29 22s Dekker1:feat/all_optimal
Dekker1:feat/all_optimal
October 8, 2024 02:29 22s
[WIP] add configurations to deactivate propagations of CP propagators Check Format #319: Pull request #127 synchronize by AllenZzw
October 7, 2024 22:59 25s AllenZzw:feat/deactivate_propagations
AllenZzw:feat/deactivate_propagations
October 7, 2024 22:59 25s
[WIP] add configurations to deactivate propagations of CP propagators Check Format #318: Pull request #127 synchronize by AllenZzw
October 7, 2024 06:53 19s AllenZzw:feat/deactivate_propagations
AllenZzw:feat/deactivate_propagations
October 7, 2024 06:53 19s
[WIP] add configurations to deactivate propagations of CP propagators Check Format #317: Pull request #127 synchronize by AllenZzw
October 7, 2024 06:38 21s AllenZzw:feat/deactivate_propagations
AllenZzw:feat/deactivate_propagations
October 7, 2024 06:38 21s
[WIP] add configurations to deactivate propagations of CP propagators Check Format #316: Pull request #127 synchronize by AllenZzw
October 7, 2024 04:58 19s AllenZzw:feat/deactivate_propagations
AllenZzw:feat/deactivate_propagations
October 7, 2024 04:58 19s
Avoid half-reification for literal views Check Format #315: Pull request #124 synchronize by Dekker1
October 4, 2024 07:52 20s Dekker1:feat/no_view_imp
Dekker1:feat/no_view_imp
October 4, 2024 07:52 20s