Skip to content

Actions: huub-solver/huub

Actions

Check Format

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format.yml
340 workflow runs
340 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update pindakaas library Check Format #115: Commit e519dbb pushed by Dekker1
June 13, 2024 00:26 24s feat/pindakaas
feat/pindakaas
June 13, 2024 00:26 24s
Enable additional compiler optimizations for release builds Check Format #114: Commit 6df28c4 pushed by Dekker1
June 7, 2024 01:38 25s develop
develop
June 7, 2024 01:38 25s
Enable additional compiler optimizations for release builds Check Format #113: Commit 6df28c4 pushed by Dekker1
June 6, 2024 01:59 22s fix/release-opt
fix/release-opt
June 6, 2024 01:59 22s
Update pindakaas library Check Format #112: Commit 18847c9 pushed by Dekker1
June 5, 2024 03:56 19s develop
develop
June 5, 2024 03:56 19s
Update pindakaas library Check Format #111: Commit 18847c9 pushed by Dekker1
June 5, 2024 03:48 25s fix/shared_trail
fix/shared_trail
June 5, 2024 03:48 25s
Add reverse trailing capability Check Format #110: Commit 3d80c56 pushed by Dekker1
June 3, 2024 23:00 26s fix/shared_trail
fix/shared_trail
June 3, 2024 23:00 26s
remove return statement at the end Check Format #109: Commit 45f5ff3 pushed by AllenZzw
June 3, 2024 07:05 24s fix/shared_trail
fix/shared_trail
June 3, 2024 07:05 24s
allow backtracking to level 0 for a persistent literal Check Format #108: Commit 204ea50 pushed by AllenZzw
June 3, 2024 06:57 24s fix/shared_trail
fix/shared_trail
June 3, 2024 06:57 24s
fix set Boolean value in trail in set_bool_val Check Format #107: Commit 43eaed5 pushed by AllenZzw
June 3, 2024 04:06 23s fix/shared_trail
fix/shared_trail
June 3, 2024 04:06 23s
Add reverse trailing capability Check Format #106: Commit 2246ddd pushed by Dekker1
June 3, 2024 00:13 24s fix/shared_trail
fix/shared_trail
June 3, 2024 00:13 24s
Add reverse trailing capability Check Format #105: Commit 940cbd5 pushed by Dekker1
June 2, 2024 09:21 19s fix/shared_trail
fix/shared_trail
June 2, 2024 09:21 19s
Add reverse trailing capability Check Format #104: Commit 7adc97b pushed by Dekker1
June 2, 2024 09:08 21s fix/shared_trail
fix/shared_trail
June 2, 2024 09:08 21s
Disable chronological backtracking in CaDiCaL Check Format #103: Commit 7f22156 pushed by Dekker1
May 31, 2024 04:47 23s fix/shared_trail
fix/shared_trail
May 31, 2024 04:47 23s
Add int_pow propagator Check Format #102: Commit e23a091 pushed by Dekker1
May 31, 2024 01:56 26s feat/int_pow
feat/int_pow
May 31, 2024 01:56 26s
Add int_pow propagator Check Format #101: Commit 3053379 pushed by Dekker1
May 30, 2024 23:41 23s feat/int_pow
feat/int_pow
May 30, 2024 23:41 23s
Add int_pow propagator Check Format #100: Commit c322f5a pushed by Dekker1
May 30, 2024 04:53 23s feat/int_pow
feat/int_pow
May 30, 2024 04:53 23s
Fix off-by-one error in Model to Solver literal translation Check Format #99: Commit 27dd5a7 pushed by Dekker1
May 28, 2024 09:32 23s develop
develop
May 28, 2024 09:32 23s
Move array_int_element into modelling API Check Format #98: Commit c882268 pushed by Dekker1
May 28, 2024 00:11 26s develop
develop
May 28, 2024 00:11 26s
Move array_var_bool_element into modelling API Check Format #97: Commit 3ded049 pushed by Dekker1
May 27, 2024 10:02 22s develop
develop
May 27, 2024 10:02 22s
Change the trailing mechanism to be shared between all data types Check Format #96: Commit afd57a9 pushed by Dekker1
May 27, 2024 05:38 23s fix/shared_trail
fix/shared_trail
May 27, 2024 05:38 23s
Remove reason when literal can be globally propagated Check Format #95: Commit 42f3fdd pushed by Dekker1
May 27, 2024 05:06 22s develop
develop
May 27, 2024 05:06 22s
Remove reason when literal can be globally propagated Check Format #94: Commit 42f3fdd pushed by Dekker1
May 27, 2024 05:04 23s feat/conflict_subject_only
feat/conflict_subject_only
May 27, 2024 05:04 23s
Allow Conflict with empty reason when subject is present Check Format #93: Commit a6426ce pushed by Dekker1
May 27, 2024 05:01 29s feat/conflict_subject_only
feat/conflict_subject_only
May 27, 2024 05:01 29s
Change the trailing mechanism to be shared between all data types Check Format #92: Commit 8c4cbdd pushed by Dekker1
May 26, 2024 09:43 24s fix/shared_trail
fix/shared_trail
May 26, 2024 09:43 24s
Change the trailing mechanism to be shared between all data types Check Format #91: Commit 53c0a5e pushed by Dekker1
May 26, 2024 07:46 21s fix/shared_trail
fix/shared_trail
May 26, 2024 07:46 21s
ProTip! You can narrow down the results and go further in time using created:<2024-05-26 or the other filters available.