Skip to content

Actions: shnarazk/splr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
403 workflow runs
403 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

another broken snapshot Rust #2061: Commit 75d1848 pushed by shnarazk
April 4, 2024 08:23 25s 20240327-ClauseRef
20240327-ClauseRef
April 4, 2024 08:23 25s
A partially working snapshot Rust #2060: Commit 65ae022 pushed by shnarazk
April 4, 2024 01:28 23s 20240327-ClauseRef
20240327-ClauseRef
April 4, 2024 01:28 23s
the first working snapshot Rust #2059: Commit 4a2df75 pushed by shnarazk
April 4, 2024 01:27 27s 20240327-ClauseRef
20240327-ClauseRef
April 4, 2024 01:27 27s
Processor is broken. Rust #2058: Commit 4d78775 pushed by shnarazk
April 3, 2024 16:58 29s 20240327-ClauseRef
20240327-ClauseRef
April 3, 2024 16:58 29s
another snapshot Rust #2057: Commit 4cff778 pushed by shnarazk
April 3, 2024 14:31 27s 20240327-ClauseRef
20240327-ClauseRef
April 3, 2024 14:31 27s
Fix type errors on Rc and RefCell Rust #2056: Commit d629719 pushed by shnarazk
April 2, 2024 23:15 25s 20240327-ClauseRef
20240327-ClauseRef
April 2, 2024 23:15 25s
About interior-mutability Rust #2055: Commit a516158 pushed by shnarazk
April 2, 2024 14:48 25s 20240327-ClauseRef
20240327-ClauseRef
April 2, 2024 14:48 25s
Rc<RwLock<Clause>> Rust #2054: Commit 0745e27 pushed by shnarazk
April 2, 2024 08:37 21s 20240327-ClauseRef
20240327-ClauseRef
April 2, 2024 08:37 21s
another snapshot Rust #2053: Commit 4514d9c pushed by shnarazk
March 31, 2024 22:14 25s 20240327-ClauseRef
20240327-ClauseRef
March 31, 2024 22:14 25s
ditto Rust #2052: Commit 4f3494b pushed by shnarazk
March 31, 2024 16:51 22s 20240327-ClauseRef
20240327-ClauseRef
March 31, 2024 16:51 22s
ditto Rust #2051: Commit b3b249d pushed by shnarazk
March 31, 2024 14:31 19s 20240327-ClauseRef
20240327-ClauseRef
March 31, 2024 14:31 19s
ditto Rust #2050: Commit 7c37e5c pushed by shnarazk
March 30, 2024 14:20 22s 20240327-ClauseRef
20240327-ClauseRef
March 30, 2024 14:20 22s
another snapshot Rust #2049: Commit a94b467 pushed by shnarazk
March 30, 2024 12:49 20s 20240327-ClauseRef
20240327-ClauseRef
March 30, 2024 12:49 20s
ditto Rust #2048: Commit fed7f83 pushed by shnarazk
March 29, 2024 22:30 24s 20240327-ClauseRef
20240327-ClauseRef
March 29, 2024 22:30 24s
another broken snapshot Rust #2047: Commit 5473d7d pushed by shnarazk
March 29, 2024 14:10 23s 20240327-ClauseRef
20240327-ClauseRef
March 29, 2024 14:10 23s
a snapshot Rust #2046: Commit 71f4dcf pushed by shnarazk
March 28, 2024 14:40 24s 20240327-ClauseRef
20240327-ClauseRef
March 28, 2024 14:40 24s
Use Rc instead of RwLock Rust #2045: Commit eea4e76 pushed by shnarazk
March 28, 2024 05:49 14s 20240327-ClauseRef
20240327-ClauseRef
March 28, 2024 05:49 14s
new file: src/cdb/cref.rs Rust #2044: Commit b043035 pushed by shnarazk
March 27, 2024 22:34 17s 20240327-ClauseRef
20240327-ClauseRef
March 27, 2024 22:34 17s
A broken snapshot Rust #2043: Commit b252f9d pushed by shnarazk
March 27, 2024 22:30 16s 20240327-ClauseRef
20240327-ClauseRef
March 27, 2024 22:30 16s
modified: src/cdb/binary.rs Rust #2042: Commit 1305058 pushed by shnarazk
March 27, 2024 13:35 31s 20240327-ClauseRef
20240327-ClauseRef
March 27, 2024 13:35 31s
Implement 'ClauseRef' instead of 'ClauseId' Rust #2041: Commit db682a3 pushed by shnarazk
March 27, 2024 12:05 28s 20240327-ClauseRef
20240327-ClauseRef
March 27, 2024 12:05 28s
Literal's default level is zero. So the default LBDs of clauses are one Rust #2040: Commit 11db4a9 pushed by shnarazk
March 26, 2024 22:47 47s dev-0.18.0
dev-0.18.0
March 26, 2024 22:47 47s
Literal's default level is zero. So the default LBDs of clauses are one Rust #2039: Commit 7acbbdc pushed by shnarazk
March 26, 2024 14:37 35s dev-0.18.0
dev-0.18.0
March 26, 2024 14:37 35s
Set the default level of each Var Rust #2038: Commit 4cc6d38 pushed by shnarazk
March 26, 2024 13:51 39s dev-0.18.0
dev-0.18.0
March 26, 2024 13:51 39s
(AssignStack) Move some attiributes to `Var', delete some macros Rust #2037: Commit 8aafd00 pushed by shnarazk
March 26, 2024 12:53 30s dev-0.18.0
dev-0.18.0
March 26, 2024 12:53 30s
ProTip! You can narrow down the results and go further in time using created:<2024-03-26 or the other filters available.