Skip to content

Actions: chrjabs/rustsat

Actions

Kissat

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kissat.yml
660 workflow runs
660 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Factor out C-API, Python API and solver tests into their own crates Kissat #86: Pull request #80 synchronize by chrjabs
April 9, 2024 12:20 1m 43s refactor/solver-tests
refactor/solver-tests
April 9, 2024 12:20 1m 43s
Factor out C-API, Python API and solver tests into their own crates Kissat #85: Pull request #80 synchronize by chrjabs
April 8, 2024 13:25 3m 1s refactor/solver-tests
refactor/solver-tests
April 8, 2024 13:25 3m 1s
Factor out C-API, Python API and solver tests into their own crates Kissat #84: Pull request #80 synchronize by chrjabs
April 7, 2024 17:21 2m 44s refactor/solver-tests
refactor/solver-tests
April 7, 2024 17:21 2m 44s
Improve API ergonomics Kissat #83: Pull request #82 synchronize by chrjabs
April 7, 2024 17:17 5m 40s feature/ergonomics
feature/ergonomics
April 7, 2024 17:17 5m 40s
Factor out C-API, Python API and solver tests into their own crates Kissat #82: Pull request #80 synchronize by chrjabs
April 7, 2024 17:15 7m 36s refactor/solver-tests
refactor/solver-tests
April 7, 2024 17:15 7m 36s
Improve API ergonomics Kissat #81: Pull request #82 opened by chrjabs
April 7, 2024 17:11 1m 18s feature/ergonomics
feature/ergonomics
April 7, 2024 17:11 1m 18s
Factor out C-API, Python API and solver tests into their own crates Kissat #80: Pull request #80 opened by chrjabs
April 4, 2024 08:46 2m 9s refactor/solver-tests
refactor/solver-tests
April 4, 2024 08:46 2m 9s
chore: release Kissat #79: Pull request #69 synchronize by chrjabs
April 4, 2024 08:43 1m 29s release-plz-2024-03-26T10-26-07Z
release-plz-2024-03-26T10-26-07Z
April 4, 2024 08:43 1m 29s
chore: clippy lints Kissat #78: Commit d768c48 pushed by chrjabs
April 4, 2024 08:36 3m 12s main
main
April 4, 2024 08:36 3m 12s
fix: segfault in minisat Kissat #77: Pull request #75 synchronize by chrjabs
April 4, 2024 08:25 3m 9s bugfix/minisat-simp-segfault
bugfix/minisat-simp-segfault
April 4, 2024 08:25 3m 9s
fix: segfault in minisat Kissat #76: Pull request #75 synchronize by chrjabs
April 4, 2024 08:24 1m 26s bugfix/minisat-simp-segfault
bugfix/minisat-simp-segfault
April 4, 2024 08:24 1m 26s
fix: segfault in minisat Kissat #75: Pull request #75 synchronize by chrjabs
April 4, 2024 08:18 2m 12s bugfix/minisat-simp-segfault
bugfix/minisat-simp-segfault
April 4, 2024 08:18 2m 12s
fix: segfault in minisat Kissat #74: Pull request #75 synchronize by chrjabs
April 4, 2024 08:16 1m 13s bugfix/minisat-simp-segfault
bugfix/minisat-simp-segfault
April 4, 2024 08:16 1m 13s
fix: segfault in minisat Kissat #73: Pull request #75 synchronize by chrjabs
April 4, 2024 06:51 1m 46s bugfix/minisat-simp-segfault
bugfix/minisat-simp-segfault
April 4, 2024 06:51 1m 46s
fix: segfault in minisat Kissat #72: Pull request #75 synchronize by chrjabs
April 3, 2024 14:12 1m 16s bugfix/minisat-simp-segfault
bugfix/minisat-simp-segfault
April 3, 2024 14:12 1m 16s
chore: release Kissat #71: Pull request #69 synchronize by chrjabs
April 3, 2024 14:00 1m 12s release-plz-2024-03-26T10-26-07Z
release-plz-2024-03-26T10-26-07Z
April 3, 2024 14:00 1m 12s
Add 'Send' to solvers, and add tests Kissat #70: Commit 78f44e8 pushed by chrjabs
April 3, 2024 13:51 3m 0s main
main
April 3, 2024 13:51 3m 0s
Add 'Send' to glucose Kissat #69: Pull request #77 synchronize by ChrisJefferson
April 3, 2024 12:30 7m 32s ChrisJefferson:send-glucose
ChrisJefferson:send-glucose
April 3, 2024 12:30 7m 32s
fix: segfault in minisat Kissat #68: Pull request #75 synchronize by chrjabs
April 2, 2024 17:23 1m 51s bugfix/minisat-simp-segfault
bugfix/minisat-simp-segfault
April 2, 2024 17:23 1m 51s
fix: segfault in minisat Kissat #67: Pull request #75 synchronize by chrjabs
April 2, 2024 17:03 1m 47s bugfix/minisat-simp-segfault
bugfix/minisat-simp-segfault
April 2, 2024 17:03 1m 47s
Add 'Send' to glucose Kissat #66: Pull request #77 synchronize by ChrisJefferson
April 2, 2024 12:27 2m 28s ChrisJefferson:send-glucose
ChrisJefferson:send-glucose
April 2, 2024 12:27 2m 28s
fix: segfault in minisat Kissat #65: Pull request #75 synchronize by chrjabs
April 2, 2024 11:09 1m 24s bugfix/minisat-simp-segfault
bugfix/minisat-simp-segfault
April 2, 2024 11:09 1m 24s
fix: segfault in minisat Kissat #64: Pull request #75 synchronize by chrjabs
April 2, 2024 10:45 1m 31s bugfix/minisat-simp-segfault
bugfix/minisat-simp-segfault
April 2, 2024 10:45 1m 31s
fix: segfault in minisat Kissat #62: Pull request #75 opened by chrjabs
March 29, 2024 07:31 2m 28s bugfix/minisat-simp-segfault
bugfix/minisat-simp-segfault
March 29, 2024 07:31 2m 28s
chore: release Kissat #61: Pull request #69 synchronize by chrjabs
March 28, 2024 12:30 1m 41s release-plz-2024-03-26T10-26-07Z
release-plz-2024-03-26T10-26-07Z
March 28, 2024 12:30 1m 41s
ProTip! You can narrow down the results and go further in time using created:<2024-03-28 or the other filters available.