Skip to content

Actions: shnarazk/splr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
409 workflow runs
409 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

flake depends on SAT-bench Rust #2343: Commit 8de8662 pushed by shnarazk
August 16, 2024 15:40 36s 20240803-count-conflicts
20240803-count-conflicts
August 16, 2024 15:40 36s
a snapshot Rust #2342: Commit 3524350 pushed by shnarazk
August 16, 2024 15:13 37s 20240803-count-conflicts
20240803-count-conflicts
August 16, 2024 15:13 37s
seems to get nice cores Rust #2341: Commit 94e6a80 pushed by shnarazk
August 14, 2024 19:05 48s 20240803-count-conflicts
20240803-count-conflicts
August 14, 2024 19:05 48s
(stage) tweak parameters in current_span Rust #2340: Commit dc2af71 pushed by shnarazk
August 14, 2024 03:24 45s 20240803-count-conflicts
20240803-count-conflicts
August 14, 2024 03:24 45s
modified: src/bin/splw.rs Rust #2339: Commit 3125d61 pushed by shnarazk
August 14, 2024 02:27 46s 20240803-count-conflicts
20240803-count-conflicts
August 14, 2024 02:27 46s
cargo clippy Rust #2338: Commit 6c7b34f pushed by shnarazk
August 14, 2024 02:12 45s 20240803-count-conflicts
20240803-count-conflicts
August 14, 2024 02:12 45s
(splw) tiny change Rust #2337: Commit 891a457 pushed by shnarazk
August 13, 2024 09:30 49s 20240803-count-conflicts
20240803-count-conflicts
August 13, 2024 09:30 49s
(splw) better visualization of cpr Rust #2336: Commit 3412180 pushed by shnarazk
August 12, 2024 23:44 48s 20240803-count-conflicts
20240803-count-conflicts
August 12, 2024 23:44 48s
(splw) tiny change Rust #2335: Commit 537cc2d pushed by shnarazk
August 12, 2024 23:02 40s 20240803-count-conflicts
20240803-count-conflicts
August 12, 2024 23:02 40s
(splw) tiny changes on UI Rust #2334: Commit 59df80a pushed by shnarazk
August 12, 2024 14:32 51s 20240803-count-conflicts
20240803-count-conflicts
August 12, 2024 14:32 51s
(splw) tiny changes on UI Rust #2333: Commit be6ddf7 pushed by shnarazk
August 12, 2024 14:29 48s 20240803-count-conflicts
20240803-count-conflicts
August 12, 2024 14:29 48s
(splw) add Restart gap viewer Rust #2332: Commit 0b1cb9e pushed by shnarazk
August 12, 2024 13:49 1m 35s 20240803-count-conflicts
20240803-count-conflicts
August 12, 2024 13:49 1m 35s
(splw) better modularity; prepare for drawing restart parameters Rust #2331: Commit 879600c pushed by shnarazk
August 12, 2024 09:27 46s 20240803-count-conflicts
20240803-count-conflicts
August 12, 2024 09:27 46s
cargo update Rust #2330: Commit ba9b7a5 pushed by shnarazk
August 11, 2024 23:28 44s 20240803-count-conflicts
20240803-count-conflicts
August 11, 2024 23:28 44s
tiny parameter tuning Rust #2329: Commit 718604e pushed by shnarazk
August 11, 2024 15:34 40s 20240803-count-conflicts
20240803-count-conflicts
August 11, 2024 15:34 40s
Better harmonization of stage and restart Rust #2328: Commit 0cb630b pushed by shnarazk
August 11, 2024 10:36 41s 20240803-count-conflicts
20240803-count-conflicts
August 11, 2024 10:36 41s
(just_used) rewarding to implication clauses in sandbox conflicts Rust #2327: Commit 466ff01 pushed by shnarazk
August 9, 2024 17:49 57s 20240803-count-conflicts
20240803-count-conflicts
August 9, 2024 17:49 57s
Rewrite propagate (#260) Rust #2326: Commit 360be5a pushed by shnarazk
August 8, 2024 05:28 34s dev-0.18.0
dev-0.18.0
August 8, 2024 05:28 34s
(propagate) tiny changes Rust #2325: Commit 9ef07f3 pushed by shnarazk
August 8, 2024 05:24 37s 20240805-last-free-lit-handling-in-propagate
20240805-last-free-lit-handling-in-propagate
August 8, 2024 05:24 37s
cargo clippy Rust #2324: Commit 8be3b42 pushed by shnarazk
August 7, 2024 18:44 40s 20240805-last-free-lit-handling-in-propagate
20240805-last-free-lit-handling-in-propagate
August 7, 2024 18:44 40s
cargo update Rust #2323: Commit df4dbff pushed by shnarazk
August 7, 2024 18:42 37s 20240805-last-free-lit-handling-in-propagate
20240805-last-free-lit-handling-in-propagate
August 7, 2024 18:42 37s
Simplify restarter again Rust #2322: Commit 354cab4 pushed by shnarazk
August 2, 2024 10:53 36s dev-0.18.0
dev-0.18.0
August 2, 2024 10:53 36s
modified: src/solver/restart.rs Rust #2321: Commit 73f4811 pushed by shnarazk
August 1, 2024 12:18 36s dev-0.18.0
dev-0.18.0
August 1, 2024 12:18 36s
modify src/solver/restart.rs (this will be used in 0.18.0) Rust #2320: Commit 45fbd21 pushed by shnarazk
August 1, 2024 11:10 39s dev-0.18.0
dev-0.18.0
August 1, 2024 11:10 39s
Switch to reason-side var and clause rewarding Rust #2319: Commit 6331a94 pushed by shnarazk
July 31, 2024 14:13 39s dev-0.18.0
dev-0.18.0
July 31, 2024 14:13 39s