Skip to content

harrisonkaiser/duvet

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

16 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

No description, website, or topics provided.

Resources

License

Code of conduct

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Rust 73.7%
  • JavaScript 26.0%
  • Other 0.3%