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

Define Eq for Var and Clause based on reference equivalency Rust #2502: Commit 47822be pushed by shnarazk
February 11, 2025 11:34 44s 20250210-optimization
20250210-optimization
February 11, 2025 11:34 44s
Fix errors under non trail-saving settings Rust #2501: Commit 02f1d65 pushed by shnarazk
February 10, 2025 12:51 48s 20250210-optimization
20250210-optimization
February 10, 2025 12:51 48s
A snapshot Rust #2500: Commit 5cc833b pushed by shnarazk
February 10, 2025 07:19 37s 20250209-bounded-var-refs
20250209-bounded-var-refs
February 10, 2025 07:19 37s
new file: src/types/bsvr.rs Rust #2499: Commit bcf2da7 pushed by shnarazk
February 9, 2025 06:41 42s 20250209-bounded-var-refs
20250209-bounded-var-refs
February 9, 2025 06:41 42s
Remove log option Rust #2498: Commit 7df2938 pushed by shnarazk
February 9, 2025 06:10 41s dev-0.18.0-20250128
dev-0.18.0-20250128
February 9, 2025 06:10 41s
Use rustc_data_structures::fx::FxHashSet Rust #2497: Commit 257de87 pushed by shnarazk
February 9, 2025 01:24 40s dev-0.18.0-20250128
dev-0.18.0-20250128
February 9, 2025 01:24 40s
Bump version to 0.18.0-dev4 Rust #2496: Commit 678073c pushed by shnarazk
February 8, 2025 16:50 25s dev-0.18.0-20250128
dev-0.18.0-20250128
February 8, 2025 16:50 25s
pub static mut VAR_ACTIVITY_MANAGER: VarActivityManager (#290) Rust #2495: Commit 0705c8d pushed by shnarazk
February 8, 2025 16:40 25s dev-0.18.0-20250128
dev-0.18.0-20250128
February 8, 2025 16:40 25s
Clean up Rust #2494: Commit c2e8b80 pushed by shnarazk
February 8, 2025 16:31 27s 20250206-static-mut-vam
20250206-static-mut-vam
February 8, 2025 16:31 27s
cargo test Rust #2493: Commit aea5c00 pushed by shnarazk
February 8, 2025 12:45 25s 20250206-static-mut-vam
20250206-static-mut-vam
February 8, 2025 12:45 25s
ditto and fix a bug Rust #2492: Commit 5fab2c0 pushed by shnarazk
February 8, 2025 12:41 46s 20250206-static-mut-vam
20250206-static-mut-vam
February 8, 2025 12:41 46s
Plug a conversion miss; rename a function Rust #2491: Commit 3bc95b4 pushed by shnarazk
February 8, 2025 06:22 45s 20250206-static-mut-vam
20250206-static-mut-vam
February 8, 2025 06:22 45s
Reorganize visibilities Rust #2490: Commit 4db2c1a pushed by shnarazk
February 8, 2025 05:41 1m 29s 20250206-static-mut-vam
20250206-static-mut-vam
February 8, 2025 05:41 1m 29s
Refactor traits on ClauseDB visibility Rust #2489: Commit 48ee1eb pushed by shnarazk
February 8, 2025 00:52 25s 20250206-static-mut-vam
20250206-static-mut-vam
February 8, 2025 00:52 25s
Remove all '&impl's and '&mut impl's Rust #2488: Commit 1abb88b pushed by shnarazk
February 7, 2025 13:00 28s 20250206-static-mut-vam
20250206-static-mut-vam
February 7, 2025 13:00 28s
Refactor the trait on ClauseDB Rust #2487: Commit de73d33 pushed by shnarazk
February 7, 2025 11:58 29s 20250206-static-mut-vam
20250206-static-mut-vam
February 7, 2025 11:58 29s
tiny changes Rust #2486: Commit 57ebd09 pushed by shnarazk
February 7, 2025 09:35 30s 20250206-static-mut-vam
20250206-static-mut-vam
February 7, 2025 09:35 30s
Rename *::initialize to instantiate Rust #2485: Commit 54b482e pushed by shnarazk
February 7, 2025 08:28 26s 20250206-static-mut-vam
20250206-static-mut-vam
February 7, 2025 08:28 26s
cargo test Rust #2484: Commit 5e06682 pushed by shnarazk
February 7, 2025 08:07 29s 20250206-static-mut-vam
20250206-static-mut-vam
February 7, 2025 08:07 29s
Add/rename public functions on VarRef about literal assignment Rust #2483: Commit fe7ebf3 pushed by shnarazk
February 7, 2025 08:04 28s 20250206-static-mut-vam
20250206-static-mut-vam
February 7, 2025 08:04 28s
Remove feature EVSIDS Rust #2482: Commit eb960db pushed by shnarazk
February 7, 2025 00:43 46s 20250206-static-mut-vam
20250206-static-mut-vam
February 7, 2025 00:43 46s
Remove AssignIF from AssignStack Rust #2481: Commit 8f16931 pushed by shnarazk
February 6, 2025 22:41 12s 20250206-static-mut-vam
20250206-static-mut-vam
February 6, 2025 22:41 12s
Switch from AssignStack::var_order to vam::VAR_HEAP Rust #2480: Commit def81d7 pushed by shnarazk
February 6, 2025 13:56 28s 20250206-static-mut-vam
20250206-static-mut-vam
February 6, 2025 13:56 28s
modified: src/vam.rs Rust #2479: Commit 74bb1d6 pushed by shnarazk
February 6, 2025 12:53 27s 20250206-static-mut-vam
20250206-static-mut-vam
February 6, 2025 12:53 27s
Rename Var::reward to activity Rust #2478: Commit 3a01173 pushed by shnarazk
February 6, 2025 11:02 28s 20250206-static-mut-vam
20250206-static-mut-vam
February 6, 2025 11:02 28s