Skip to content

Actions: stp/abc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
140 workflow runs
140 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #14 from stp/cnffast-reentrant-scratch Build Posix #46: Commit b1e6f8f pushed by aytey
3m 35s pin-two-commits
pin-two-commits
3m 35s
Merge pull request #14 from stp/cnffast-reentrant-scratch Build Windows #46: Commit b1e6f8f pushed by aytey
1d 0h 0m 2s pin-two-commits
pin-two-commits
1d 0h 0m 2s
Merge pull request #14 from stp/cnffast-reentrant-scratch Build Posix CMake #46: Commit b1e6f8f pushed by aytey
4m 52s pin-two-commits
pin-two-commits
4m 52s
cnf: keep Cnf_CutDeriveTruth's truth tables per call Build Posix CMake #45: Pull request #14 opened by aytey
5m 37s cnffast-reentrant-scratch
cnffast-reentrant-scratch
5m 37s
cnf: keep Cnf_CutDeriveTruth's truth tables per call Build Posix #45: Pull request #14 opened by aytey
6m 1s cnffast-reentrant-scratch
cnffast-reentrant-scratch
6m 1s
cnf: keep Cnf_CutDeriveTruth's truth tables per call Build Windows #45: Pull request #14 opened by aytey
1d 0h 0m 11s cnffast-reentrant-scratch
cnffast-reentrant-scratch
1d 0h 0m 11s
cnf: keep Cnf_CutDeriveTruth's truth tables per call Build Posix #44: Commit f5be8ce pushed by aytey
3m 41s cnffast-reentrant-scratch
cnffast-reentrant-scratch
3m 41s
cnf: keep Cnf_CutDeriveTruth's truth tables per call Build Windows #44: Commit f5be8ce pushed by aytey
1d 0h 0m 2s cnffast-reentrant-scratch
cnffast-reentrant-scratch
1d 0h 0m 2s
cnf: keep Cnf_CutDeriveTruth's truth tables per call Build Posix CMake #44: Commit f5be8ce pushed by aytey
4m 27s cnffast-reentrant-scratch
cnffast-reentrant-scratch
4m 27s
Merge pull request #13 from stp/gia-from-aig-iterative Build Posix CMake #43: Commit 522e8f8 pushed by aytey
4m 41s stp
stp
4m 41s
Merge pull request #13 from stp/gia-from-aig-iterative Build Posix #43: Commit 522e8f8 pushed by aytey
4m 26s stp
stp
4m 26s
Merge pull request #13 from stp/gia-from-aig-iterative Build Windows #43: Commit 522e8f8 pushed by aytey
1d 0h 0m 2s stp
stp
1d 0h 0m 2s
gia: convert the AIG with an explicit stack rather than recursion Build Windows #42: Pull request #13 opened by aytey
1d 0h 0m 1s gia-from-aig-iterative
gia-from-aig-iterative
1d 0h 0m 1s
gia: convert the AIG with an explicit stack rather than recursion Build Posix #42: Pull request #13 opened by aytey
8m 53s gia-from-aig-iterative
gia-from-aig-iterative
8m 53s
gia: convert the AIG with an explicit stack rather than recursion Build Posix CMake #42: Pull request #13 opened by aytey
8m 39s gia-from-aig-iterative
gia-from-aig-iterative
8m 39s
gia: convert the AIG with an explicit stack rather than recursion Build Windows #41: Commit b6e26a0 pushed by aytey
1d 0h 0m 2s stp-at-953930643-pr1109
stp-at-953930643-pr1109
1d 0h 0m 2s
gia: convert the AIG with an explicit stack rather than recursion Build Posix #41: Commit b6e26a0 pushed by aytey
10m 8s stp-at-953930643-pr1109
stp-at-953930643-pr1109
10m 8s
gia: convert the AIG with an explicit stack rather than recursion Build Posix CMake #41: Commit b6e26a0 pushed by aytey
8m 53s stp-at-953930643-pr1109
stp-at-953930643-pr1109
8m 53s
gia: convert the AIG with an explicit stack rather than recursion Build Posix #40: Commit b6e26a0 pushed by aytey
4m 1s pin-two-commits
pin-two-commits
4m 1s
gia: convert the AIG with an explicit stack rather than recursion Build Posix CMake #40: Commit b6e26a0 pushed by aytey
4m 11s pin-two-commits
pin-two-commits
4m 11s
gia: convert the AIG with an explicit stack rather than recursion Build Windows #40: Commit b6e26a0 pushed by aytey
1d 0h 0m 2s pin-two-commits
pin-two-commits
1d 0h 0m 2s
gia: convert the AIG with an explicit stack rather than recursion Build Posix #39: Commit dca2344 pushed by aytey
4m 8s gia-from-aig-iterative
gia-from-aig-iterative
4m 8s
gia: convert the AIG with an explicit stack rather than recursion Build Windows #39: Commit dca2344 pushed by aytey
1d 0h 0m 8s gia-from-aig-iterative
gia-from-aig-iterative
1d 0h 0m 8s
gia: convert the AIG with an explicit stack rather than recursion Build Posix CMake #39: Commit dca2344 pushed by aytey
6m 46s gia-from-aig-iterative
gia-from-aig-iterative
6m 46s
aig, gia: reduce the structural hash key without a divide Build Posix CMake #38: Pull request #12 synchronize by TrevorHansen
6m 41s strash-hash-reduction
strash-hash-reduction
6m 41s