4 releases (2 breaking)

0.2.0 Nov 17, 2022
0.1.1 Oct 7, 2022
0.1.0 Aug 16, 2022
0.0.0 Feb 9, 2022
Download history 33/week @ 2022-10-14 25/week @ 2022-10-21 50/week @ 2022-10-28 33/week @ 2022-11-04 68/week @ 2022-11-11 47/week @ 2022-11-18 63/week @ 2022-11-25 103/week @ 2022-12-02 61/week @ 2022-12-09 108/week @ 2022-12-16 35/week @ 2022-12-23 74/week @ 2022-12-30 59/week @ 2023-01-06 43/week @ 2023-01-13 71/week @ 2023-01-20 94/week @ 2023-01-27

282 downloads per month

Apache-2.0

1MB
4K SLoC

Duvet

A code quality tool to help bound correctness. By starting from a specification Duvet extracts every RFC 2119 requirement. Duvet can then use this information to report on a code base. Duvet can then report on every requirement, where it is honored in source, as well as how that source is tested.

Support

This tool is still in beta. Interfaces should be considered unstable and may change before the 1.0.0 release.

Test

cargo test

Build

If there are any changes to the JS it will also need to be built. In the www directory run make build

Install

cargo +stable install --force --path .

Security

See CONTRIBUTING for more information.

License

This project is licensed under the Apache-2.0 License.

Dependencies

~8–17MB
~350K SLoC