Skip to content

Actions: pindakaashq/pindakaas

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
152 workflow runs
152 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add temporary hidden method to set CaDiCaL options Rust #192: Commit f750e52 pushed by Dekker1
May 31, 2024 04:23 1m 49s develop
develop
May 31, 2024 04:23 1m 49s
Add temporary hidden method to set CaDiCaL options Rust #191: Pull request #56 opened by Dekker1
May 31, 2024 04:21 1m 31s Dekker1:feat/cadical_opt
Dekker1:feat/cadical_opt
May 31, 2024 04:21 1m 31s
Update IPASIR callback wrappers to use Box::leak instead of mem::forget Rust #190: Commit 420d429 pushed by Dekker1
May 23, 2024 09:32 1m 22s develop
develop
May 23, 2024 09:32 1m 22s
Update IPASIR callback wrappers to use Box::leak instead of mem::forget Rust #189: Pull request #55 opened by Dekker1
May 23, 2024 09:30 1m 36s Dekker1:fix/disappearing_callback
Dekker1:fix/disappearing_callback
May 23, 2024 09:30 1m 36s
Fix a problem where callbacks given to IPASIR solver where dropped early Rust #188: Commit 8fb3c6d pushed by Dekker1
May 23, 2024 07:43 1m 36s develop
develop
May 23, 2024 07:43 1m 36s
Fix a problem where callbacks given to IPASIR solver where dropped early Rust #187: Pull request #54 opened by Dekker1
May 23, 2024 07:39 1m 42s Dekker1:fix/disappearing_callback
Dekker1:fix/disappearing_callback
May 23, 2024 07:39 1m 42s
Add integer-based interface supporting SCM work Rust #186: Pull request #53 synchronize by hbierlee
May 16, 2024 04:49 3m 57s feature/refactor-linear-encoding
feature/refactor-linear-encoding
May 16, 2024 04:49 3m 57s
Add integer-based interface supporting SCM work Rust #185: Pull request #53 synchronize by hbierlee
May 16, 2024 02:04 2m 18s feature/refactor-linear-encoding
feature/refactor-linear-encoding
May 16, 2024 02:04 2m 18s
Add integer-based interface supporting SCM work Rust #184: Pull request #53 synchronize by hbierlee
May 16, 2024 02:03 5m 52s feature/refactor-linear-encoding
feature/refactor-linear-encoding
May 16, 2024 02:03 5m 52s
Add integer-based interface supporting SCM work Rust #183: Pull request #53 synchronize by hbierlee
May 16, 2024 02:01 2m 9s feature/refactor-linear-encoding
feature/refactor-linear-encoding
May 16, 2024 02:01 2m 9s
Add integer-based interface supporting SCM work Rust #182: Pull request #53 synchronize by hbierlee
May 16, 2024 01:51 2m 19s feature/refactor-linear-encoding
feature/refactor-linear-encoding
May 16, 2024 01:51 2m 19s
Add integer-based interface supporting SCM work Rust #181: Pull request #53 synchronize by hbierlee
May 15, 2024 06:53 2m 27s feature/refactor-linear-encoding
feature/refactor-linear-encoding
May 15, 2024 06:53 2m 27s
Add integer-based interface supporting SCM work Rust #180: Pull request #53 opened by hbierlee
May 15, 2024 06:35 1m 28s feature/refactor-linear-encoding
feature/refactor-linear-encoding
May 15, 2024 06:35 1m 28s
Implement Debug for types Rust #179: Commit e7087d6 pushed by Dekker1
May 8, 2024 08:08 1m 43s develop
develop
May 8, 2024 08:08 1m 43s
Implement Debug for types Rust #178: Pull request #52 opened by Dekker1
May 8, 2024 07:25 1m 47s Dekker1:fix/fmt_debug
Dekker1:fix/fmt_debug
May 8, 2024 07:25 1m 47s
Add public new method to ConditionalDatabase Rust #177: Commit d5c43e1 pushed by Dekker1
May 6, 2024 11:15 1m 30s develop
develop
May 6, 2024 11:15 1m 30s
Add public new method to ConditionalDatabase Rust #176: Pull request #51 opened by Dekker1
May 6, 2024 11:08 1m 26s Dekker1:fix/cond_db
Dekker1:fix/cond_db
May 6, 2024 11:08 1m 26s
Fix clippy warnings in tests Rust #175: Commit 3a97525 pushed by Dekker1
May 6, 2024 06:33 1m 54s develop
develop
May 6, 2024 06:33 1m 54s
Initial Propositional Logic implementation Rust #174: Pull request #50 synchronize by Dekker1
May 6, 2024 06:28 1m 39s Dekker1:feat/prop_logic
Dekker1:feat/prop_logic
May 6, 2024 06:28 1m 39s
Initial Propositional Logic implementation Rust #173: Pull request #50 opened by Dekker1
May 3, 2024 06:23 1m 58s Dekker1:feat/prop_logic
Dekker1:feat/prop_logic
May 3, 2024 06:23 1m 58s
IPASIR-UP: Use literals in the notify_assignment callback Rust #172: Commit 03599e7 pushed by Dekker1
April 30, 2024 03:52 1m 18s develop
develop
April 30, 2024 03:52 1m 18s
IPASIR-UP: Use literals in the notify_assignment callback Rust #171: Pull request #49 opened by Dekker1
April 30, 2024 03:51 1m 18s Dekker1:fix/notify_lit
Dekker1:fix/notify_lit
April 30, 2024 03:51 1m 18s
Fix invalid coercion Rust #170: Commit 9941431 pushed by Dekker1
April 26, 2024 10:02 1m 20s develop
develop
April 26, 2024 10:02 1m 20s
Fix invalid coercion Rust #169: Pull request #48 opened by Dekker1
April 26, 2024 09:59 1m 27s Dekker1:fix/segfault
Dekker1:fix/segfault
April 26, 2024 09:59 1m 27s
Give SolverActions access when calling check_model and add_external_c… Rust #168: Commit 32391a3 pushed by Dekker1
April 26, 2024 05:42 1m 42s develop
develop
April 26, 2024 05:42 1m 42s