licenses.dev

model v0.0.4

model-based testing for data structures, with linearizability checking

Published on

Licenses

Learn more about license information.

Package Licenses

Apache-2.0 OR MIT

Dependency Licenses

Apache-2.0 OR MIT44
PackageRelationDependenciesPublished
autocfg • 1.4.0Automatic cfg for Rust compiler featuresINDIRECT0
bit-set • 0.5.3A set of bitsINDIRECT1
bit-vec • 0.6.3A vector of bitsINDIRECT0
bitflags • 1.3.2A macro to generate structures which behave like bitflags. INDIRECT0
bitflags • 2.6.0A macro to generate structures which behave like bitflags. INDIRECT0
cfg-if • 1.0.0A macro to ergonomically define an item depending on a large number of #[cfg] parameters. Structured like an if-else chain, the first matching branch is the item that gets emitted. INDIRECT0
errno • 0.3.9Cross-platform interface to the `errno` variable.INDIRECT11
fastrand • 2.1.1A simple and fast random number generatorINDIRECT0
fnv • 1.0.7Fowler–Noll–Vo hash functionINDIRECT0
lazy_static • 1.5.0A macro for declaring lazily evaluated statics in Rust.INDIRECT0
libc • 0.2.161Raw FFI bindings to platform libraries like libc. INDIRECT0
num-traits • 0.2.19Numeric traits for generic mathematicsINDIRECT1
permutohedron • 0.2.4Generate permutations of sequences. Either lexicographical order permutations, or a minimal swaps permutation sequence implemented using Heap's algorithm.DIRECT0
proptest • 0.7.2Hypothesis-like property-based testing and shrinking. DIRECT47
quick-error • 1.2.3 A macro which makes error types pleasant to write. INDIRECT0
rand_core • 0.3.1Core random number generator traits and tools for implementation. INDIRECT1
rand_core • 0.4.2Core random number generator traits and tools for implementation. INDIRECT0
rand • 0.4.6Random number generators and other randomness functionality. INDIRECT8
regex-syntax • 0.4.2A regular expression parser.INDIRECT0
rusty-fork • 0.2.2Cross-platform library for running Rust tests in sub-processes using a fork-like interface. INDIRECT32
tempfile • 3.8.0A library for managing temporary files and directories.INDIRECT28
wait-timeout • 0.2.0A crate to wait on a child process with a timeout specified across Unix and Windows platforms. INDIRECT1
winapi-i686-pc-windows-gnu • 0.4.0Import libraries for the i686-pc-windows-gnu target. Please don't use this crate directly, depend on winapi instead.INDIRECT0
winapi-x86_64-pc-windows-gnu • 0.4.0Import libraries for the x86_64-pc-windows-gnu target. Please don't use this crate directly, depend on winapi instead.INDIRECT0
winapi • 0.3.9Raw FFI bindings for all of Windows API.INDIRECT2
windows_aarch64_gnullvm • 0.48.5Import lib for WindowsINDIRECT0
windows_aarch64_gnullvm • 0.52.6Import lib for WindowsINDIRECT0
windows_aarch64_msvc • 0.48.5Import lib for WindowsINDIRECT0
windows_aarch64_msvc • 0.52.6Import lib for WindowsINDIRECT0
windows_i686_gnu • 0.48.5Import lib for WindowsINDIRECT0
windows_i686_gnu • 0.52.6Import lib for WindowsINDIRECT0
windows_i686_gnullvm • 0.52.6Import lib for WindowsINDIRECT0
windows_i686_msvc • 0.48.5Import lib for WindowsINDIRECT0
windows_i686_msvc • 0.52.6Import lib for WindowsINDIRECT0
windows_x86_64_gnu • 0.48.5Import lib for WindowsINDIRECT0
windows_x86_64_gnu • 0.52.6Import lib for WindowsINDIRECT0
windows_x86_64_gnullvm • 0.48.5Import lib for WindowsINDIRECT0
windows_x86_64_gnullvm • 0.52.6Import lib for WindowsINDIRECT0
windows_x86_64_msvc • 0.48.5Import lib for WindowsINDIRECT0
windows_x86_64_msvc • 0.52.6Import lib for WindowsINDIRECT0
windows-sys • 0.48.0Rust for WindowsINDIRECT8
windows-sys • 0.52.0Rust for WindowsINDIRECT9
windows-targets • 0.48.5Import libs for WindowsINDIRECT7
windows-targets • 0.52.6Import libs for WindowsINDIRECT8
Apache-2.0 OR MIT OR Apache-2.0 WITH LLVM-exception2
PackageRelationDependenciesPublished
linux-raw-sys • 0.4.14Generated bindings for Linux's userspace APIINDIRECT0
rustix • 0.38.10Safe Rust bindings to POSIX/Unix/Linux/Winsock-like syscallsINDIRECT23
non-standard1
PackageRelationDependenciesPublished
fuchsia-cprng • 0.1.1Rust crate for the Fuchsia cryptographically secure pseudorandom number generatorINDIRECT0
ISC1
PackageRelationDependenciesPublished
rdrand • 0.4.0An implementation of random number generator based on rdrand and rdseed instructionsINDIRECT2
MIT1
PackageRelationDependenciesPublished
redox_syscall • 0.3.5A Rust library to access raw Redox system callsINDIRECT1
Last updated on

Copy the licenses badge code for the latest version:

[![licenses](https://licenses.dev/b/cargo/model)](https://licenses.dev/cargo/model)
<a href="https://licenses.dev/cargo/model">
  <img src="https://licenses.dev/b/cargo/model" alt="licenses" />
</a>

Or the licenses badge code for the 0.0.4 version:

[![licenses](https://licenses.dev/b/cargo/model/0.0.4)](https://licenses.dev/cargo/model/0.0.4)
<a href="https://licenses.dev/cargo/model/0.0.4">
  <img src="https://licenses.dev/b/cargo/model/0.0.4" alt="licenses" />
</a>
GitHub