search

conjure-cp / conjure-oxide

Mozilla Public License 2.0
7 stars 8 forks source link

Bump the all group with 7 updates #267

Closed dependabot[bot] closed 2 months ago

dependabot[bot] commented 2 months ago

Bumps the all group with 7 updates:

Package From To
serde_with 3.6.1 3.7.0
thiserror 1.0.57 1.0.58
anyhow 1.0.80 1.0.81
clap 4.5.2 4.5.3
versions 6.1.0 6.2.0
syn 2.0.52 2.0.53
proc-macro2 1.0.78 1.0.79

Updates serde_with from 3.6.1 to 3.7.0

Release notes

Sourced from serde_with's releases.

serde_with v3.7.0

Added

Fixed

  • Detect conflicting schema_with attributes on fields with schemars annotations by @​swlynch99 (#715) This extends the existing avoidance mechanism to a new variant fixing #712.
Commits
  • bcda3fa Bump version to 3.7.0 (#720)
  • a446da1 Bump version to 3.7.0
  • 7e9772f Implement JsonSchemaAs for OneOrMany (#719)
  • 5e36083 Add impls and tests for OneOrMany
  • c5c35db Implement JsonSchemaAs for KeyValueMap (#713)
  • 046f820 Bump the github-actions group with 1 update (#718)
  • 7e87fe5 Bump the github-actions group with 1 update
  • ffade77 Add JsonSchemaAs impl for IfIsHumanReadable (#717)
  • bb2ab60 Add JsonSchemaAs impl for IfIsHumanReadable
  • a804257 Implement JsonSchemaAs for KeyValueMap
  • Additional commits viewable in compare view


Updates thiserror from 1.0.57 to 1.0.58

Release notes

Sourced from thiserror's releases.

1.0.58

  • Make backtrace support available when using -Dwarnings (#292)
Commits


Updates anyhow from 1.0.80 to 1.0.81

Release notes

Sourced from anyhow's releases.

1.0.81

  • Make backtrace support available when using -Dwarnings (#354)
Commits


Updates clap from 4.5.2 to 4.5.3

Release notes

Sourced from clap's releases.

v4.5.3

[4.5.3] - 2024-03-15

Internal

  • (derive) Update heck
Changelog

Sourced from clap's changelog.

[4.5.3] - 2024-03-15

Internal

  • (derive) Update heck
Commits


Updates versions from 6.1.0 to 6.2.0

Release notes

Sourced from versions's releases.

6.2.0

Added

  • Requirement::serialize for pretty-encoding of version "requirements strings".
Changelog

Sourced from versions's changelog.

6.2.0 (2024-03-18)

Added

  • Requirement::serialize for pretty-encoding of version "requirements strings".
Commits


Updates syn from 2.0.52 to 2.0.53

Release notes

Sourced from syn's releases.

2.0.53

  • Implement Copy, Clone, and ToTokens for syn::parse::Nothing (#1597)
Commits
  • 32dcf8d Release 2.0.53
  • fd1f2aa Merge pull request #1597 from dtolnay/copyprintnothing
  • 4f6c052 Implement ToTokens for syn::parse::Nothing
  • 3f37543 Implement Copy for syn::parse::Nothing
  • 36a4122 Update test suite to nightly-2024-03-16
  • bd93106 Revert "Temporarily disable nightly testing due to libLLVM link issue"
  • 06166a7 Update test suite to nightly-2024-03-09
  • ed545e7 Work around doc_markdown lint in test_precedence
  • 7aef1ed Temporarily disable nightly testing due to libLLVM link issue
  • 556b10b Update test suite to nightly-2024-03-06
  • Additional commits viewable in compare view


Updates proc-macro2 from 1.0.78 to 1.0.79

Release notes

Sourced from proc-macro2's releases.

1.0.79

  • Clean up dead code
Commits
  • 4ba4ab1 Release 1.0.79
  • b176581 Prevent new lint from turning off nightly span support under -Dwarnings
  • b9cd864 Fix dead_code warning on fallback SourceFile
  • e94f432 Ignore incompatible_msrv clippy lint for conditionally compiled code
  • 18c75c6 Ignore dead_code warning in test
  • 5cd21eb Update ui test suite to nightly-2024-02-01
  • See full diff 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
github-actions[bot] commented 2 months ago

Documentation Coverage

This PR ``` +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | crates/uniplate_derive/src/lib.rs | 1 | 50.0% | 1 | 50.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 1 | 50.0% | 1 | 50.0% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | ...m_compatability_macro/src/lib.rs | 2 | 100.0% | 1 | 50.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 2 | 100.0% | 1 | 50.0% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | solvers/kissat/src/lib.rs | 0 | 0.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 0 | 0.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | ...jure_rules_proc_macro/src/lib.rs | 3 | 100.0% | 1 | 33.3% | +-------------------------------------+------------+------------+------------+------------+ | Total | 3 | 100.0% | 1 | 33.3% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | crates/conjure_rules/src/lib.rs | 5 | 100.0% | 4 | 80.0% | | ...es/conjure_rules/src/rule_set.rs | 6 | 75.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 11 | 84.6% | 4 | 44.4% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | crates/uniplate/src/lib.rs | 1 | 100.0% | 1 | 100.0% | | crates/uniplate/src/uniplate.rs | 9 | 69.2% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 10 | 71.4% | 1 | 7.7% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | crates/conjure_core/src/ast.rs | 42 | 58.3% | 0 | 0.0% | | crates/conjure_core/src/lib.rs | 0 | 0.0% | 0 | 0.0% | | crates/conjure_core/src/metadata.rs | 0 | 0.0% | 0 | 0.0% | | crates/conjure_core/src/rule.rs | 6 | 30.0% | 0 | 0.0% | | crates/conjure_core/src/solvers.rs | 2 | 40.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 50 | 49.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | solvers/minion/src/ast.rs | 11 | 11.2% | 0 | 0.0% | | solvers/minion/src/error.rs | 8 | 100.0% | 0 | 0.0% | | solvers/minion/src/lib.rs | 1 | 100.0% | 1 | 100.0% | | solvers/minion/src/run.rs | 2 | 100.0% | 1 | 100.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 22 | 20.2% | 2 | 11.8% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | conjure_oxide/src/error.rs | 1 | 14.3% | 0 | 0.0% | | conjure_oxide/src/find_conjure.rs | 1 | 50.0% | 0 | 0.0% | | ...ure_oxide/src/generate_custom.rs | 2 | 66.7% | 0 | 0.0% | | conjure_oxide/src/lib.rs | 0 | 0.0% | 0 | 0.0% | | conjure_oxide/src/parse.rs | 0 | 0.0% | 0 | 0.0% | | ...ure_oxide/src/rule_engine/mod.rs | 0 | 0.0% | 0 | 0.0% | | ...src/rule_engine/resolve_rules.rs | 4 | 57.1% | 0 | 0.0% | | ...oxide/src/rule_engine/rewrite.rs | 1 | 25.0% | 0 | 0.0% | | conjure_oxide/src/rules/constant.rs | 1 | 100.0% | 0 | 0.0% | | conjure_oxide/src/rules/mod.rs | 0 | 0.0% | 0 | 0.0% | | ...de/src/solver/adaptors/kissat.rs | 1 | 100.0% | 0 | 0.0% | | ...de/src/solver/adaptors/minion.rs | 1 | 100.0% | 0 | 0.0% | | ...oxide/src/solver/adaptors/mod.rs | 1 | 100.0% | 0 | 0.0% | | conjure_oxide/src/solver/mod.rs | 13 | 35.1% | 1 | 4.5% | | ...ide/src/solver/model_modifier.rs | 7 | 70.0% | 0 | 0.0% | | conjure_oxide/src/solver/states.rs | 7 | 58.3% | 0 | 0.0% | | conjure_oxide/src/solver/stats.rs | 1 | 33.3% | 0 | 0.0% | | conjure_oxide/src/utils/conjure.rs | 0 | 0.0% | 0 | 0.0% | | conjure_oxide/src/utils/json.rs | 2 | 66.7% | 0 | 0.0% | | conjure_oxide/src/utils/misc.rs | 0 | 0.0% | 0 | 0.0% | | conjure_oxide/src/utils/mod.rs | 0 | 0.0% | 0 | 0.0% | | conjure_oxide/src/utils/testing.rs | 0 | 0.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 43 | 37.4% | 1 | 1.3% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | ...6b865366/out/chuffed_bindings.rs | 0 | 0.0% | 0 | 0.0% | | solvers/chuffed/src/lib.rs | 0 | 0.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 0 | 0.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ ```
Main ``` +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | crates/uniplate_derive/src/lib.rs | 1 | 50.0% | 1 | 50.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 1 | 50.0% | 1 | 50.0% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | ...jure_rules_proc_macro/src/lib.rs | 3 | 100.0% | 1 | 33.3% | +-------------------------------------+------------+------------+------------+------------+ | Total | 3 | 100.0% | 1 | 33.3% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | ...m_compatability_macro/src/lib.rs | 2 | 100.0% | 1 | 50.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 2 | 100.0% | 1 | 50.0% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | crates/conjure_rules/src/lib.rs | 5 | 100.0% | 4 | 80.0% | | ...es/conjure_rules/src/rule_set.rs | 6 | 75.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 11 | 84.6% | 4 | 44.4% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | crates/conjure_core/src/ast.rs | 42 | 58.3% | 0 | 0.0% | | crates/conjure_core/src/lib.rs | 0 | 0.0% | 0 | 0.0% | | crates/conjure_core/src/metadata.rs | 0 | 0.0% | 0 | 0.0% | | crates/conjure_core/src/rule.rs | 6 | 30.0% | 0 | 0.0% | | crates/conjure_core/src/solvers.rs | 2 | 40.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 50 | 49.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | crates/uniplate/src/lib.rs | 1 | 100.0% | 1 | 100.0% | | crates/uniplate/src/uniplate.rs | 9 | 69.2% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 10 | 71.4% | 1 | 7.7% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | solvers/kissat/src/lib.rs | 0 | 0.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 0 | 0.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | solvers/minion/src/ast.rs | 11 | 11.2% | 0 | 0.0% | | solvers/minion/src/error.rs | 8 | 100.0% | 0 | 0.0% | | solvers/minion/src/lib.rs | 1 | 100.0% | 1 | 100.0% | | solvers/minion/src/run.rs | 2 | 100.0% | 1 | 100.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 22 | 20.2% | 2 | 11.8% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | conjure_oxide/src/error.rs | 1 | 14.3% | 0 | 0.0% | | conjure_oxide/src/find_conjure.rs | 1 | 50.0% | 0 | 0.0% | | ...ure_oxide/src/generate_custom.rs | 2 | 66.7% | 0 | 0.0% | | conjure_oxide/src/lib.rs | 0 | 0.0% | 0 | 0.0% | | conjure_oxide/src/parse.rs | 0 | 0.0% | 0 | 0.0% | | ...ure_oxide/src/rule_engine/mod.rs | 0 | 0.0% | 0 | 0.0% | | ...src/rule_engine/resolve_rules.rs | 4 | 57.1% | 0 | 0.0% | | ...oxide/src/rule_engine/rewrite.rs | 1 | 25.0% | 0 | 0.0% | | conjure_oxide/src/rules/constant.rs | 1 | 100.0% | 0 | 0.0% | | conjure_oxide/src/rules/mod.rs | 0 | 0.0% | 0 | 0.0% | | ...de/src/solver/adaptors/kissat.rs | 1 | 100.0% | 0 | 0.0% | | ...de/src/solver/adaptors/minion.rs | 1 | 100.0% | 0 | 0.0% | | ...oxide/src/solver/adaptors/mod.rs | 1 | 100.0% | 0 | 0.0% | | conjure_oxide/src/solver/mod.rs | 13 | 35.1% | 1 | 4.5% | | ...ide/src/solver/model_modifier.rs | 7 | 70.0% | 0 | 0.0% | | conjure_oxide/src/solver/states.rs | 7 | 58.3% | 0 | 0.0% | | conjure_oxide/src/solver/stats.rs | 1 | 33.3% | 0 | 0.0% | | conjure_oxide/src/utils/conjure.rs | 0 | 0.0% | 0 | 0.0% | | conjure_oxide/src/utils/json.rs | 2 | 66.7% | 0 | 0.0% | | conjure_oxide/src/utils/misc.rs | 0 | 0.0% | 0 | 0.0% | | conjure_oxide/src/utils/mod.rs | 0 | 0.0% | 0 | 0.0% | | conjure_oxide/src/utils/testing.rs | 0 | 0.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 43 | 37.4% | 1 | 1.3% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | ...d7c5cf6e/out/chuffed_bindings.rs | 0 | 0.0% | 0 | 0.0% | | solvers/chuffed/src/lib.rs | 0 | 0.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 0 | 0.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ ```

Code Coverage

This PR

  lines......: 80.8% (4360 of 5395 lines)
  functions..: 55.9% (443 of 792 functions)
  branches...: no data found

Main

  lines......: 80.8% (4354 of 5388 lines)
  functions..: 55.9% (443 of 792 functions)
  branches...: no data found