{"crate":{"id":"kani","name":"kani","updated_at":"2024-05-21T21:35:08.861477Z","versions":[1151159,357438],"keywords":["model-checking","verification"],"categories":["development-tools"],"badges":[],"created_at":"2021-03-28T07:32:07.071636Z","downloads":81589,"recent_downloads":53970,"default_version":"0.0.1","num_versions":2,"yanked":false,"max_version":"0.0.1","newest_version":"0.0.1","max_stable_version":"0.0.1","description":"Placeholder crate for the library of the Kani Rust verifier.","homepage":"https://github.com/model-checking/kani","documentation":"https://model-checking.github.io/kani/","repository":"https://github.com/model-checking/kani","links":{"version_downloads":"/api/v1/crates/kani/downloads","versions":null,"owners":"/api/v1/crates/kani/owners","owner_team":"/api/v1/crates/kani/owner_team","owner_user":"/api/v1/crates/kani/owner_user","reverse_dependencies":"/api/v1/crates/kani/reverse_dependencies"},"exact_match":false,"trustpub_only":false},"versions":[{"id":1151159,"crate":"kani","num":"0.0.1","dl_path":"/api/v1/crates/kani/0.0.1/download","readme_path":"/api/v1/crates/kani/0.0.1/readme","updated_at":"2024-05-21T21:35:08.861477Z","created_at":"2024-05-21T21:35:08.861477Z","downloads":79137,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT OR Apache-2.0","links":{"dependencies":"/api/v1/crates/kani/0.0.1/dependencies","version_downloads":"/api/v1/crates/kani/0.0.1/downloads","authors":"/api/v1/crates/kani/0.0.1/authors"},"crate_size":5230,"published_by":{"id":231321,"login":"remi-delmas-3000","name":"Rémi Delmas","avatar":"https://avatars.githubusercontent.com/u/2735543?v=4","url":"https://github.com/remi-delmas-3000","github_username_matches":true,"created_at":"2012-11-06T14:10:56Z"},"audit_actions":[{"action":"publish","user":{"id":231321,"login":"remi-delmas-3000","name":"Rémi Delmas","avatar":"https://avatars.githubusercontent.com/u/2735543?v=4","url":"https://github.com/remi-delmas-3000","github_username_matches":true,"created_at":"2012-11-06T14:10:56Z"},"time":"2024-05-21T21:35:08.861477Z"}],"checksum":"7b4b7234edbef8bfed0dd44c39b0cd344d4ef7fa2bcb5dec3c9c334874ed8744","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2021","description":"Placeholder crate for the library of the Kani Rust verifier.","homepage":"https://github.com/model-checking/kani","documentation":"https://model-checking.github.io/kani/","repository":"https://github.com/model-checking/kani","trustpub_data":null,"linecounts":{"languages":{"Rust":{"code_lines":3,"comment_lines":2,"files":1}},"total_code_lines":3,"total_comment_lines":2}},{"id":357438,"crate":"kani","num":"0.0.0","dl_path":"/api/v1/crates/kani/0.0.0/download","readme_path":"/api/v1/crates/kani/0.0.0/readme","updated_at":"2021-03-28T07:32:07.071636Z","created_at":"2021-03-28T07:32:07.071636Z","downloads":2452,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT OR Apache-2.0","links":{"dependencies":"/api/v1/crates/kani/0.0.0/dependencies","version_downloads":"/api/v1/crates/kani/0.0.0/downloads","authors":"/api/v1/crates/kani/0.0.0/authors"},"crate_size":762,"published_by":{"id":117091,"login":"jwollen","name":"Jörg Wollenschläger","avatar":"https://avatars.githubusercontent.com/u/5303193?v=4","url":"https://github.com/jwollen","github_username_matches":true,"created_at":"2013-08-24T21:24:39Z"},"audit_actions":[{"action":"publish","user":{"id":117091,"login":"jwollen","name":"Jörg Wollenschläger","avatar":"https://avatars.githubusercontent.com/u/5303193?v=4","url":"https://github.com/jwollen","github_username_matches":true,"created_at":"2013-08-24T21:24:39Z"},"time":"2021-03-28T07:32:07.071636Z"}],"checksum":"3ec3aa1b9cb1effb3bc431cd5cef7947ab87997c82140c66c621e04fbc86c802","rust_version":null,"has_lib":true,"bin_names":[],"edition":null,"description":"placeholder","homepage":null,"documentation":null,"repository":null,"trustpub_data":null,"linecounts":{"languages":{"Rust":{"code_lines":0,"comment_lines":0,"files":1}},"total_code_lines":0,"total_comment_lines":0}}],"keywords":[{"id":"model-checking","keyword":"model-checking","created_at":"2018-05-12T19:15:33.864884Z","crates_cnt":35},{"id":"verification","keyword":"verification","created_at":"2016-08-17T09:23:40.443137Z","crates_cnt":490}],"categories":[{"id":"development-tools","category":"Development tools","slug":"development-tools","description":"Crates that provide developer-facing features such as testing, debugging, linting, performance profiling, autocompletion, formatting, and more.","created_at":"2016-12-30T23:42:37.777395Z","crates_cnt":22146}]}