Skip to content

Actions: shnarazk/splr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
415 workflow runs
415 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cdb/mod.rs: add comments about constants Rust #2224: Commit 8828fab pushed by shnarazk
June 24, 2024 13:51 36s 20240623-interleave-minimum
20240623-interleave-minimum
June 24, 2024 13:51 36s
some tuning on eliminator Rust #2223: Commit 3372248 pushed by shnarazk
June 24, 2024 13:48 42s 20240622-deterministic
20240622-deterministic
June 24, 2024 13:48 42s
eliminator: parameter tuning Rust #2222: Commit 523d6ac pushed by shnarazk
June 23, 2024 13:18 34s 20240623-interleave-minimum
20240623-interleave-minimum
June 23, 2024 13:18 34s
WeaverIF: reneme collect to reinitialize_frees Rust #2221: Commit a3d9b42 pushed by shnarazk
June 23, 2024 10:36 32s 20240623-interleave-minimum
20240623-interleave-minimum
June 23, 2024 10:36 32s
Debug: refactor collect as reinitialize_frees Rust #2220: Commit 0dfd4f0 pushed by shnarazk
June 22, 2024 16:54 43s 20240622-deterministic
20240622-deterministic
June 22, 2024 16:54 43s
about 'deterministic' behavior Rust #2219: Commit 3ce2cc4 pushed by shnarazk
June 22, 2024 12:30 38s 20240622-deterministic
20240622-deterministic
June 22, 2024 12:30 38s
s/SearchContext/SearchState/ Rust #2218: Commit ba1e655 pushed by shnarazk
June 22, 2024 12:10 45s 20240622-deterministic
20240622-deterministic
June 22, 2024 12:10 45s
About "stochastic_local_search" and "deterministic" Rust #2217: Commit 9c903f4 pushed by shnarazk
June 22, 2024 10:19 34s 20240622-deterministic
20240622-deterministic
June 22, 2024 10:19 34s
fix a panic caused by a (maybe) wrong assumption Rust #2216: Commit f15a51b pushed by shnarazk
June 22, 2024 06:50 41s 20240622-deterministic
20240622-deterministic
June 22, 2024 06:50 41s
add feature 'deterministic' Rust #2215: Commit 19e4605 pushed by shnarazk
June 22, 2024 05:33 41s 20240622-deterministic
20240622-deterministic
June 22, 2024 05:33 41s
FIXME: found a bug Rust #2214: Commit f770dba pushed by shnarazk
June 21, 2024 16:32 42s 20240621-interleave
20240621-interleave
June 21, 2024 16:32 42s
modified: src/bin/splw.rs Rust #2213: Commit e447635 pushed by shnarazk
June 21, 2024 14:05 42s 20240621-interleave
20240621-interleave
June 21, 2024 14:05 42s
WIP: embed splr into splw Rust #2212: Commit 6662da6 pushed by shnarazk
June 21, 2024 13:19 40s 20240621-interleave
20240621-interleave
June 21, 2024 13:19 40s
add experimental executable 'splw' Rust #2211: Commit 969582b pushed by shnarazk
June 21, 2024 12:31 54s 20240621-interleave
20240621-interleave
June 21, 2024 12:31 54s
cargo update Rust #2210: Commit d544bf3 pushed by shnarazk
June 21, 2024 10:18 57s 20240621-interleave
20240621-interleave
June 21, 2024 10:18 57s
add ratatui Rust #2209: Commit b7f8975 pushed by shnarazk
June 21, 2024 10:17 47s 20240621-interleave
20240621-interleave
June 21, 2024 10:17 47s
add feature 'interleave' Rust #2208: Commit da6e02c pushed by shnarazk
June 21, 2024 09:48 27s 20240621-interleave
20240621-interleave
June 21, 2024 09:48 27s
add feature 'interleave' Rust #2207: Commit c4309d6 pushed by shnarazk
June 21, 2024 09:41 40s 20240621-interleave
20240621-interleave
June 21, 2024 09:41 40s
Version 0.17.3 Rust #2206: Commit a3075f9 pushed by shnarazk
June 21, 2024 09:34 34s Wear
Wear
June 21, 2024 09:34 34s
modified: Cargo.lock Rust #2205: Commit 1a320e6 pushed by shnarazk
June 18, 2024 14:49 39s 20240529-WatchLiteralWeaver
20240529-WatchLiteralWeaver
June 18, 2024 14:49 39s
cargo clippy Rust #2204: Commit 7baed5b pushed by shnarazk
June 13, 2024 15:25 33s 20240529-WatchLiteralWeaver
20240529-WatchLiteralWeaver
June 13, 2024 15:25 33s
optimize remove_watches Rust #2203: Commit a6312a6 pushed by shnarazk
June 1, 2024 13:43 36s 20240529-WatchLiteralWeaver
20240529-WatchLiteralWeaver
June 1, 2024 13:43 36s
chage feature "no_clause_elimination" to "clause_elimination" Rust #2202: Commit 5f88ca3 pushed by shnarazk
June 1, 2024 02:29 42s 20240529-WatchLiteralWeaver
20240529-WatchLiteralWeaver
June 1, 2024 02:29 42s
set default features Rust #2201: Commit d4c2931 pushed by shnarazk
June 1, 2024 02:13 38s 20240529-WatchLiteralWeaver
20240529-WatchLiteralWeaver
June 1, 2024 02:13 38s
tiny changes Rust #2200: Commit a8949db pushed by shnarazk
May 31, 2024 08:27 37s 20240529-WatchLiteralWeaver
20240529-WatchLiteralWeaver
May 31, 2024 08:27 37s