Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / camshaft/bolero issues and pull requests

#250 - build(deps): bump actions/checkout from 4.2.0 to 4.2.1

Pull Request - State: closed - Opened by dependabot[bot] 28 days ago
Labels: dependencies, github_actions

#249 - build(deps): bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.8

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, github_actions

#248 - Shrinker runs once when `shrink_time` is zero.

Issue - State: open - Opened by mkforsb about 1 month ago - 1 comment

#247 - `bolero reduce` doesn’t seem to do anything

Issue - State: open - Opened by Porges about 1 month ago - 1 comment

#246 - Add book section on controlling the number of operations generated

Pull Request - State: closed - Opened by mkforsb about 1 month ago - 1 comment

#245 - build(deps): bump actions/checkout from 4.1.7 to 4.2.0

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, github_actions

#244 - Generating larger sets of operations for structured testing

Issue - State: closed - Opened by mkforsb about 2 months ago - 1 comment

#243 - `cargo test` does not always replay corpus

Issue - State: open - Opened by vasumv about 2 months ago - 5 comments

#242 - build(deps): bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.4

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago - 1 comment
Labels: dependencies, github_actions

#241 - build(deps): bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies, github_actions

#240 - feat(bolero-generator): add `trace` utility

Pull Request - State: closed - Opened by camshaft 4 months ago

#239 - release bolero-generator 0.11.1

Pull Request - State: closed - Opened by camshaft 5 months ago

#238 - fix arbitrary generators

Pull Request - State: closed - Opened by camshaft 5 months ago

#237 - Integration with arbitrary is broken on bolero 0.11.x

Issue - State: closed - Opened by glebpom 5 months ago - 1 comment

#236 - build(deps): bump actions/checkout from 4.1.6 to 4.1.7

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies, github_actions

#235 - honggfuzz: update to 2.6

Pull Request - State: open - Opened by camshaft 5 months ago - 3 comments

#234 - add versions to dev-dependencies

Pull Request - State: closed - Opened by camshaft 5 months ago

#233 - honggfuzz fails to build with binutils ≥ 2.39

Issue - State: open - Opened by jtojnar 5 months ago - 2 comments

#232 - cargo-bolero tests fail to build from crates.io

Issue - State: closed - Opened by jtojnar 5 months ago - 1 comment

#231 - kani: remove use of kani::vec::any_vec

Pull Request - State: closed - Opened by camshaft 5 months ago

#230 - release 0.11.1

Pull Request - State: closed - Opened by camshaft 5 months ago

#229 - fix cfg warnings

Pull Request - State: closed - Opened by camshaft 5 months ago

#228 - revert kani slice size change

Pull Request - State: closed - Opened by camshaft 5 months ago

#227 - add support for multiple jobs in random engine

Pull Request - State: closed - Opened by camshaft 5 months ago

#226 - release 0.11.0

Pull Request - State: closed - Opened by camshaft 5 months ago

#225 - deprecate driver mode

Pull Request - State: closed - Opened by camshaft 5 months ago

#224 - add option to limit rng output

Pull Request - State: closed - Opened by camshaft 5 months ago

#223 - add more inlines for better optimization

Pull Request - State: closed - Opened by camshaft 5 months ago

#222 - add structural methods to driver

Pull Request - State: closed - Opened by camshaft 5 months ago

#221 - add driver cache

Pull Request - State: closed - Opened by camshaft 5 months ago

#220 - include more examples

Pull Request - State: closed - Opened by camshaft 5 months ago

#219 - avoid DriverMode branching on byte driver

Pull Request - State: closed - Opened by camshaft 5 months ago

#218 - bump MSRV to 1.66.0

Pull Request - State: closed - Opened by camshaft 5 months ago

#217 - use a not-cryptographic rng for input generator

Pull Request - State: closed - Opened by camshaft 5 months ago

#216 - build(deps): bump JamesIves/github-pages-deploy-action from 4.5.0 to 4.6.1

