Skip to content

Actions: chrjabs/rustsat

Actions

C-API

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
capi.yml
240 workflow run results
240 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Propagate trait C-API #179: Commit 4941657 pushed by chrjabs
July 16, 2024 12:37 4m 4s next-major
next-major
July 16, 2024 12:37 4m 4s
feat: Propagate trait C-API #178: Commit 8d42f73 pushed by chrjabs
July 16, 2024 12:37 3m 21s next-major
next-major
July 16, 2024 12:37 3m 21s
refactor: simplify pointer handling in c-api C-API #177: Commit bcbab4b pushed by chrjabs
July 12, 2024 13:58 3m 9s next-major
next-major
July 12, 2024 13:58 3m 9s
chore: release C-API #176: Pull request #113 synchronize by rustsat-release-plz-bot bot
July 12, 2024 10:51 5m 21s release-plz-2024-06-17T06-37-10Z
release-plz-2024-06-17T06-37-10Z
July 12, 2024 10:51 5m 21s
build(deps): bump install-pinned/maturin C-API #175: Commit deb6085 pushed by chrjabs
July 12, 2024 10:48 3m 49s main
main
July 12, 2024 10:48 3m 49s
feat: is_sat for Cnf and Assignment ergonomics C-API #174: Commit 058fb8e pushed by chrjabs
July 12, 2024 10:47 2m 38s next-major
next-major
July 12, 2024 10:47 2m 38s
refactor: use bindgen to generate solver bindings C-API #173: Commit 3809783 pushed by chrjabs
July 12, 2024 10:00 3m 15s next-major
next-major
July 12, 2024 10:00 3m 15s
refactor: use bindgen to generate solver bindings C-API #172: Commit 137d3bb pushed by chrjabs
July 12, 2024 09:22 4m 1s next-major
next-major
July 12, 2024 09:22 4m 1s
refactor: use bindgen to generate solver bindings C-API #171: Commit 729313e pushed by chrjabs
July 11, 2024 13:07 3m 48s next-major
next-major
July 11, 2024 13:07 3m 48s
build(deps): bump install-pinned/maturin from 0620ca40d2c575adaa48574fe2f6c76aa188e2c6 to 3d59037009f92def8f023f3b3e4810179477786d C-API #170: Pull request #122 opened by dependabot bot
July 8, 2024 21:44 3m 58s dependabot/github_actions/install-pinned/maturin-3d59037009f92def8f023f3b3e4810179477786d
dependabot/github_actions/install-pinned/maturin-3d59037009f92def8f023f3b3e4810179477786d
July 8, 2024 21:44 3m 58s
build(deps): update pyo3 requirement from 0.21.1 to 0.22.1 C-API #169: Pull request #121 opened by dependabot bot
July 8, 2024 21:18 5m 32s dependabot/cargo/pyo3-0.22.1
dependabot/cargo/pyo3-0.22.1
July 8, 2024 21:18 5m 32s
build(deps): update pyo3-build-config requirement from 0.21.1 to 0.22.1 C-API #168: Pull request #120 opened by dependabot bot
July 8, 2024 21:18 2m 50s dependabot/cargo/pyo3-build-config-0.22.1
dependabot/cargo/pyo3-build-config-0.22.1
July 8, 2024 21:18 2m 50s
feat: iter method for Assignment C-API #167: Commit 00d2b06 pushed by chrjabs
July 8, 2024 12:32 2m 3s next-major
next-major
July 8, 2024 12:32 2m 3s
tests: basic kani harnesses for Var and Lit C-API #166: Commit 78bd03e pushed by chrjabs
July 8, 2024 09:04 4m 42s next-major
next-major
July 8, 2024 09:04 4m 42s
feat: generalize batsat interface C-API #165: Commit 98af54b pushed by chrjabs
July 8, 2024 07:58 3m 32s next-major
next-major
July 8, 2024 07:58 3m 32s
tests: add tests for FlipLit trait C-API #164: Commit 0692ba7 pushed by chrjabs
July 8, 2024 06:38 3m 27s next-major
next-major
July 8, 2024 06:38 3m 27s
chore: release C-API #163: Pull request #113 synchronize by rustsat-release-plz-bot bot
July 8, 2024 06:32 3m 22s release-plz-2024-06-17T06-37-10Z
release-plz-2024-06-17T06-37-10Z
July 8, 2024 06:32 3m 22s
ci: use github app for release-plz C-API #162: Commit 19eb672 pushed by chrjabs
July 8, 2024 06:27 3m 13s main
main
July 8, 2024 06:27 3m 13s
doc: fix typos C-API #161: Commit 68f5abf pushed by chrjabs
July 4, 2024 14:06 4m 29s next-major
next-major
July 4, 2024 14:06 4m 29s
Implemented an interface to BatSat C-API #160: Pull request #84 synchronize by nfbruns
July 4, 2024 14:01 3m 58s nfbruns:feat-batsat-solver
nfbruns:feat-batsat-solver
July 4, 2024 14:01 3m 58s
External solvers C-API #159: Pull request #119 synchronize by chrjabs
July 4, 2024 14:01 3m 4s external-solvers
external-solvers
July 4, 2024 14:01 3m 4s
External solvers C-API #158: Pull request #119 synchronize by chrjabs
July 4, 2024 13:55 4m 18s external-solvers
external-solvers
July 4, 2024 13:55 4m 18s
External solvers C-API #157: Pull request #119 synchronize by chrjabs
July 4, 2024 13:41 3m 12s external-solvers
external-solvers
July 4, 2024 13:41 3m 12s
External solvers C-API #156: Pull request #119 synchronize by chrjabs
July 4, 2024 13:38 3m 14s external-solvers
external-solvers
July 4, 2024 13:38 3m 14s
External solvers C-API #155: Pull request #119 opened by chrjabs
July 4, 2024 13:38 4m 44s external-solvers
external-solvers
July 4, 2024 13:38 4m 44s