search

lurk-lab / lurk-rs

Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
https://lurk-lang.org/
Apache License 2.0
418 stars 54 forks source link

chore(deps): bump the rust-dependencies group across 1 directory with 2 updates #1253

Closed dependabot[bot] closed 1 week ago

dependabot[bot] commented 1 week ago

Updates the requirements on proptest-derive and statrs to permit the latest version. Updates proptest-derive to 0.4.0

Changelog

Sourced from proptest-derive's changelog.

0.4.0

Potential Breaking Changes

  • proptest::char::ANY replaced with proptest::char::any(). proptest::char::ANY is present but deprecated, and will be removed in proptest 0.5.0.

  • Instead of returning -> Result<Self::Value, String>, strategies are expected to return -> Result<Self::Value, Reason> instead. Reason reduces the amount of heap allocations, especially for .prop_filter(..) where you may now also pass in &'static str. You will only experience breaks if you've written your own strategy types or if you've used TestCaseError::Reject or TestCaseError::Fail explicitly.

  • Update of externally-visible crate rand to 0.4.2.

New Additions

  • Added proptest::test_runner::Reason which allows you to avoid heap allocation in some places and may be used to make the API richer in the future without incurring more breaking changes.

  • Added a type alias proptest::strategy::NewTree<S> where S: Strategy defined as: type NewTree<S> = Result<<S as Strategy>::Value, Rejection>.

0.3.4

Bug Fixes

  • Cases where file!() returns a relative path, such as on Windows, are now handled more reasonably. See #24 for more details and instructions on how to migrate any persistence files that had been written to the wrong location.

0.3.3

Boxing Day Special

New Additions

  • Added support for i128 and u128. Since this is an unstable feature in Rust, this is hidden behind the feature unstable which you have to explicitly opt into in your Cargo.toml file.

  • Failing case persistence. By default, when a test fails, Proptest will now save the seed for the failing test to a file, and later runs will test the persisted failing cases before generating new ones.

... (truncated)

Commits


Updates statrs to 0.17.1

Release notes

Sourced from statrs's releases.

v0.17.1

Revival!

A few fixes, some dependency updates, most notably nalgebra. Breaking changes in statrs::StatsError, expect more changes later.

Commits
  • 41555a1 chore: Release statrs version 0.17.1
  • 74edc70 fix(bench): code in benches still needs criterion
  • 4523efc release(bench): removing benches from package requires remove benches from ma...
  • 885a098 fix: handle signed infinty in prec::almost_eq
  • 09939ce release: 0.17.0
  • 673e3cc doc: update changelog for merged PRs
  • af8e238 chore: docstring math should text instead of ignore
  • e8e9c61 fix: handle assertions for inf in prec::almost_eq
  • 7fa8336 Make prec::almost_eq a wrapper for abs_diff_eq
  • 3e7970e Create dependabot.yml
  • Additional commits viewable in compare view


Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot show ignore conditions` will show all of the ignore conditions of the specified dependency - `@dependabot ignore major version` will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself) - `@dependabot ignore minor version` will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself) - `@dependabot ignore ` will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself) - `@dependabot unignore ` will remove all of the ignore conditions of the specified dependency - `@dependabot unignore ` will remove the ignore condition of the specified dependency and ignore conditions