Skip to content

Actions: shnarazk/splr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
493 workflow runs
493 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move AssignStack::reason to Var Rust #2427: Commit cd237b9 pushed by shnarazk
January 27, 2025 23:50 43s dev-0.17.4
dev-0.17.4
January 27, 2025 23:50 43s
Move AssignStack::level to Var Rust #2426: Commit 6d7a37c pushed by shnarazk
January 27, 2025 23:22 30s dev-0.17.4
dev-0.17.4
January 27, 2025 23:22 30s
Pull back ClauseDBIF to cdb/mod.rs Rust #2425: Commit 896a3f0 pushed by shnarazk
January 27, 2025 14:12 32s dev-0.17.4
dev-0.17.4
January 27, 2025 14:12 32s
Move ClauseIF to clause.rs; ClauseDB and ClauseDBIF to db.rs Rust #2424: Commit b8e5e8d pushed by shnarazk
January 27, 2025 12:36 49s dev-0.17.4
dev-0.17.4
January 27, 2025 12:36 49s
try parallelism Rust #2423: Commit 281dd03 pushed by shnarazk
January 27, 2025 08:37 21s 20240125-rayon
20240125-rayon
January 27, 2025 08:37 21s
Rename feature 'no_clause_elimination' to 'clause_elimination' Rust #2422: Commit 588ceaa pushed by shnarazk
January 26, 2025 23:48 32s dev-0.17.4
dev-0.17.4
January 26, 2025 23:48 32s
modified: flake.lock Rust #2421: Commit 7b257c2 pushed by shnarazk
January 26, 2025 13:46 30s dev-0.17.4
dev-0.17.4
January 26, 2025 13:46 30s
cargo clippy Rust #2420: Commit c17872f pushed by shnarazk
January 26, 2025 13:31 41s dev-0.17.4
dev-0.17.4
January 26, 2025 13:31 41s
Use freelist; clean up Rust #2419: Commit f6d8fa9 pushed by shnarazk
January 26, 2025 11:18 34s 20250112-lit-to-clause
20250112-lit-to-clause
January 26, 2025 11:18 34s
A sequential, not good but working snapshot Rust #2418: Commit 401fa3c pushed by shnarazk
January 25, 2025 03:16 1m 0s 20250112-lit-to-clause
20250112-lit-to-clause
January 25, 2025 03:16 1m 0s
Remove cdb/watch_cache Rust #2417: Commit 15df3ac pushed by shnarazk
January 12, 2025 05:20 20s 20250112-lit-to-clause
20250112-lit-to-clause
January 12, 2025 05:20 20s
cargo test Rust #2416: Commit 92e70ae pushed by shnarazk
January 12, 2025 05:05 39s dev-0.19
dev-0.19
January 12, 2025 05:05 39s
add Clause::watches Rust #2415: Commit 07efd88 pushed by shnarazk
January 12, 2025 05:05 39s 20250112-lit-to-clause
20250112-lit-to-clause
January 12, 2025 05:05 39s
add Clause::watches Rust #2414: Commit 07efd88 pushed by shnarazk
January 12, 2025 05:04 39s dev-0.19
dev-0.19
January 12, 2025 05:04 39s
cargo test Rust #2413: Commit 92e70ae pushed by shnarazk
January 11, 2025 17:35 35s dev-0.19
dev-0.19
January 11, 2025 17:35 35s
Move Clause, ClauseId and ClauseDB to appropriate files Rust #2412: Commit d8f6e8c pushed by shnarazk
January 11, 2025 17:29 39s dev-0.19
dev-0.19
January 11, 2025 17:29 39s
modified: flake.nix Rust #2411: Commit f488e5d pushed by shnarazk
January 11, 2025 06:29 36s dev-0.19
dev-0.19
January 11, 2025 06:29 36s
Bump version to 0.19-dev0 Rust #2410: Commit 512a6b0 pushed by shnarazk
January 11, 2025 06:26 39s dev-0.19
dev-0.19
January 11, 2025 06:26 39s
cargo clippy (1.84) Rust #2409: Commit 04bf8be pushed by shnarazk
January 11, 2025 06:25 40s dev-0.19
dev-0.19
January 11, 2025 06:25 40s
a snapshot after some simplification Rust #2408: Commit 617d847 pushed by shnarazk
January 11, 2025 06:13 40s 20240922-harmonic-reduction
20240922-harmonic-reduction
January 11, 2025 06:13 40s
cargo clippy (1.84) Rust #2407: Commit a057b58 pushed by shnarazk
January 10, 2025 05:40 43s 20240922-harmonic-reduction
20240922-harmonic-reduction
January 10, 2025 05:40 43s
Update toolchains Rust #2406: Commit 925ad2f pushed by shnarazk
December 14, 2024 00:38 30s just-dance-20241213
just-dance-20241213
December 14, 2024 00:38 30s
Simplify code requiring some features Rust #2405: Commit 8811f90 pushed by shnarazk
December 14, 2024 00:38 28s just-dance-20241213
just-dance-20241213
December 14, 2024 00:38 28s
Simplify code requiring some features Rust #2404: Commit 455828f pushed by shnarazk
December 14, 2024 00:37 38s just-dance-20241213
just-dance-20241213
December 14, 2024 00:37 38s
Simplify code requiring some features Rust #2403: Commit e34127e pushed by shnarazk
December 14, 2024 00:32 37s just-dance-20241213
just-dance-20241213
December 14, 2024 00:32 37s