- Coverage
- 26.47%
9 out of 34 items documented0 out of 32 items with examples - Ø build duration
- all releases: 38s Average build duration of successful builds in releases after 2024-10-23.
- Links
- Homepage
-
cucapra/patronus
12 6 3 - 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.17.3 (2024-05-13)
- 0.17.2 (2024-05-13)
- 0.17.1 (2024-05-13)
- 0.17.0 (2024-05-13)
- 0.16.0 (2024-01-06)
- 0.15.5 (2024-01-05)
- 0.15.4 (2024-01-05)
- 0.15.3 (2024-01-05)
- 0.15.2 (2024-01-05)
- 0.15.1 (2024-01-04)
- 0.14.1 (2024-01-02)
- 0.14.0 (2023-12-18)
- 0.13.2 (2023-12-18)
- 0.13.1 (2023-12-18)
- 0.13.0 (2023-12-18)
- 0.12.3 (2023-12-18)
- 0.11.2 (2023-12-15)
- 0.11.1 (2023-12-15)
- 0.11.0 (2023-12-15)
- 0.10.0 (2023-12-15)
- 0.9.5 (2023-12-14)
- 0.9.4 (2023-12-14)
- 0.9.3 (2023-12-14)
- 0.9.2 (2023-12-13)
- 0.9.1 (2023-12-13)
- 0.9.0 (2023-12-13)
- 0.8.4 (2023-12-13)
- 0.8.3 (2023-12-13)
- 0.8.2 (2023-12-12)
- 0.8.1 (2023-12-12)
- 0.8.0 (2023-12-12)
- 0.7.3 (2023-12-12)
- 0.7.2 (2023-12-12)
- 0.7.1 (2023-12-12)
- 0.7.0 (2023-12-12)
- 0.6.3 (2023-12-09)
- 0.6.2 (2023-12-09)
- 0.6.1 (2023-12-09)
- 0.6.0 (2023-12-08)
- 0.5.1 (2023-12-08)
- 0.5.0 (2023-12-08)
- 0.4.6 (2023-12-08)
- 0.4.5 (2023-12-08)
- 0.4.4 (2023-12-08)
- 0.4.3 (2023-12-07)
- 0.4.2 (2023-12-07)
- 0.4.1 (2023-12-07)
- 0.4.0 (2023-12-07)
- 0.3.1 (2023-12-04)
- 0.1.0 (2023-09-05)
- Owners
-
