logic-solver-rs icon indicating copy to clipboard operation
logic-solver-rs copied to clipboard

Results 6 logic-solver-rs issues
Sort by recently updated
recently updated
newest added

Bumps [insta](https://github.com/mitsuhiko/insta) from 1.7.1 to 1.26.0. Changelog Sourced from insta's changelog. 1.26.0 Make canonicalization in glob! optional to better support WASI. 1.25.0 Added a way to disable the undiscoverable snapshots...

dependencies
rust

Bumps [serde](https://github.com/serde-rs/serde) from 1.0.126 to 1.0.152. Release notes Sourced from serde's releases. v1.0.152 Documentation improvements v1.0.151 Update serde::{ser,de}::StdError to re-export core::error::Error when serde is built with feature="std" off and feature="unstable"...

dependencies
rust

Bumps [serde_json](https://github.com/serde-rs/json) from 1.0.66 to 1.0.91. Release notes Sourced from serde_json's releases. v1.0.90 Documentation improvements v1.0.89 Fix invalid JSON incorrectly accepted when a large number has no digits after decimal...

dependencies
rust

Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.25 to 1.0.38. Release notes Sourced from thiserror's releases. 1.0.38 Documentation improvements 1.0.37 Documentation improvements 1.0.36 Documentation improvements (#195, thanks @​matklad) 1.0.35 More work on integrating std::any::Provider...

dependencies
rust

Bumps [actions/checkout](https://github.com/actions/checkout) from 2 to 3.1.0. Release notes Sourced from actions/checkout's releases. v3.1.0 What's Changed Inject GitHub host to be able to clone from another GitHub instance by @​peter-murray in...

dependencies
github_actions

Bumps [structopt](https://github.com/TeXitoi/structopt) from 0.3.21 to 0.3.26. Changelog Sourced from structopt's changelog. v0.3.25 (2021-10-18) Fix duplication of aliases in subcommands #504 v0.3.25 (2021-10-18) No changes v0.3.23 (2021-08-30) Update minimal rust version...

dependencies
rust