Skip to content

Actions: chrjabs/rustsat

Actions

Glucose

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
glucose.yml
256 workflow runs
256 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
build(deps): bump install-pinned/mypy from 8fd8c50eff0144780246d326dc2159289f090e33 to 407cbfd7b24c78ae79966ff25147b767998cc31c Glucose #275: Pull request #125 opened by dependabot bot
July 22, 2024 22:03 2m 22s dependabot/github_actions/install-pinned/mypy-407cbfd7b24c78ae79966ff25147b767998cc31c
dependabot/github_actions/install-pinned/mypy-407cbfd7b24c78ae79966ff25147b767998cc31c
July 22, 2024 22:03 2m 22s
build(deps): update pyo3 requirement from 0.21.1 to 0.22.2 Glucose #274: Pull request #124 opened by dependabot bot
July 18, 2024 21:40 5m 7s dependabot/cargo/pyo3-0.22.2
dependabot/cargo/pyo3-0.22.2
July 18, 2024 21:40 5m 7s
build(deps): update pyo3-build-config requirement from 0.21.1 to 0.22.2 Glucose #273: Pull request #123 opened by dependabot bot
July 18, 2024 21:39 3m 7s dependabot/cargo/pyo3-build-config-0.22.2
dependabot/cargo/pyo3-build-config-0.22.2
July 18, 2024 21:39 3m 7s
feat!: add evaluate, replacing is_sat Glucose #272: Commit 3e8e2c7 pushed by chrjabs
July 17, 2024 08:04 4m 30s next-major
next-major
July 17, 2024 08:04 4m 30s
feat: Propagate trait Glucose #271: Commit 4941657 pushed by chrjabs
July 16, 2024 12:37 4m 51s next-major
next-major
July 16, 2024 12:37 4m 51s
feat: Propagate trait Glucose #270: Commit 8d42f73 pushed by chrjabs
July 16, 2024 12:37 3m 58s next-major
next-major
July 16, 2024 12:37 3m 58s
refactor: simplify pointer handling in c-api Glucose #269: Commit bcbab4b pushed by chrjabs
July 12, 2024 13:58 4m 27s next-major
next-major
July 12, 2024 13:58 4m 27s
chore: release Glucose #268: Pull request #113 synchronize by rustsat-release-plz-bot bot
July 12, 2024 10:50 2m 9s release-plz-2024-06-17T06-37-10Z
release-plz-2024-06-17T06-37-10Z
July 12, 2024 10:50 2m 9s
build(deps): bump install-pinned/maturin Glucose #267: Commit deb6085 pushed by chrjabs
July 12, 2024 10:48 3m 4s main
main
July 12, 2024 10:48 3m 4s
feat: is_sat for Cnf and Assignment ergonomics Glucose #266: Commit 058fb8e pushed by chrjabs
July 12, 2024 10:47 4m 20s next-major
next-major
July 12, 2024 10:47 4m 20s
refactor: use bindgen to generate solver bindings Glucose #265: Commit 3809783 pushed by chrjabs
July 12, 2024 10:00 3m 11s next-major
next-major
July 12, 2024 10:00 3m 11s
refactor: use bindgen to generate solver bindings Glucose #264: Commit 137d3bb pushed by chrjabs
July 12, 2024 09:22 1m 5s next-major
next-major
July 12, 2024 09:22 1m 5s
refactor: use bindgen to generate solver bindings Glucose #263: Commit 729313e pushed by chrjabs
July 11, 2024 13:07 1m 21s next-major
next-major
July 11, 2024 13:07 1m 21s
build(deps): bump install-pinned/maturin from 0620ca40d2c575adaa48574fe2f6c76aa188e2c6 to 3d59037009f92def8f023f3b3e4810179477786d Glucose #262: Pull request #122 opened by dependabot bot
July 8, 2024 21:44 3m 9s dependabot/github_actions/install-pinned/maturin-3d59037009f92def8f023f3b3e4810179477786d
dependabot/github_actions/install-pinned/maturin-3d59037009f92def8f023f3b3e4810179477786d
July 8, 2024 21:44 3m 9s
build(deps): update pyo3 requirement from 0.21.1 to 0.22.1 Glucose #261: Pull request #121 opened by dependabot bot
July 8, 2024 21:18 5m 13s dependabot/cargo/pyo3-0.22.1
dependabot/cargo/pyo3-0.22.1
July 8, 2024 21:18 5m 13s
build(deps): update pyo3-build-config requirement from 0.21.1 to 0.22.1 Glucose #260: Pull request #120 opened by dependabot bot
July 8, 2024 21:18 4m 23s dependabot/cargo/pyo3-build-config-0.22.1
dependabot/cargo/pyo3-build-config-0.22.1
July 8, 2024 21:18 4m 23s
feat: iter method for Assignment Glucose #259: Commit 00d2b06 pushed by chrjabs
July 8, 2024 12:32 28s next-major
next-major
July 8, 2024 12:32 28s
tests: basic kani harnesses for Var and Lit Glucose #258: Commit 78bd03e pushed by chrjabs
July 8, 2024 09:04 3m 31s next-major
next-major
July 8, 2024 09:04 3m 31s
feat: generalize batsat interface Glucose #257: Commit 98af54b pushed by chrjabs
July 8, 2024 07:58 3m 8s next-major
next-major
July 8, 2024 07:58 3m 8s
tests: add tests for FlipLit trait Glucose #256: Commit 0692ba7 pushed by chrjabs
July 8, 2024 06:38 2m 7s next-major
next-major
July 8, 2024 06:38 2m 7s
chore: release Glucose #255: Pull request #113 synchronize by rustsat-release-plz-bot bot
July 8, 2024 06:32 2m 53s release-plz-2024-06-17T06-37-10Z
release-plz-2024-06-17T06-37-10Z
July 8, 2024 06:32 2m 53s
ci: use github app for release-plz Glucose #254: Commit 19eb672 pushed by chrjabs
July 8, 2024 06:27 3m 5s main
main
July 8, 2024 06:27 3m 5s
doc: fix typos Glucose #253: Commit 68f5abf pushed by chrjabs
July 4, 2024 14:06 2m 54s next-major
next-major
July 4, 2024 14:06 2m 54s
Implemented an interface to BatSat Glucose #252: Pull request #84 synchronize by nfbruns
July 4, 2024 14:01 3m 13s nfbruns:feat-batsat-solver
nfbruns:feat-batsat-solver
July 4, 2024 14:01 3m 13s
External solvers Glucose #251: Pull request #119 synchronize by chrjabs
July 4, 2024 14:01 2m 52s external-solvers
external-solvers
July 4, 2024 14:01 2m 52s