Pull Request - State: closed - Opened by dependabot[bot] 6 months ago - 1 comment
Labels: dependencies, github_actions

#215 - build(deps): bump actions/checkout from 4.1.1 to 4.1.6

Pull Request - State: closed - Opened by dependabot[bot] 6 months ago - 1 comment
Labels: dependencies, github_actions

#214 - build(deps): bump actions/checkout from 4.1.1 to 4.1.5

Pull Request - State: closed - Opened by dependabot[bot] 6 months ago - 1 comment
Labels: dependencies, github_actions

#213 - build(deps): bump actions/checkout from 4.1.1 to 4.1.4

Pull Request - State: closed - Opened by dependabot[bot] 6 months ago - 1 comment
Labels: dependencies, github_actions

#212 - build(deps): bump actions/checkout from 4.1.1 to 4.1.3

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago - 1 comment
Labels: dependencies, github_actions

#211 - build(deps): bump JamesIves/github-pages-deploy-action from 4.5.0 to 4.6.0

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago - 1 comment
Labels: dependencies, github_actions

#210 - Support `--jobs` option for `random` engine

Issue - State: closed - Opened by john-h-kastner-aws 7 months ago

#209 - build(deps): bump peaceiris/actions-mdbook from 1.2.0 to 2.0.0

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago - 1 comment
Labels: dependencies, github_actions

#208 - build(deps): bump actions/checkout from 4.1.1 to 4.1.2

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago - 1 comment
Labels: dependencies, github_actions

#207 - chore: bump versions for release

Pull Request - State: closed - Opened by camshaft 8 months ago

#206 - replace with_iterations with with_test_time

Pull Request - State: closed - Opened by Ekleog 9 months ago - 5 comments

#205 - avoid infinite loop with invalid objects

Pull Request - State: closed - Opened by Ekleog 9 months ago - 1 comment

#204 - allow bolero tests to run on wasm32-unknown-unknown

Pull Request - State: open - Opened by Ekleog 10 months ago - 2 comments

#202 - fix: actually limit the time taken to shrink

Pull Request - State: closed - Opened by Ekleog 10 months ago - 4 comments

#201 - build(deps): bump model-checking/kani-github-action from 1.0 to 1.1

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies, github_actions

#200 - fix: use exclusive modulus for uniform samples

Pull Request - State: closed - Opened by camshaft 11 months ago

#199 - Uniform never generates upper value

Issue - State: closed - Opened by glebpom 11 months ago - 2 comments

#198 - make error messages more explicit

Pull Request - State: closed - Opened by Ekleog-NEAR 11 months ago

#198 - make error messages more explicit

Pull Request - State: closed - Opened by Ekleog-NEAR 11 months ago

#197 - build(deps): bump JamesIves/github-pages-deploy-action from 4.4.3 to 4.5.0

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago
Labels: dependencies, github_actions

#197 - build(deps): bump JamesIves/github-pages-deploy-action from 4.4.3 to 4.5.0

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago
Labels: dependencies, github_actions

#196 - `cargo bolero list` should not need to run the whole test suite

Issue - State: open - Opened by Ekleog-NEAR 12 months ago - 6 comments

#196 - `cargo bolero list` should not need to run the whole test suite

Issue - State: open - Opened by Ekleog-NEAR 12 months ago - 6 comments

#195 - fix: fix `cargo bolero list` when some tests are failing

Pull Request - State: closed - Opened by Ekleog-NEAR 12 months ago - 2 comments

#194 - Use bolero generators from any location in kani proof

Issue - State: open - Opened by camshaft about 1 year ago

#193 - rename `gen` method

Issue - State: open - Opened by camshaft about 1 year ago

#192 - build(deps): bump actions/checkout from 4.1.0 to 4.1.1

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, github_actions

#191 - docs: remove specific versions from the book

Pull Request - State: closed - Opened by camshaft about 1 year ago

#190 - fix(bolero-kani): use cover instead of assume

