Skip to content

Actions: chrjabs/rustsat

Actions

BatSat

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
batsat.yml
322 workflow runs
322 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: don't unnecessarily rebuild cadical BatSat #32: Commit 04a9143 pushed by chrjabs
August 23, 2024 13:11 1m 20s next-major
next-major
August 23, 2024 13:11 1m 20s
chore: clippy BatSat #31: Commit cd52b94 pushed by chrjabs
August 19, 2024 12:10 2m 6s next-major
next-major
August 19, 2024 12:10 2m 6s
Merge branch 'feat/moo-pb-encodings' into next-major BatSat #30: Commit aac7f37 pushed by chrjabs
August 19, 2024 11:00 2m 23s next-major
next-major
August 19, 2024 11:00 2m 23s
Merge branch 'feat/moo-pb-encodings' into next-major BatSat #29: Commit e85754e pushed by chrjabs
August 15, 2024 08:20 50s next-major
next-major
August 15, 2024 08:20 50s
ci: only set rustsat release as "latest" on github BatSat #28: Commit 7ea45da pushed by chrjabs
August 9, 2024 11:29 2m 26s next-major
next-major
August 9, 2024 11:29 2m 26s
fix: ensure solvers are always linked statically BatSat #27: Commit 289c34a pushed by chrjabs
August 9, 2024 11:27 2m 5s next-major
next-major
August 9, 2024 11:27 2m 5s
feat: kissat v4.0.0 BatSat #26: Commit a1ddca6 pushed by chrjabs
August 5, 2024 12:07 2m 10s next-major
next-major
August 5, 2024 12:07 2m 10s
feat: kissat v4.0.0 BatSat #25: Commit 29d48e7 pushed by chrjabs
August 5, 2024 10:59 2m 39s next-major
next-major
August 5, 2024 10:59 2m 39s
feat!: add evaluate, replacing is_sat BatSat #24: Commit 3e8e2c7 pushed by chrjabs
July 17, 2024 08:04 2m 19s next-major
next-major
July 17, 2024 08:04 2m 19s
feat: Propagate trait BatSat #23: Commit 4941657 pushed by chrjabs
July 16, 2024 12:37 3m 16s next-major
next-major
July 16, 2024 12:37 3m 16s
feat: Propagate trait BatSat #22: Commit 8d42f73 pushed by chrjabs
July 16, 2024 12:37 2m 57s next-major
next-major
July 16, 2024 12:37 2m 57s
refactor: simplify pointer handling in c-api BatSat #21: Commit bcbab4b pushed by chrjabs
July 12, 2024 13:58 2m 26s next-major
next-major
July 12, 2024 13:58 2m 26s
feat: is_sat for Cnf and Assignment ergonomics BatSat #20: Commit 058fb8e pushed by chrjabs
July 12, 2024 10:47 4m 17s next-major
next-major
July 12, 2024 10:47 4m 17s
refactor: use bindgen to generate solver bindings BatSat #19: Commit 3809783 pushed by chrjabs
July 12, 2024 10:00 3m 49s next-major
next-major
July 12, 2024 10:00 3m 49s
refactor: use bindgen to generate solver bindings BatSat #18: Commit 137d3bb pushed by chrjabs
July 12, 2024 09:22 2m 37s next-major
next-major
July 12, 2024 09:22 2m 37s
refactor: use bindgen to generate solver bindings BatSat #17: Commit 729313e pushed by chrjabs
July 11, 2024 13:07 2m 33s next-major
next-major
July 11, 2024 13:07 2m 33s
feat: iter method for Assignment BatSat #16: Commit 00d2b06 pushed by chrjabs
July 8, 2024 12:32 1m 13s next-major
next-major
July 8, 2024 12:32 1m 13s
tests: basic kani harnesses for Var and Lit BatSat #15: Commit 78bd03e pushed by chrjabs
July 8, 2024 09:04 2m 28s next-major
next-major
July 8, 2024 09:04 2m 28s
feat: generalize batsat interface BatSat #14: Commit 98af54b pushed by chrjabs
July 8, 2024 07:58 2m 11s next-major
next-major
July 8, 2024 07:58 2m 11s
Implemented an interface to BatSat BatSat #13: Pull request #84 synchronize by nfbruns
July 4, 2024 14:01 2m 19s nfbruns:feat-batsat-solver
nfbruns:feat-batsat-solver
July 4, 2024 14:01 2m 19s
Implemented an interface to BatSat BatSat #11: Pull request #84 synchronize by nfbruns
July 4, 2024 07:42 1m 41s nfbruns:feat-batsat-solver
nfbruns:feat-batsat-solver
July 4, 2024 07:42 1m 41s
Implemented an interface to BatSat BatSat #8: Pull request #84 synchronize by nfbruns
July 1, 2024 16:10 2m 29s nfbruns:feat-batsat-solver
nfbruns:feat-batsat-solver
July 1, 2024 16:10 2m 29s
ProTip! You can narrow down the results and go further in time using created:<2024-07-01 or the other filters available.