Skip to content

Actions: shnarazk/splr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
405 workflow runs
405 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Fix inconsistencies on entanglement and FlagClause::FORWD_LINK Rust #2382: Commit c1eccd8 pushed by shnarazk
September 28, 2024 03:26 23s 20240922-harmonic-reduction
20240922-harmonic-reduction
September 28, 2024 03:26 23s
vivify: limit by the number of literals instead of clauses Rust #2381: Commit b963024 pushed by shnarazk
September 28, 2024 03:19 44s 20240922-harmonic-reduction
20240922-harmonic-reduction
September 28, 2024 03:19 44s
A tiny change Rust #2380: Commit d8be873 pushed by shnarazk
September 26, 2024 00:50 47s 20240922-harmonic-reduction
20240922-harmonic-reduction
September 26, 2024 00:50 47s
ditto Rust #2379: Commit d7f4c59 pushed by shnarazk
September 26, 2024 00:13 48s 20240922-harmonic-reduction
20240922-harmonic-reduction
September 26, 2024 00:13 48s
Reflect the current status on stat variables before displaying Rust #2378: Commit 7e724df pushed by shnarazk
September 23, 2024 09:56 35s 20240922-harmonic-reduction
20240922-harmonic-reduction
September 23, 2024 09:56 35s
Reflect the current status on stats variables before displaying Rust #2377: Commit a304e94 pushed by shnarazk
September 23, 2024 09:55 36s 20240922-harmonic-reduction
20240922-harmonic-reduction
September 23, 2024 09:55 36s
Remove Ewa, Implement some missing functions Rust #2376: Commit ad2e7af pushed by shnarazk
September 22, 2024 22:04 46s 20240922-harmonic-reduction
20240922-harmonic-reduction
September 22, 2024 22:04 46s
Skip LBD calculation if clauses are good enough Rust #2375: Commit 8525b77 pushed by shnarazk
September 21, 2024 18:07 46s 20240922-harmonic-reduction
20240922-harmonic-reduction
September 21, 2024 18:07 46s
Add StageManager::segment_progress_ratio Rust #2374: Commit 50603c1 pushed by shnarazk
September 21, 2024 18:04 53s 20240922-harmonic-reduction
20240922-harmonic-reduction
September 21, 2024 18:04 53s
Initialize Clause::{rank|rank_old} correctly Rust #2373: Commit 5ebd423 pushed by shnarazk
September 21, 2024 18:03 42s 20240922-harmonic-reduction
20240922-harmonic-reduction
September 21, 2024 18:03 42s
SAT-bench -B 2971 Rust #2372: Commit a9744ff pushed by shnarazk
September 20, 2024 07:02 51s 20240916-vibrated-reduction
20240916-vibrated-reduction
September 20, 2024 07:02 51s
add comment Rust #2371: Commit 84f0ce2 pushed by shnarazk
September 19, 2024 23:58 34s 20240916-vibrated-reduction
20240916-vibrated-reduction
September 19, 2024 23:58 34s
modified: ChangeLog.md Rust #2370: Commit c015412 pushed by shnarazk
September 19, 2024 23:09 32s 20240916-vibrated-reduction
20240916-vibrated-reduction
September 19, 2024 23:09 32s
clean up Rust #2369: Commit 79ff82a pushed by shnarazk
September 19, 2024 22:51 35s 20240916-vibrated-reduction
20240916-vibrated-reduction
September 19, 2024 22:51 35s
modified: ChangeLog.md Rust #2368: Commit 2a733a3 pushed by shnarazk
September 19, 2024 00:55 48s 20240916-vibrated-reduction
20240916-vibrated-reduction
September 19, 2024 00:55 48s
cargo update Rust #2367: Commit 65edaf1 pushed by shnarazk
September 19, 2024 00:19 37s 20240916-vibrated-reduction
20240916-vibrated-reduction
September 19, 2024 00:19 37s
Give initial values to ClauseDB::{lbd, lb_entanglement} Rust #2366: Commit 00c256c pushed by shnarazk
September 19, 2024 00:08 42s 20240916-vibrated-reduction
20240916-vibrated-reduction
September 19, 2024 00:08 42s
cargo update Rust #2365: Commit 4db4f6c pushed by shnarazk
September 18, 2024 23:15 37s 20240916-vibrated-reduction
20240916-vibrated-reduction
September 18, 2024 23:15 37s
cargo test Rust #2364: Commit ef82dc9 pushed by shnarazk
September 18, 2024 23:14 37s 20240916-vibrated-reduction
20240916-vibrated-reduction
September 18, 2024 23:14 37s