Skip to content

Actions: shnarazk/splr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
399 workflow runs
399 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Delete feature interleave Rust #2402: Commit a992ed8 pushed by shnarazk
December 14, 2024 00:30 40s just-dance-20241213
just-dance-20241213
December 14, 2024 00:30 40s
Use FxHashMap: src/cdb/binary.rs Rust #2401: Commit df09ded pushed by shnarazk
December 13, 2024 12:34 34s just-dance-20241213
just-dance-20241213
December 13, 2024 12:34 34s
deleted: src/cdb/watch_cache.rs Rust #2400: Commit f29093f pushed by shnarazk
December 13, 2024 12:12 38s just-dance-20241213
just-dance-20241213
December 13, 2024 12:12 38s
cargo clippy (1.83) Rust #2399: Commit 3e75248 pushed by shnarazk
December 13, 2024 11:46 30s just-dance-20241213
just-dance-20241213
December 13, 2024 11:46 30s
a snapshot Rust #2398: Commit ba6e9aa pushed by shnarazk
December 13, 2024 11:42 1m 3s 20241115-orthogonal-restart
20241115-orthogonal-restart
December 13, 2024 11:42 1m 3s
A snapshot Rust #2397: Commit de566a2 pushed by shnarazk
November 26, 2024 09:13 1m 11s 20241115-orthogonal-restart
20241115-orthogonal-restart
November 26, 2024 09:13 1m 11s
A more rational vibrator Rust #2396: Commit b447cd6 pushed by shnarazk
November 21, 2024 15:57 38s 20241115-orthogonal-restart
20241115-orthogonal-restart
November 21, 2024 15:57 38s
Fix most depressions! Rust #2395: Commit 6bcc4f9 pushed by shnarazk
November 17, 2024 14:17 34s 20241115-orthogonal-restart
20241115-orthogonal-restart
November 17, 2024 14:17 34s
Fix a critical bug on vivifier, and clean & tune up Rust #2394: Commit 731c630 pushed by shnarazk
November 17, 2024 03:59 39s 20241115-orthogonal-restart
20241115-orthogonal-restart
November 17, 2024 03:59 39s
snapshot Rust #2393: Commit d55e37c pushed by shnarazk
November 16, 2024 16:41 41s 20241115-orthogonal-restart
20241115-orthogonal-restart
November 16, 2024 16:41 41s
Change dynamics of var decay rate Rust #2392: Commit 7f7f7b1 pushed by shnarazk
November 15, 2024 06:26 42s 20240922-harmonic-reduction
20240922-harmonic-reduction
November 15, 2024 06:26 42s
Change the definition of clause entanglement Rust #2391: Commit efb037b pushed by shnarazk
November 14, 2024 16:12 43s 20240922-harmonic-reduction
20240922-harmonic-reduction
November 14, 2024 16:12 43s
modified: Cargo.lock Rust #2390: Commit 0a8280e pushed by shnarazk
November 7, 2024 14:44 51s 20240922-harmonic-reduction
20240922-harmonic-reduction
November 7, 2024 14:44 51s
Update toolchains Rust #2389: Commit b75c677 pushed by shnarazk
October 25, 2024 08:38 51s 20240922-harmonic-reduction
20240922-harmonic-reduction
October 25, 2024 08:38 51s
A snapshhot Rust #2388: Commit 162f41d pushed by shnarazk
October 4, 2024 10:40 38s 20240928-labor-pain
20240928-labor-pain
October 4, 2024 10:40 38s
fix a compile error Rust #2387: Commit 517efab pushed by shnarazk
October 2, 2024 09:52 50s 20240922-harmonic-reduction
20240922-harmonic-reduction
October 2, 2024 09:52 50s
modified: src/solver/search.rs Rust #2386: Commit c7b4fb3 pushed by shnarazk
October 2, 2024 03:50 29s 20240928-labor-pain
20240928-labor-pain
October 2, 2024 03:50 29s
modified: src/solver/conflict.rs Rust #2385: Commit c4c7adc pushed by shnarazk
October 2, 2024 03:49 21s 20240928-labor-pain
20240928-labor-pain
October 2, 2024 03:49 21s
modified: src/cdb/clause.rs Rust #2384: Commit e91e03d pushed by shnarazk
October 2, 2024 03:48 22s 20240928-labor-pain
20240928-labor-pain
October 2, 2024 03:48 22s
modified: src/cdb/vivify.rs Rust #2383: Commit 8dedc07 pushed by shnarazk
October 2, 2024 03:47 30s 20240928-labor-pain
20240928-labor-pain
October 2, 2024 03:47 30s