Skip to content

Actions: shnarazk/splr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
412 workflow runs
412 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ClauseWeaverIF: rename functions again Rust #2246: Commit 726b71b pushed by shnarazk
July 5, 2024 07:16 44s 20240621-interleave
20240621-interleave
July 5, 2024 07:16 44s
fix region controlled by feature 'clause_elimination' Rust #2245: Commit 3450075 pushed by shnarazk
July 5, 2024 05:32 34s 20240621-interleave
20240621-interleave
July 5, 2024 05:32 34s
Fix terrible bugs Rust #2244: Commit 45bea77 pushed by shnarazk
July 5, 2024 05:29 48s 20240621-interleave
20240621-interleave
July 5, 2024 05:29 48s
tweak: remove_next_watch takes 3 args Rust #2243: Commit 950c585 pushed by shnarazk
July 5, 2024 02:47 6h 0m 23s 20240621-interleave
20240621-interleave
July 5, 2024 02:47 6h 0m 23s
chore: tiny changes Rust #2242: Commit d48592b pushed by shnarazk
July 5, 2024 00:57 37s 20240621-interleave
20240621-interleave
July 5, 2024 00:57 37s
cargo clippy Rust #2241: Commit b3023f1 pushed by shnarazk
July 5, 2024 00:09 34s 20240621-interleave
20240621-interleave
July 5, 2024 00:09 34s
new file(a non-deterministic instance): cnfs/uf200-074.cnf Rust #2240: Commit dd83198 pushed by shnarazk
July 4, 2024 11:17 52s 20240621-interleave
20240621-interleave
July 4, 2024 11:17 52s
new file: cnfs/uf200-074.cnf Rust #2239: Commit 038ed0b pushed by shnarazk
July 4, 2024 11:15 40s 20240621-interleave
20240621-interleave
July 4, 2024 11:15 40s
modified: Cargo.toml Rust #2238: Commit d81a294 pushed by shnarazk
July 4, 2024 11:14 51s 20240621-interleave
20240621-interleave
July 4, 2024 11:14 51s
splw: display var activity histogram Rust #2237: Commit 5f3c088 pushed by shnarazk
July 4, 2024 09:41 39s 20240621-interleave
20240621-interleave
July 4, 2024 09:41 39s
rename feature 'watch' to 'graph_view' Rust #2236: Commit 9844ee3 pushed by shnarazk
July 4, 2024 08:25 42s 20240621-interleave
20240621-interleave
July 4, 2024 08:25 42s
chore: add/delete comment Rust #2235: Commit a3a0576 pushed by shnarazk
July 4, 2024 07:32 45s 20240621-interleave
20240621-interleave
July 4, 2024 07:32 45s
update flake.* Rust #2234: Commit b7bf368 pushed by shnarazk
July 4, 2024 03:53 35s 20240621-interleave
20240621-interleave
July 4, 2024 03:53 35s
update flake.* Rust #2233: Commit 7190409 pushed by shnarazk
July 4, 2024 01:21 36s 20240621-interleave
20240621-interleave
July 4, 2024 01:21 36s
Add feature deterministic (#249) Rust #2232: Commit 3fb7af2 pushed by shnarazk
July 3, 2024 14:00 38s 20240621-interleave
20240621-interleave
July 3, 2024 14:00 38s
deleted: .gitlab-ci.yml Rust #2231: Commit ce899ed pushed by shnarazk
July 3, 2024 13:47 37s 20240623-interleave-minimum
20240623-interleave-minimum
July 3, 2024 13:47 37s
deleted: .gitlab-ci.yml Rust #2230: Commit 06e29dd pushed by shnarazk
July 3, 2024 13:42 42s 20240623-interleave-minimum
20240623-interleave-minimum
July 3, 2024 13:42 42s
bump version up to 0.18.0-dev1 Rust #2229: Commit 920c3c4 pushed by shnarazk
July 3, 2024 11:18 38s 20240623-interleave-minimum
20240623-interleave-minimum
July 3, 2024 11:18 38s
solver: rename 'SearchContext' to 'SearchState' Rust #2228: Commit 82f3243 pushed by shnarazk
July 2, 2024 12:44 46s 20240623-interleave-minimum
20240623-interleave-minimum
July 2, 2024 12:44 46s
delete old Solver::search Rust #2227: Commit 27b01f3 pushed by shnarazk
June 29, 2024 14:23 34s 20240623-interleave-minimum
20240623-interleave-minimum
June 29, 2024 14:23 34s
modified: Cargo.lock Rust #2226: Commit ede4586 pushed by shnarazk
June 29, 2024 14:20 51s 20240623-interleave-minimum
20240623-interleave-minimum
June 29, 2024 14:20 51s
eliminator: ditch timedout Rust #2225: Commit 4c7a824 pushed by shnarazk
June 25, 2024 14:25 53s 20240623-interleave-minimum
20240623-interleave-minimum
June 25, 2024 14:25 53s
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