Skip to content

Actions: shnarazk/splr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
436 workflow runs
436 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump version to 0.18.0-dev1 Rust #2445: Commit 91072cc pushed by shnarazk
January 28, 2025 12:16 36s 20250128-lit-as-var-ref
20250128-lit-as-var-ref
January 28, 2025 12:16 36s
Bump version to 0.17.5 Rust #2444: Commit d47f3b9 pushed by shnarazk
January 28, 2025 12:00 35s Splr-0.17.5
Splr-0.17.5
January 28, 2025 12:00 35s
Bump version to 0.17.5 Rust #2443: Commit d47f3b9 pushed by shnarazk
January 28, 2025 11:59 38s release-0.17.4
release-0.17.4
January 28, 2025 11:59 38s
Fix f64 ordering (401fa3c) Rust #2442: Commit ed00f06 pushed by shnarazk
January 28, 2025 11:58 31s release-0.17.4
release-0.17.4
January 28, 2025 11:58 31s
Fix f64 ordering (401fa3c) Rust #2441: Commit 82e0555 pushed by shnarazk
January 28, 2025 11:56 37s dev-0.18.0-20250128
dev-0.18.0-20250128
January 28, 2025 11:56 37s
Rust Rust #2440: by shnarazk
January 28, 2025 11:35 35s Splr-0.18.0-dev0
Splr-0.18.0-dev0
January 28, 2025 11:35 35s
Rust Rust #2439: by shnarazk
January 28, 2025 11:31 24s Splr-0.18.0-dev0
Splr-0.18.0-dev0
January 28, 2025 11:31 24s
Bump version to 0.18.0-dev0 Rust #2438: Commit 37eba6e pushed by shnarazk
January 28, 2025 11:22 44s Splr-0.18.0-dev0
Splr-0.18.0-dev0
January 28, 2025 11:22 44s
Bump version to 0.18.0-dev0 Rust #2437: Commit 37eba6e pushed by shnarazk
January 28, 2025 11:22 47s dev-0.18.0-20250128
dev-0.18.0-20250128
January 28, 2025 11:22 47s
modified: flake.nix Rust #2436: Commit 60fe464 pushed by shnarazk
January 28, 2025 11:03 41s main
main
January 28, 2025 11:03 41s
Dev 0.17.4 (#282) Rust #2435: Commit 59c0c1c pushed by shnarazk
January 28, 2025 10:56 35s Splr-0.17.4
Splr-0.17.4
January 28, 2025 10:56 35s
Dev 0.17.4 (#282) Rust #2434: Commit 59c0c1c pushed by shnarazk
January 28, 2025 10:43 37s main
main
January 28, 2025 10:43 37s
Update toolchain Rust #2433: Commit 4d2de19 pushed by shnarazk
January 28, 2025 10:40 43s dev-0.17.4
dev-0.17.4
January 28, 2025 10:40 43s
modified: ChangeLog.md Rust #2432: Commit e62762c pushed by shnarazk
January 28, 2025 10:36 35s dev-0.17.4
dev-0.17.4
January 28, 2025 10:36 35s
Bump version to 0.17.4 Rust #2431: Commit eab5367 pushed by shnarazk
January 28, 2025 08:29 49s dev-0.17.4
dev-0.17.4
January 28, 2025 08:29 49s
Fix bug: dead clauses were not recycled Rust #2430: Commit 559b352 pushed by shnarazk
January 28, 2025 08:27 34s dev-0.17.4
dev-0.17.4
January 28, 2025 08:27 34s
modified: Cargo.lock Rust #2429: Commit 5d21627 pushed by shnarazk
January 28, 2025 08:19 31s dev-0.17.4
dev-0.17.4
January 28, 2025 08:19 31s
Move AssignStack::reason_saved to Var Rust #2428: Commit 9752d10 pushed by shnarazk
January 28, 2025 03:29 29s dev-0.17.4
dev-0.17.4
January 28, 2025 03:29 29s
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