Pull Request - State: closed - Opened by camshaft about 1 year ago

#190 - fix(bolero-kani): use cover instead of assume

Pull Request - State: closed - Opened by camshaft about 1 year ago

#190 - fix(bolero-kani): use cover instead of assume

Pull Request - State: closed - Opened by camshaft about 1 year ago

#189 - chore: release 0.10.0

Pull Request - State: closed - Opened by camshaft about 1 year ago - 1 comment

#189 - chore: release 0.10.0

Pull Request - State: closed - Opened by camshaft about 1 year ago

#189 - chore: release 0.10.0

Pull Request - State: closed - Opened by camshaft about 1 year ago

#187 - build(deps): bump model-checking/kani-github-action from 0.37 to 1.0

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, github_actions

#187 - build(deps): bump model-checking/kani-github-action from 0.37 to 1.0

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, github_actions

#187 - build(deps): bump model-checking/kani-github-action from 0.37 to 1.0

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, github_actions

#187 - build(deps): bump model-checking/kani-github-action from 0.37 to 1.0

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, github_actions

#186 - make with_iterations and with_max_len actually usable

Pull Request - State: closed - Opened by Ekleog-NEAR about 1 year ago - 1 comment

#186 - make with_iterations and with_max_len actually usable

Pull Request - State: closed - Opened by Ekleog-NEAR about 1 year ago - 1 comment

#186 - make with_iterations and with_max_len actually usable

Pull Request - State: closed - Opened by Ekleog-NEAR about 1 year ago - 1 comment

#186 - make with_iterations and with_max_len actually usable

Pull Request - State: closed - Opened by Ekleog-NEAR about 1 year ago - 1 comment

#186 - make with_iterations and with_max_len actually usable

Pull Request - State: closed - Opened by Ekleog-NEAR about 1 year ago - 1 comment

#185 - fix: relax unwind safety requirements

Pull Request - State: closed - Opened by Ekleog-NEAR about 1 year ago

#184 - build(deps): bump actions/checkout from 4.0.0 to 4.1.0

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, github_actions

#183 - ci: add checks for bin and lib dirs

Pull Request - State: closed - Opened by camshaft about 1 year ago

#183 - ci: add checks for bin and lib dirs

Pull Request - State: closed - Opened by camshaft about 1 year ago

#183 - ci: add checks for bin and lib dirs

Pull Request - State: closed - Opened by camshaft about 1 year ago

#182 - feat: add random engine

Pull Request - State: closed - Opened by camshaft about 1 year ago

#181 - feat: add depth guard

Pull Request - State: closed - Opened by camshaft about 1 year ago

#181 - feat: add depth guard

Pull Request - State: closed - Opened by camshaft about 1 year ago

#180 - build(deps): bump model-checking/kani-github-action from 0.36 to 0.37

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, github_actions

#179 - new "random" engine

Issue - State: closed - Opened by mwhicks1 about 1 year ago

#178 - test: improve rust version setup

Pull Request - State: closed - Opened by camshaft about 1 year ago

#177 - fix: return the correct exit code following a libfuzzer failure

Pull Request - State: closed - Opened by Ekleog-NEAR about 1 year ago - 2 comments

#176 - fix: patch libfuzzer to support jobs argument

Pull Request - State: closed - Opened by camshaft about 1 year ago - 2 comments

#175 - ci: fix msrv runs

Pull Request - State: closed - Opened by camshaft about 1 year ago

#174 - fix: address clippy warnings

Pull Request - State: closed - Opened by camshaft about 1 year ago

#174 - fix: address clippy warnings

Pull Request - State: closed - Opened by camshaft about 1 year ago

#173 - build(deps): bump model-checking/kani-github-action from 0.33 to 0.36

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, github_actions

#173 - build(deps): bump model-checking/kani-github-action from 0.33 to 0.36

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, github_actions

#173 - build(deps): bump model-checking/kani-github-action from 0.33 to 0.36

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, github_actions