Patronus
- Coverage
- 21.74%
10 out of 46 items documented0 out of 43 items with examples - Links
- Homepage
-
cucapra/patronus
12 5 2 - crates.io
- Dependencies
-
- codespan-reporting ^0.11.1 normal
- easy-smt ^0.2.1 normal
- fuzzy-matcher ^0.3.7 normal
- indexmap ^2.0.0 normal
- lazy_static ^1.4.0 normal
- num-bigint ^0.4.4 normal
- num-integer ^0.1.45 normal
- num-traits ^0.2.17 normal
- rand ^0.8.5 normal
- rand_xoshiro ^0.6.0 normal
- smallvec ^1.11.2 normal
- string-interner ^0.14.0 normal
- clap ^4.4.8 dev
- insta ^1.34.0 dev
- Versions
-
- 0.34.2 (2025-10-20)
- 0.34.1 (2025-08-26)
- 0.34.0 (2025-08-26)
- 0.33.0 (2025-06-09)
- 0.32.0 (2025-01-10)
- 0.30.0 (2024-12-16)
- 0.29.0 (2024-12-11)
- 0.28.2 (2024-12-10)
- 0.28.1 (2024-12-10)
- 0.27.1 (2024-12-04)
- 0.26.0 (2024-12-03)
- 0.25.0 (2024-12-02)
- 0.24.0 (2024-11-26)
- 0.23.1 (2024-11-22)
- 0.22.0 (2024-11-08)
- 0.21.0 (2024-11-08)
- 0.20.0 (2024-11-08)
- 0.19.1 (2024-10-18)
- 0.19.0 (2024-10-18)
- 0.18.5 (2024-08-29)
- 0.18.4 (2024-08-29)
- 0.18.3 (2024-08-27)
- 0.18.2 (2024-08-24)
- 0.18.1 (2024-08-14)
- 0.18.0 (2024-08-06)
- Owners
-
