Skip to content

Actions: shnarazk/splr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
494 workflow runs
494 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

sat-bench -B 4553 Rust #2353: Commit 126322e pushed by shnarazk
September 10, 2024 14:49 44s 20240803-count-conflicts
20240803-count-conflicts
September 10, 2024 14:49 44s
cargo update; cargo clippy (1.81) Rust #2352: Commit 3a0c297 pushed by shnarazk
September 6, 2024 00:44 37s 20240803-count-conflicts
20240803-count-conflicts
September 6, 2024 00:44 37s
sat-bench -B => 4903 Rust #2351: Commit 65a7fdc pushed by shnarazk
September 4, 2024 10:48 32s 20240803-count-conflicts
20240803-count-conflicts
September 4, 2024 10:48 32s
parameter tuning; cargo update Rust #2350: Commit 79bf6e2 pushed by shnarazk
September 2, 2024 14:51 41s 20240803-count-conflicts
20240803-count-conflicts
September 2, 2024 14:51 41s
Use a sigmoid function for reward annealing Rust #2349: Commit d62005c pushed by shnarazk
September 1, 2024 15:52 38s 20240803-count-conflicts
20240803-count-conflicts
September 1, 2024 15:52 38s
tiny changes Rust #2348: Commit 835f5f3 pushed by shnarazk
August 31, 2024 02:54 43s 20240803-count-conflicts
20240803-count-conflicts
August 31, 2024 02:54 43s
modified: Cargo.lock Rust #2347: Commit 541c109 pushed by shnarazk
August 30, 2024 15:30 47s 20240803-count-conflicts
20240803-count-conflicts
August 30, 2024 15:30 47s
cargo update Rust #2346: Commit 7dcd28e pushed by shnarazk
August 24, 2024 03:23 38s 20240803-count-conflicts
20240803-count-conflicts
August 24, 2024 03:23 38s
A snapshot (slightly better) Rust #2345: Commit feceb44 pushed by shnarazk
August 17, 2024 17:11 42s 20240803-count-conflicts
20240803-count-conflicts
August 17, 2024 17:11 42s
A new segment/cycle/stage model Rust #2344: Commit 2f5f86c pushed by shnarazk
August 17, 2024 00:10 38s 20240803-count-conflicts
20240803-count-conflicts
August 17, 2024 00:10 38s
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