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

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
Var has spin Rust #2286: Commit d7a2ce2 pushed by shnarazk
July 16, 2024 11:31 28s 20240716-spin
20240716-spin
July 16, 2024 11:31 28s
Bump version to dev3-spin Rust #2285: Commit 2d847af pushed by shnarazk
July 16, 2024 10:46 36s 20240716-spin
20240716-spin
July 16, 2024 10:46 36s
Bump version to dev3-spin Rust #2284: Commit 2d847af pushed by shnarazk
July 16, 2024 10:45 34s spin-20240716
spin-20240716
July 16, 2024 10:45 34s
WatchLiteralIndex dancing weaves (#251) Rust #2283: Commit 6875911 pushed by shnarazk
July 16, 2024 08:46 45s dev-0.18.0
dev-0.18.0
July 16, 2024 08:46 45s
bump version to 0.18.0-dev3 Rust #2282: Commit 508a144 pushed by shnarazk
July 15, 2024 23:36 36s 20240705-WatchLiteralIndexDancingWeaver
20240705-WatchLiteralIndexDancingWeaver
July 15, 2024 23:36 36s
modified: Cargo.lock Rust #2281: Commit 1730124 pushed by shnarazk
July 15, 2024 23:35 34s 20240705-WatchLiteralIndexDancingWeaver
20240705-WatchLiteralIndexDancingWeaver
July 15, 2024 23:35 34s
20240714 delete biclause loop (#253) Rust #2280: Commit 52559c4 pushed by shnarazk
July 15, 2024 23:34 37s 20240705-WatchLiteralIndexDancingWeaver
20240705-WatchLiteralIndexDancingWeaver
July 15, 2024 23:34 37s
20240714 delete biclause loop (#253) Rust #2279: Commit 0a91aef pushed by shnarazk
July 15, 2024 23:22 36s 20240705-WatchLiteralIndexDancingWeaver
20240705-WatchLiteralIndexDancingWeaver
July 15, 2024 23:22 36s
(propagate, propagate_sandbox) aethetic tweaks Rust #2278: Commit 99eac07 pushed by shnarazk
July 15, 2024 08:00 1m 8s 20240714-delete-biclause-loop
20240714-delete-biclause-loop
July 15, 2024 08:00 1m 8s
Fix the ondition to invoke minimize_with_bi_clauses Rust #2277: Commit 49b8a52 pushed by shnarazk
July 15, 2024 07:54 36s 20240714-delete-biclause-loop
20240714-delete-biclause-loop
July 15, 2024 07:54 36s
(src/bin/splw.rs) add var activity moving history Rust #2276: Commit abdd558 pushed by shnarazk
July 15, 2024 07:24 35s 20240714-delete-biclause-loop
20240714-delete-biclause-loop
July 15, 2024 07:24 35s
call minimize_with_bi_clauses without checking clause size Rust #2275: Commit 1b12907 pushed by shnarazk
July 15, 2024 06:30 35s 20240714-delete-biclause-loop
20240714-delete-biclause-loop
July 15, 2024 06:30 35s
revert the condition to call minimize_with_bi_clauses Rust #2274: Commit 6f71b6d pushed by shnarazk
July 14, 2024 10:48 36s 20240714-delete-biclause-loop
20240714-delete-biclause-loop
July 14, 2024 10:48 36s
Delete biclause loop; various optimizations guided by profiler Rust #2273: Commit ca16366 pushed by shnarazk
July 14, 2024 09:00 43s 20240714-delete-biclause-loop
20240714-delete-biclause-loop
July 14, 2024 09:00 43s
Weavers select push-head or push-tail automatically based on c.len() Rust #2272: Commit 66a833f pushed by shnarazk
July 12, 2024 08:53 31s 20240705-WatchLiteralIndexDancingWeaver
20240705-WatchLiteralIndexDancingWeaver
July 12, 2024 08:53 31s
AssignReason::Implication takes WatchLiteralIndex; drop `FlagClau… Rust #2271: Commit 51eb052 pushed by shnarazk
July 12, 2024 06:51 39s 20240705-WatchLiteralIndexDancingWeaver
20240705-WatchLiteralIndexDancingWeaver
July 12, 2024 06:51 39s
Remove FlagClause::DEAD Rust #2270: Commit 330e585 pushed by shnarazk
July 12, 2024 05:26 43s 20240705-WatchLiteralIndexDancingWeaver
20240705-WatchLiteralIndexDancingWeaver
July 12, 2024 05:26 43s
Rename Clause::links to link Rust #2269: Commit 340691d pushed by shnarazk
July 12, 2024 05:05 48s 20240705-WatchLiteralIndexDancingWeaver
20240705-WatchLiteralIndexDancingWeaver
July 12, 2024 05:05 48s