Skip to content

Actions: shnarazk/splr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
403 workflow runs
403 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rename FlagVar::CA_SEEN to CA_SEEN1 Rust #2311: Commit 80fcb19 pushed by shnarazk
July 28, 2024 00:45 39s 20240728-cherry-pick-from-cdg
20240728-cherry-pick-from-cdg
July 28, 2024 00:45 39s
cargo: update rust-verion; cargo update Rust #2310: Commit e0c2d78 pushed by shnarazk
July 28, 2024 00:41 38s 20240728-cherry-pick-from-cdg
20240728-cherry-pick-from-cdg
July 28, 2024 00:41 38s
Performance regression; need to restart from 'eureka' Rust #2309: Commit b998d93 pushed by shnarazk
July 28, 2024 00:19 36s 20240721-complete-depend-graph
20240721-complete-depend-graph
July 28, 2024 00:19 36s
The awkward loop was revised as a simple for Rust #2308: Commit 18695d6 pushed by shnarazk
July 24, 2024 09:46 38s 20240721-complete-depend-graph
20240721-complete-depend-graph
July 24, 2024 09:46 38s
cargo update Rust #2307: Commit bd722b0 pushed by shnarazk
July 23, 2024 23:12 53s 20240721-complete-depend-graph
20240721-complete-depend-graph
July 23, 2024 23:12 53s
Eureka: conflict-side-rewarding + just_used (non)reduction Rust #2306: Commit 24db0ec pushed by shnarazk
July 23, 2024 11:57 28s 20240721-complete-depend-graph
20240721-complete-depend-graph
July 23, 2024 11:57 28s
add some variables to conflict_analyze Rust #2305: Commit 1d5e324 pushed by shnarazk
July 22, 2024 11:06 54s 20240721-complete-depend-graph
20240721-complete-depend-graph
July 22, 2024 11:06 54s
modified: Cargo.toml Rust #2304: Commit b39c80f pushed by shnarazk
July 21, 2024 15:39 34s 20240721-complete-depend-graph
20240721-complete-depend-graph
July 21, 2024 15:39 34s
bump to 0.18.0-dev5 Rust #2303: Commit 05b87f2 pushed by shnarazk
July 21, 2024 12:32 43s 20240721-complete-depend-graph
20240721-complete-depend-graph
July 21, 2024 12:32 43s
Remove unused FlagClause::SANDBOX Rust #2302: Commit d35f97a pushed by shnarazk
July 21, 2024 11:34 34s dev-0.18.0
dev-0.18.0
July 21, 2024 11:34 34s
Remove AssignStack::propagate_sandbox Rust #2301: Commit 1a8e201 pushed by shnarazk
July 21, 2024 11:18 35s dev-0.18.0
dev-0.18.0
July 21, 2024 11:18 35s
Remove ClauseDB::new_clause_sandbox Rust #2300: Commit 72a7c59 pushed by shnarazk
July 21, 2024 10:29 35s dev-0.18.0
dev-0.18.0
July 21, 2024 10:29 35s
modified: Cargo.toml Rust #2299: Commit 206ad74 pushed by shnarazk
July 21, 2024 06:03 38s dev-0.18.0
dev-0.18.0
July 21, 2024 06:03 38s
Spin momentum (#254) Rust #2298: Commit dc0a0d8 pushed by shnarazk
July 21, 2024 05:50 34s dev-0.18.0
dev-0.18.0
July 21, 2024 05:50 34s
Remove a default feature 'deterministic', which is not in use now Rust #2297: Commit 2cbf629 pushed by shnarazk
July 20, 2024 17:58 33s dev-0.18.0
dev-0.18.0
July 20, 2024 17:58 33s
revise a comment Rust #2296: Commit 278beb0 pushed by shnarazk
July 20, 2024 17:46 36s dev-0.18.0
dev-0.18.0
July 20, 2024 17:46 36s
Fix errors on features on reduce (#255) Rust #2295: Commit 72f5d5d pushed by shnarazk
July 20, 2024 07:27 33s dev-0.18.0
dev-0.18.0
July 20, 2024 07:27 33s
A tiny change Rust #2294: Commit 94b8b1f pushed by shnarazk
July 20, 2024 04:46 36s 20240719-simplify-gc
20240719-simplify-gc
July 20, 2024 04:46 36s
src/solver/search.rs: more branches Rust #2293: Commit c5185df pushed by shnarazk
July 20, 2024 04:25 31s 20240719-simplify-gc
20240719-simplify-gc
July 20, 2024 04:25 31s
Delegate AssignStack::activity to Var::activity Rust #2292: Commit fd7b037 pushed by shnarazk
July 19, 2024 06:41 45s 20240716-spin
20240716-spin
July 19, 2024 06:41 45s
splw: a tiny change for fail safe Rust #2291: Commit 7b63fa1 pushed by shnarazk
July 18, 2024 06:38 43s 20240716-spin
20240716-spin
July 18, 2024 06:38 43s
splw: tiny refactoring Rust #2290: Commit 2d1590c pushed by shnarazk
July 17, 2024 08:31 41s 20240716-spin
20240716-spin
July 17, 2024 08:31 41s
Splw displays the development of spins Rust #2289: Commit f374542 pushed by shnarazk
July 16, 2024 23:24 41s 20240716-spin
20240716-spin
July 16, 2024 23:24 41s
more stuff Rust #2288: Commit 68922b6 pushed by shnarazk
July 16, 2024 13:47 38s 20240716-spin
20240716-spin
July 16, 2024 13:47 38s
Var has spin Rust #2287: Commit 69cc6e6 pushed by shnarazk
July 16, 2024 11:41 35s 20240716-spin
20240716-spin
July 16, 2024 11:41 35s