{"crate":{"id":"stateright","name":"stateright","updated_at":"2025-07-27T23:53:25.127385Z","versions":[1660059,1162714,882773,810376,519217,381347,377066,376568,373497,361710,360963,358383,358274,357773,353246,348983,342889,339340,336482,329107,328360,325656,321267,316220,314401,312556,312298,310915,307893,288085,288066,285328,283376,278310,269538,269227,266695,266652,266651,261552,261434,259395,254590,249900,248044,247118,208677,201393,157986,117587,102549,99509],"keywords":["actor","model-checking","paxos","raft","simulation"],"categories":["simulation","network-programming","algorithms","development-tools","concurrency"],"badges":[],"created_at":"2018-07-12T05:15:23.519450Z","downloads":14876954,"recent_downloads":639675,"default_version":"0.31.0","num_versions":52,"yanked":false,"max_version":"0.31.0","newest_version":"0.31.0","max_stable_version":"0.31.0","description":"A model checker for implementing distributed systems.","homepage":"https://www.stateright.rs","documentation":null,"repository":"https://github.com/stateright/stateright","links":{"version_downloads":"/api/v1/crates/stateright/downloads","versions":null,"owners":"/api/v1/crates/stateright/owners","owner_team":"/api/v1/crates/stateright/owner_team","owner_user":"/api/v1/crates/stateright/owner_user","reverse_dependencies":"/api/v1/crates/stateright/reverse_dependencies"},"exact_match":false,"trustpub_only":false},"versions":[{"id":1660059,"crate":"stateright","num":"0.31.0","dl_path":"/api/v1/crates/stateright/0.31.0/download","readme_path":"/api/v1/crates/stateright/0.31.0/readme","updated_at":"2025-07-27T23:53:25.127385Z","created_at":"2025-07-27T23:53:25.127385Z","downloads":760981,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.31.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.31.0/downloads","authors":"/api/v1/crates/stateright/0.31.0/authors"},"crate_size":292858,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2025-07-27T23:53:25.127385Z"}],"checksum":"fd1157f21b11916f90fe1f2ac9a8d0e09a8813b28701584141060f414eedf6ba","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2021","description":"A model checker for implementing distributed systems.","homepage":"https://www.stateright.rs","documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":168,"comment_lines":4,"files":1},"HTML":{"code_lines":140,"comment_lines":6,"files":1},"JavaScript":{"code_lines":408,"comment_lines":13,"files":2},"Rust":{"code_lines":9984,"comment_lines":486,"files":36},"Shell":{"code_lines":23,"comment_lines":6,"files":1}},"total_code_lines":10723,"total_comment_lines":515}},{"id":1162714,"crate":"stateright","num":"0.30.2","dl_path":"/api/v1/crates/stateright/0.30.2/download","readme_path":"/api/v1/crates/stateright/0.30.2/readme","updated_at":"2024-06-03T02:51:34.401967Z","created_at":"2024-06-03T02:51:34.401967Z","downloads":5093156,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.30.2/dependencies","version_downloads":"/api/v1/crates/stateright/0.30.2/downloads","authors":"/api/v1/crates/stateright/0.30.2/authors"},"crate_size":284044,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2024-06-03T02:51:34.401967Z"}],"checksum":"ebd37c74ff38ca9e5d370efb7af3c49ecab91cb5644affa23dc54a061d0f3a59","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2021","description":"A model checker for implementing distributed systems.","homepage":"https://www.stateright.rs","documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":168,"comment_lines":4,"files":1},"HTML":{"code_lines":140,"comment_lines":6,"files":1},"JavaScript":{"code_lines":382,"comment_lines":13,"files":2},"Rust":{"code_lines":9152,"comment_lines":467,"files":36},"Shell":{"code_lines":23,"comment_lines":6,"files":1}},"total_code_lines":9865,"total_comment_lines":496}},{"id":882773,"crate":"stateright","num":"0.30.1","dl_path":"/api/v1/crates/stateright/0.30.1/download","readme_path":"/api/v1/crates/stateright/0.30.1/readme","updated_at":"2023-08-27T21:11:23.000349Z","created_at":"2023-08-27T21:11:23.000349Z","downloads":8953186,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.30.1/dependencies","version_downloads":"/api/v1/crates/stateright/0.30.1/downloads","authors":"/api/v1/crates/stateright/0.30.1/authors"},"crate_size":281212,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2023-08-27T21:11:23.000349Z"}],"checksum":"816cf2699dc5736d390feabe5da94fbce999be28d196e36a2a2c402f994f5eb1","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2021","description":"A model checker for implementing distributed systems.","homepage":"https://www.stateright.rs","documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":168,"comment_lines":4,"files":1},"HTML":{"code_lines":140,"comment_lines":6,"files":1},"JavaScript":{"code_lines":382,"comment_lines":13,"files":2},"Rust":{"code_lines":8939,"comment_lines":462,"files":35},"Shell":{"code_lines":23,"comment_lines":6,"files":1}},"total_code_lines":9652,"total_comment_lines":491}},{"id":810376,"crate":"stateright","num":"0.30.0","dl_path":"/api/v1/crates/stateright/0.30.0/download","readme_path":"/api/v1/crates/stateright/0.30.0/readme","updated_at":"2023-05-28T20:24:18.564202Z","created_at":"2023-05-28T20:24:18.564202Z","downloads":1438,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.30.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.30.0/downloads","authors":"/api/v1/crates/stateright/0.30.0/authors"},"crate_size":286205,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2023-05-28T20:24:18.564202Z"}],"checksum":"ca7e73c2941052bdd29db2c1339c11b30490b25de9dbc363c0e2543e92c5949b","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2021","description":"A model checker for implementing distributed systems.","homepage":"https://www.stateright.rs","documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":168,"comment_lines":4,"files":1},"HTML":{"code_lines":140,"comment_lines":6,"files":1},"JavaScript":{"code_lines":382,"comment_lines":13,"files":2},"Rust":{"code_lines":8552,"comment_lines":427,"files":33},"Shell":{"code_lines":23,"comment_lines":6,"files":1}},"total_code_lines":9265,"total_comment_lines":456}},{"id":519217,"crate":"stateright","num":"0.29.0","dl_path":"/api/v1/crates/stateright/0.29.0/download","readme_path":"/api/v1/crates/stateright/0.29.0/readme","updated_at":"2022-03-19T19:29:00.144841Z","created_at":"2022-03-19T19:29:00.144841Z","downloads":2603,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.29.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.29.0/downloads","authors":"/api/v1/crates/stateright/0.29.0/authors"},"crate_size":300600,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2022-03-19T19:29:00.144841Z"}],"checksum":"ffd8c663f6a7627fd8f1be6c6104a9558b2cdbed77a34ca7e41af6a296cf9ceb","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":"https://www.stateright.rs","documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":168,"comment_lines":4,"files":1},"HTML":{"code_lines":110,"comment_lines":4,"files":1},"JavaScript":{"code_lines":324,"comment_lines":11,"files":2},"Rust":{"code_lines":6460,"comment_lines":358,"files":30},"Shell":{"code_lines":23,"comment_lines":6,"files":1}},"total_code_lines":7085,"total_comment_lines":383}},{"id":381347,"crate":"stateright","num":"0.28.0","dl_path":"/api/v1/crates/stateright/0.28.0/download","readme_path":"/api/v1/crates/stateright/0.28.0/readme","updated_at":"2021-05-22T21:59:28.162891Z","created_at":"2021-05-22T21:59:28.162891Z","downloads":2196,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.28.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.28.0/downloads","authors":"/api/v1/crates/stateright/0.28.0/authors"},"crate_size":254977,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2021-05-22T21:59:28.162891Z"}],"checksum":"ade8e9809f0c48d7205a471d49de7fe8bdd9eb30d0760649383a7ed8e8c931d3","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":"https://www.stateright.rs","documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":168,"comment_lines":4,"files":1},"HTML":{"code_lines":110,"comment_lines":4,"files":1},"JavaScript":{"code_lines":324,"comment_lines":11,"files":2},"Rust":{"code_lines":4847,"comment_lines":252,"files":23},"Shell":{"code_lines":20,"comment_lines":5,"files":1}},"total_code_lines":5469,"total_comment_lines":276}},{"id":377066,"crate":"stateright","num":"0.27.1","dl_path":"/api/v1/crates/stateright/0.27.1/download","readme_path":"/api/v1/crates/stateright/0.27.1/readme","updated_at":"2021-05-11T04:15:49.146262Z","created_at":"2021-05-11T04:15:49.146262Z","downloads":1317,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.27.1/dependencies","version_downloads":"/api/v1/crates/stateright/0.27.1/downloads","authors":"/api/v1/crates/stateright/0.27.1/authors"},"crate_size":254427,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2021-05-11T04:15:49.146262Z"}],"checksum":"8544d7a6e47d913f3f006d42e311196b86e191e593fdf62c72a815627b89b022","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":"https://www.stateright.rs","documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":168,"comment_lines":4,"files":1},"HTML":{"code_lines":106,"comment_lines":4,"files":1},"JavaScript":{"code_lines":322,"comment_lines":11,"files":2},"Rust":{"code_lines":4792,"comment_lines":246,"files":23},"Shell":{"code_lines":20,"comment_lines":5,"files":1}},"total_code_lines":5408,"total_comment_lines":270}},{"id":376568,"crate":"stateright","num":"0.27.0","dl_path":"/api/v1/crates/stateright/0.27.0/download","readme_path":"/api/v1/crates/stateright/0.27.0/readme","updated_at":"2021-05-09T22:06:10.545012Z","created_at":"2021-05-09T22:06:10.545012Z","downloads":1316,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.27.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.27.0/downloads","authors":"/api/v1/crates/stateright/0.27.0/authors"},"crate_size":276233,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2021-05-09T22:06:10.545012Z"}],"checksum":"09805e5cd17c5fbc4003584378a656de79a3820032db96a33f1559b04919647b","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":"https://www.stateright.rs","documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":158,"comment_lines":4,"files":1},"HTML":{"code_lines":102,"comment_lines":4,"files":1},"JavaScript":{"code_lines":271,"comment_lines":11,"files":2},"Rust":{"code_lines":4792,"comment_lines":246,"files":23},"Shell":{"code_lines":20,"comment_lines":5,"files":1}},"total_code_lines":5343,"total_comment_lines":270}},{"id":373497,"crate":"stateright","num":"0.26.1","dl_path":"/api/v1/crates/stateright/0.26.1/download","readme_path":"/api/v1/crates/stateright/0.26.1/readme","updated_at":"2021-05-01T23:39:18.400244Z","created_at":"2021-05-01T23:39:18.400244Z","downloads":1264,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.26.1/dependencies","version_downloads":"/api/v1/crates/stateright/0.26.1/downloads","authors":"/api/v1/crates/stateright/0.26.1/authors"},"crate_size":237549,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2021-05-01T23:39:18.400244Z"}],"checksum":"1749c02ec997e363c0f4d04180dd74528a367d7b97db034ed068389a8dc33005","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":"https://www.stateright.rs","documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":150,"comment_lines":4,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":242,"comment_lines":11,"files":2},"Rust":{"code_lines":4667,"comment_lines":243,"files":23},"Shell":{"code_lines":20,"comment_lines":5,"files":1}},"total_code_lines":5171,"total_comment_lines":263}},{"id":361710,"crate":"stateright","num":"0.26.0","dl_path":"/api/v1/crates/stateright/0.26.0/download","readme_path":"/api/v1/crates/stateright/0.26.0/readme","updated_at":"2021-04-05T05:48:02.201021Z","created_at":"2021-04-05T05:48:02.201021Z","downloads":1257,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.26.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.26.0/downloads","authors":"/api/v1/crates/stateright/0.26.0/authors"},"crate_size":235055,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2021-04-05T05:48:02.201021Z"}],"checksum":"40eb6277ca3ef74ca417b19f36bfc9c9913a87f3e5a340d498b8113c0dbcabf1","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":"https://www.stateright.rs","documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":150,"comment_lines":4,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":242,"comment_lines":11,"files":2},"Rust":{"code_lines":4363,"comment_lines":229,"files":22},"Shell":{"code_lines":20,"comment_lines":5,"files":1}},"total_code_lines":4867,"total_comment_lines":249}},{"id":360963,"crate":"stateright","num":"0.25.0","dl_path":"/api/v1/crates/stateright/0.25.0/download","readme_path":"/api/v1/crates/stateright/0.25.0/readme","updated_at":"2021-04-03T15:48:55.578012Z","created_at":"2021-04-03T15:48:55.578012Z","downloads":1294,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.25.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.25.0/downloads","authors":"/api/v1/crates/stateright/0.25.0/authors"},"crate_size":234986,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2021-04-03T15:48:55.578012Z"}],"checksum":"684ef0b16d0d6b2faaaf91b27b36c2d16a38cdd85087e81e9e2dd47e4a5e0143","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":"https://www.stateright.rs","documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":150,"comment_lines":4,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":242,"comment_lines":11,"files":2},"Rust":{"code_lines":4353,"comment_lines":233,"files":22},"Shell":{"code_lines":20,"comment_lines":5,"files":1}},"total_code_lines":4857,"total_comment_lines":253}},{"id":358383,"crate":"stateright","num":"0.24.1","dl_path":"/api/v1/crates/stateright/0.24.1/download","readme_path":"/api/v1/crates/stateright/0.24.1/readme","updated_at":"2021-03-30T07:36:19.766715Z","created_at":"2021-03-30T07:36:19.766715Z","downloads":1282,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.24.1/dependencies","version_downloads":"/api/v1/crates/stateright/0.24.1/downloads","authors":"/api/v1/crates/stateright/0.24.1/authors"},"crate_size":232476,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2021-03-30T07:36:19.766715Z"}],"checksum":"d284486fb623f42fa34d8fe1955a6cb5114141b53ca2b5cc51b7e023b677b811","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":"https://www.stateright.rs","documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":150,"comment_lines":4,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":242,"comment_lines":11,"files":2},"Rust":{"code_lines":4348,"comment_lines":232,"files":21},"Shell":{"code_lines":20,"comment_lines":5,"files":1}},"total_code_lines":4852,"total_comment_lines":252}},{"id":358274,"crate":"stateright","num":"0.24.0","dl_path":"/api/v1/crates/stateright/0.24.0/download","readme_path":"/api/v1/crates/stateright/0.24.0/readme","updated_at":"2021-03-30T05:52:36.928783Z","created_at":"2021-03-30T05:52:36.928783Z","downloads":1269,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.24.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.24.0/downloads","authors":"/api/v1/crates/stateright/0.24.0/authors"},"crate_size":232453,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2021-03-30T05:52:36.928783Z"}],"checksum":"67c06dc017e387e82ddb6fac559bd826350a7129407cbdd999eea75dc98235eb","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":"https://www.stateright.rs","documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":150,"comment_lines":4,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":242,"comment_lines":11,"files":2},"Rust":{"code_lines":4348,"comment_lines":231,"files":21},"Shell":{"code_lines":20,"comment_lines":5,"files":1}},"total_code_lines":4852,"total_comment_lines":251}},{"id":357773,"crate":"stateright","num":"0.23.3","dl_path":"/api/v1/crates/stateright/0.23.3/download","readme_path":"/api/v1/crates/stateright/0.23.3/readme","updated_at":"2021-03-29T03:55:11.166793Z","created_at":"2021-03-29T03:55:11.166793Z","downloads":1281,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.23.3/dependencies","version_downloads":"/api/v1/crates/stateright/0.23.3/downloads","authors":"/api/v1/crates/stateright/0.23.3/authors"},"crate_size":232580,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2021-03-29T03:55:11.166793Z"}],"checksum":"d2dbd4701493c0483201ad615281ca8dcdaf6a2522fae149a6d5b1700f18ee7f","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":"https://www.stateright.rs","documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":150,"comment_lines":4,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":246,"comment_lines":11,"files":2},"Rust":{"code_lines":4346,"comment_lines":231,"files":20},"Shell":{"code_lines":20,"comment_lines":5,"files":1}},"total_code_lines":4854,"total_comment_lines":251}},{"id":353246,"crate":"stateright","num":"0.23.2","dl_path":"/api/v1/crates/stateright/0.23.2/download","readme_path":"/api/v1/crates/stateright/0.23.2/readme","updated_at":"2021-03-17T01:45:51.758304Z","created_at":"2021-03-17T01:45:51.758304Z","downloads":1258,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.23.2/dependencies","version_downloads":"/api/v1/crates/stateright/0.23.2/downloads","authors":"/api/v1/crates/stateright/0.23.2/authors"},"crate_size":230695,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2021-03-17T01:45:51.758304Z"}],"checksum":"1aeff23542893e64ba0ccd3bcc56d53806789b1505c2f7c00e221062092f72f5","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":"https://www.stateright.rs","documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":150,"comment_lines":4,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":246,"comment_lines":11,"files":2},"Rust":{"code_lines":4339,"comment_lines":231,"files":20},"Shell":{"code_lines":20,"comment_lines":5,"files":1}},"total_code_lines":4847,"total_comment_lines":251}},{"id":348983,"crate":"stateright","num":"0.23.1","dl_path":"/api/v1/crates/stateright/0.23.1/download","readme_path":"/api/v1/crates/stateright/0.23.1/readme","updated_at":"2021-03-08T01:20:50.128562Z","created_at":"2021-03-08T01:20:50.128562Z","downloads":1278,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.23.1/dependencies","version_downloads":"/api/v1/crates/stateright/0.23.1/downloads","authors":"/api/v1/crates/stateright/0.23.1/authors"},"crate_size":230790,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2021-03-08T01:20:50.128562Z"}],"checksum":"493874d516694b6f13653a2a6d3850f48220e6f8caf2f6d236c189201d5bd030","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":"https://www.stateright.rs","documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":145,"comment_lines":4,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":246,"comment_lines":11,"files":2},"Rust":{"code_lines":4327,"comment_lines":230,"files":20},"Shell":{"code_lines":20,"comment_lines":5,"files":1}},"total_code_lines":4830,"total_comment_lines":250}},{"id":342889,"crate":"stateright","num":"0.23.0","dl_path":"/api/v1/crates/stateright/0.23.0/download","readme_path":"/api/v1/crates/stateright/0.23.0/readme","updated_at":"2021-02-22T02:42:10.823520Z","created_at":"2021-02-22T02:42:10.823520Z","downloads":1272,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.23.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.23.0/downloads","authors":"/api/v1/crates/stateright/0.23.0/authors"},"crate_size":230917,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2021-02-22T02:42:10.823520Z"}],"checksum":"0b3ce013fac61fb874843feed8057f54a70c46f122bc77a946ea60df0bd2c1ee","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":"https://www.stateright.rs","documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":145,"comment_lines":4,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":246,"comment_lines":11,"files":2},"Rust":{"code_lines":4327,"comment_lines":230,"files":20},"Shell":{"code_lines":20,"comment_lines":5,"files":1}},"total_code_lines":4830,"total_comment_lines":250}},{"id":339340,"crate":"stateright","num":"0.22.3","dl_path":"/api/v1/crates/stateright/0.22.3/download","readme_path":"/api/v1/crates/stateright/0.22.3/readme","updated_at":"2021-02-13T19:09:38.566801Z","created_at":"2021-02-13T19:09:38.566801Z","downloads":1282,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.22.3/dependencies","version_downloads":"/api/v1/crates/stateright/0.22.3/downloads","authors":"/api/v1/crates/stateright/0.22.3/authors"},"crate_size":230557,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2021-02-13T19:09:38.566801Z"}],"checksum":"7716eb0c8877a625aa59c1bf0300f9580ef6c48c946240ebc479c7f1e81233af","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":"https://www.stateright.rs","documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":145,"comment_lines":4,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":246,"comment_lines":11,"files":2},"Rust":{"code_lines":4312,"comment_lines":230,"files":20},"Shell":{"code_lines":13,"comment_lines":1,"files":1}},"total_code_lines":4808,"total_comment_lines":246}},{"id":336482,"crate":"stateright","num":"0.22.2","dl_path":"/api/v1/crates/stateright/0.22.2/download","readme_path":"/api/v1/crates/stateright/0.22.2/readme","updated_at":"2021-02-07T00:06:46.321399Z","created_at":"2021-02-07T00:06:46.321399Z","downloads":1287,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.22.2/dependencies","version_downloads":"/api/v1/crates/stateright/0.22.2/downloads","authors":"/api/v1/crates/stateright/0.22.2/authors"},"crate_size":230219,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2021-02-07T00:06:46.321399Z"}],"checksum":"b894c383ecc6dbfecdd136f589a0a61e2f464c2b0de9a4e7c1fb4aa6d7ea68cc","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":"https://www.stateright.rs","documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":145,"comment_lines":4,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":246,"comment_lines":11,"files":2},"Rust":{"code_lines":4288,"comment_lines":224,"files":20},"Shell":{"code_lines":13,"comment_lines":1,"files":1}},"total_code_lines":4784,"total_comment_lines":240}},{"id":329107,"crate":"stateright","num":"0.22.1","dl_path":"/api/v1/crates/stateright/0.22.1/download","readme_path":"/api/v1/crates/stateright/0.22.1/readme","updated_at":"2021-01-19T02:18:52.482604Z","created_at":"2021-01-19T02:18:52.482604Z","downloads":1302,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.22.1/dependencies","version_downloads":"/api/v1/crates/stateright/0.22.1/downloads","authors":"/api/v1/crates/stateright/0.22.1/authors"},"crate_size":228632,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2021-01-19T02:18:52.482604Z"}],"checksum":"033d5ee20857c01cf1f16f2cfadfb800823c7beb4e43b424e839acf6f9b014e3","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":"https://www.stateright.rs","documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":145,"comment_lines":4,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":246,"comment_lines":11,"files":2},"Rust":{"code_lines":4057,"comment_lines":217,"files":20},"Shell":{"code_lines":13,"comment_lines":1,"files":1}},"total_code_lines":4553,"total_comment_lines":233}},{"id":328360,"crate":"stateright","num":"0.22.0","dl_path":"/api/v1/crates/stateright/0.22.0/download","readme_path":"/api/v1/crates/stateright/0.22.0/readme","updated_at":"2021-01-16T21:07:59.988789Z","created_at":"2021-01-16T21:07:59.988789Z","downloads":1283,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.22.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.22.0/downloads","authors":"/api/v1/crates/stateright/0.22.0/authors"},"crate_size":228435,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2021-01-16T21:07:59.988789Z"}],"checksum":"109c304f7a00c001b78d53518790e767d33fdfede3b79883291229bd591c1c18","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":145,"comment_lines":4,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":246,"comment_lines":11,"files":2},"Rust":{"code_lines":4056,"comment_lines":217,"files":20},"Shell":{"code_lines":13,"comment_lines":1,"files":1}},"total_code_lines":4552,"total_comment_lines":233}},{"id":325656,"crate":"stateright","num":"0.21.0","dl_path":"/api/v1/crates/stateright/0.21.0/download","readme_path":"/api/v1/crates/stateright/0.21.0/readme","updated_at":"2021-01-11T01:18:43.504039Z","created_at":"2021-01-11T01:18:43.504039Z","downloads":1315,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.21.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.21.0/downloads","authors":"/api/v1/crates/stateright/0.21.0/authors"},"crate_size":227787,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2021-01-11T01:18:43.504039Z"}],"checksum":"09d4b27c13631dfc37205955b644af61653d4d0a0d966edc0225dac43381b055","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":109,"comment_lines":3,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":246,"comment_lines":11,"files":2},"Rust":{"code_lines":4039,"comment_lines":215,"files":20},"Shell":{"code_lines":13,"comment_lines":1,"files":1}},"total_code_lines":4499,"total_comment_lines":230}},{"id":321267,"crate":"stateright","num":"0.20.1","dl_path":"/api/v1/crates/stateright/0.20.1/download","readme_path":"/api/v1/crates/stateright/0.20.1/readme","updated_at":"2021-01-02T02:33:19.160295Z","created_at":"2021-01-02T02:33:19.160295Z","downloads":1307,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.20.1/dependencies","version_downloads":"/api/v1/crates/stateright/0.20.1/downloads","authors":"/api/v1/crates/stateright/0.20.1/authors"},"crate_size":193454,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2021-01-02T02:33:19.160295Z"}],"checksum":"8e9bce3b493cf0c44a4d1c93a1e5de1574128e9dab288860c159d7a0a4bdd6f6","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":93,"comment_lines":3,"files":1},"HTML":{"code_lines":89,"comment_lines":0,"files":1},"JavaScript":{"code_lines":244,"comment_lines":11,"files":2},"Rust":{"code_lines":3858,"comment_lines":209,"files":19},"Shell":{"code_lines":13,"comment_lines":1,"files":1}},"total_code_lines":4297,"total_comment_lines":224}},{"id":316220,"crate":"stateright","num":"0.20.0","dl_path":"/api/v1/crates/stateright/0.20.0/download","readme_path":"/api/v1/crates/stateright/0.20.0/readme","updated_at":"2020-12-18T06:05:07.166143Z","created_at":"2020-12-18T06:05:07.166143Z","downloads":1293,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.20.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.20.0/downloads","authors":"/api/v1/crates/stateright/0.20.0/authors"},"crate_size":191266,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-12-18T06:05:07.166143Z"}],"checksum":"dd187f88bdb4a327d36696bcbade33b492c23e1a1a8cbad606bce14986ff5700","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":93,"comment_lines":3,"files":1},"HTML":{"code_lines":89,"comment_lines":0,"files":1},"JavaScript":{"code_lines":244,"comment_lines":11,"files":2},"Rust":{"code_lines":3669,"comment_lines":158,"files":19},"Shell":{"code_lines":13,"comment_lines":1,"files":1}},"total_code_lines":4108,"total_comment_lines":173}},{"id":314401,"crate":"stateright","num":"0.19.0","dl_path":"/api/v1/crates/stateright/0.19.0/download","readme_path":"/api/v1/crates/stateright/0.19.0/readme","updated_at":"2020-12-12T23:13:55.749561Z","created_at":"2020-12-12T23:13:55.749561Z","downloads":1290,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.19.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.19.0/downloads","authors":"/api/v1/crates/stateright/0.19.0/authors"},"crate_size":190665,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-12-12T23:13:55.749561Z"}],"checksum":"834cd3389522cf299a4f6772a2b53233516191558984358e49d1ed2ed91dc3c3","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":93,"comment_lines":3,"files":1},"HTML":{"code_lines":89,"comment_lines":0,"files":1},"JavaScript":{"code_lines":244,"comment_lines":11,"files":2},"Rust":{"code_lines":3562,"comment_lines":162,"files":19},"Shell":{"code_lines":10,"comment_lines":0,"files":1}},"total_code_lines":3998,"total_comment_lines":176}},{"id":312556,"crate":"stateright","num":"0.18.3","dl_path":"/api/v1/crates/stateright/0.18.3/download","readme_path":"/api/v1/crates/stateright/0.18.3/readme","updated_at":"2020-12-06T20:52:08.911065Z","created_at":"2020-12-06T20:52:08.911065Z","downloads":1282,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.18.3/dependencies","version_downloads":"/api/v1/crates/stateright/0.18.3/downloads","authors":"/api/v1/crates/stateright/0.18.3/authors"},"crate_size":190175,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-12-06T20:52:08.911065Z"}],"checksum":"ae1b525a380afb8c7f51584ad1cceb2a2a5c2a9317743f18254c5c2595cd489d","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":93,"comment_lines":3,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":239,"comment_lines":11,"files":2},"Rust":{"code_lines":3503,"comment_lines":162,"files":19},"Shell":{"code_lines":10,"comment_lines":0,"files":1}},"total_code_lines":3937,"total_comment_lines":176}},{"id":312298,"crate":"stateright","num":"0.18.2","dl_path":"/api/v1/crates/stateright/0.18.2/download","readme_path":"/api/v1/crates/stateright/0.18.2/readme","updated_at":"2020-12-05T21:49:19.712835Z","created_at":"2020-12-05T21:49:19.712835Z","downloads":1354,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.18.2/dependencies","version_downloads":"/api/v1/crates/stateright/0.18.2/downloads","authors":"/api/v1/crates/stateright/0.18.2/authors"},"crate_size":368391,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-12-05T21:49:19.712835Z"}],"checksum":"af13ddf128d1a15e9714e9e02f6fda133180a928103a3d10b63af50ea058192b","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":93,"comment_lines":3,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":239,"comment_lines":11,"files":2},"Rust":{"code_lines":3503,"comment_lines":162,"files":19},"Shell":{"code_lines":10,"comment_lines":0,"files":1}},"total_code_lines":3937,"total_comment_lines":176}},{"id":310915,"crate":"stateright","num":"0.18.1","dl_path":"/api/v1/crates/stateright/0.18.1/download","readme_path":"/api/v1/crates/stateright/0.18.1/readme","updated_at":"2020-12-01T05:21:12.578017Z","created_at":"2020-12-01T05:21:12.578017Z","downloads":1384,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.18.1/dependencies","version_downloads":"/api/v1/crates/stateright/0.18.1/downloads","authors":"/api/v1/crates/stateright/0.18.1/authors"},"crate_size":369301,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-12-01T05:21:12.578017Z"}],"checksum":"672f29958a197ea039cfef0f29c7b9ea4e412ee4a737cdefd48c7c2c96fa0aaf","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":93,"comment_lines":3,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":239,"comment_lines":11,"files":2},"Rust":{"code_lines":3503,"comment_lines":162,"files":19},"Shell":{"code_lines":10,"comment_lines":0,"files":1}},"total_code_lines":3937,"total_comment_lines":176}},{"id":307893,"crate":"stateright","num":"0.18.0","dl_path":"/api/v1/crates/stateright/0.18.0/download","readme_path":"/api/v1/crates/stateright/0.18.0/readme","updated_at":"2020-11-23T05:12:33.524801Z","created_at":"2020-11-23T05:12:33.524801Z","downloads":1405,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.18.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.18.0/downloads","authors":"/api/v1/crates/stateright/0.18.0/authors"},"crate_size":368526,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-11-23T05:12:33.524801Z"}],"checksum":"8adfbffd945933be379a697a689ac66524aa05b4c27dd49403ca3d2bfb553459","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":93,"comment_lines":3,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":239,"comment_lines":11,"files":2},"Rust":{"code_lines":3497,"comment_lines":162,"files":19},"Shell":{"code_lines":10,"comment_lines":0,"files":1}},"total_code_lines":3931,"total_comment_lines":176}},{"id":288085,"crate":"stateright","num":"0.17.0","dl_path":"/api/v1/crates/stateright/0.17.0/download","readme_path":"/api/v1/crates/stateright/0.17.0/readme","updated_at":"2020-09-28T04:17:29.355476Z","created_at":"2020-09-28T04:17:29.355476Z","downloads":1482,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.17.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.17.0/downloads","authors":"/api/v1/crates/stateright/0.17.0/authors"},"crate_size":370059,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-09-28T04:17:29.355476Z"}],"checksum":"14cf775f5bd11a41e0c840601a950ac89bccda23a911e4dce764a0455cd33029","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":93,"comment_lines":3,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":239,"comment_lines":11,"files":2},"Rust":{"code_lines":3195,"comment_lines":159,"files":18},"Shell":{"code_lines":10,"comment_lines":0,"files":1}},"total_code_lines":3629,"total_comment_lines":173}},{"id":288066,"crate":"stateright","num":"0.16.0","dl_path":"/api/v1/crates/stateright/0.16.0/download","readme_path":"/api/v1/crates/stateright/0.16.0/readme","updated_at":"2020-09-28T02:25:49.617649Z","created_at":"2020-09-28T02:25:49.617649Z","downloads":1388,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.16.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.16.0/downloads","authors":"/api/v1/crates/stateright/0.16.0/authors"},"crate_size":369951,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-09-28T02:25:49.617649Z"}],"checksum":"f5ef63238850ab9477fdcb27dd8c7e2a64b45a8ccb56d0586fe9afcab1402d4a","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":93,"comment_lines":3,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":239,"comment_lines":11,"files":2},"Rust":{"code_lines":3188,"comment_lines":159,"files":18},"Shell":{"code_lines":10,"comment_lines":0,"files":1}},"total_code_lines":3622,"total_comment_lines":173}},{"id":285328,"crate":"stateright","num":"0.15.0","dl_path":"/api/v1/crates/stateright/0.15.0/download","readme_path":"/api/v1/crates/stateright/0.15.0/readme","updated_at":"2020-09-20T00:32:04.086732Z","created_at":"2020-09-20T00:32:04.086732Z","downloads":1418,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.15.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.15.0/downloads","authors":"/api/v1/crates/stateright/0.15.0/authors"},"crate_size":367758,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-09-20T00:32:04.086732Z"}],"checksum":"41c2ce8be66f07f6dc707b74031d2824023e9fe115c7e6e74c4291af4e9fcdda","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":93,"comment_lines":3,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":239,"comment_lines":11,"files":2},"Rust":{"code_lines":3039,"comment_lines":152,"files":16},"Shell":{"code_lines":10,"comment_lines":0,"files":1}},"total_code_lines":3473,"total_comment_lines":166}},{"id":283376,"crate":"stateright","num":"0.14.0","dl_path":"/api/v1/crates/stateright/0.14.0/download","readme_path":"/api/v1/crates/stateright/0.14.0/readme","updated_at":"2020-09-14T03:33:10.598194Z","created_at":"2020-09-14T03:33:10.598194Z","downloads":1397,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.14.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.14.0/downloads","authors":"/api/v1/crates/stateright/0.14.0/authors"},"crate_size":366425,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-09-14T03:33:10.598194Z"}],"checksum":"a8ef46e984307cffc5cd69a4fb1e9f1f1c1e423b940f705035676532aaf6bc4a","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":93,"comment_lines":3,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":239,"comment_lines":11,"files":2},"Rust":{"code_lines":2696,"comment_lines":139,"files":15},"Shell":{"code_lines":10,"comment_lines":0,"files":1}},"total_code_lines":3130,"total_comment_lines":153}},{"id":278310,"crate":"stateright","num":"0.13.1","dl_path":"/api/v1/crates/stateright/0.13.1/download","readme_path":"/api/v1/crates/stateright/0.13.1/readme","updated_at":"2020-08-30T17:01:55.895291Z","created_at":"2020-08-30T17:01:55.895291Z","downloads":1427,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.13.1/dependencies","version_downloads":"/api/v1/crates/stateright/0.13.1/downloads","authors":"/api/v1/crates/stateright/0.13.1/authors"},"crate_size":366267,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-08-30T17:01:55.895291Z"}],"checksum":"d9e3c04f9aa8d4e2afc78c803cd9ac81ceb7e7f130e537d9e070ddc33617b9b8","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":82,"comment_lines":2,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":235,"comment_lines":11,"files":2},"Rust":{"code_lines":2670,"comment_lines":138,"files":15},"Shell":{"code_lines":10,"comment_lines":0,"files":1}},"total_code_lines":3089,"total_comment_lines":151}},{"id":269538,"crate":"stateright","num":"0.13.0","dl_path":"/api/v1/crates/stateright/0.13.0/download","readme_path":"/api/v1/crates/stateright/0.13.0/readme","updated_at":"2020-08-05T05:18:55.807035Z","created_at":"2020-08-05T05:18:55.807035Z","downloads":1410,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.13.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.13.0/downloads","authors":"/api/v1/crates/stateright/0.13.0/authors"},"crate_size":361058,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-08-05T05:18:55.807035Z"}],"checksum":"950be0b9f3871001ecabaa54820644252c429f7a75729ee1043c5d8f70b279ac","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":82,"comment_lines":2,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":235,"comment_lines":11,"files":2},"Rust":{"code_lines":2278,"comment_lines":132,"files":11},"Shell":{"code_lines":10,"comment_lines":0,"files":1}},"total_code_lines":2697,"total_comment_lines":145}},{"id":269227,"crate":"stateright","num":"0.12.0","dl_path":"/api/v1/crates/stateright/0.12.0/download","readme_path":"/api/v1/crates/stateright/0.12.0/readme","updated_at":"2020-08-04T04:39:26.591709Z","created_at":"2020-08-04T04:39:26.591709Z","downloads":1422,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.12.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.12.0/downloads","authors":"/api/v1/crates/stateright/0.12.0/authors"},"crate_size":360485,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-08-04T04:39:26.591709Z"}],"checksum":"a9f11899ba60889c386edc001a1aff1fde7805f76acfcc31a5123625290f0674","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":82,"comment_lines":2,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":235,"comment_lines":11,"files":2},"Rust":{"code_lines":2244,"comment_lines":132,"files":11},"Shell":{"code_lines":10,"comment_lines":0,"files":1}},"total_code_lines":2663,"total_comment_lines":145}},{"id":266695,"crate":"stateright","num":"0.11.2","dl_path":"/api/v1/crates/stateright/0.11.2/download","readme_path":"/api/v1/crates/stateright/0.11.2/readme","updated_at":"2020-07-27T03:33:04.864782Z","created_at":"2020-07-27T03:33:04.864782Z","downloads":1334,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.11.2/dependencies","version_downloads":"/api/v1/crates/stateright/0.11.2/downloads","authors":"/api/v1/crates/stateright/0.11.2/authors"},"crate_size":358923,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-07-27T03:33:04.864782Z"}],"checksum":"9b814628aea4561ccf7d58bfcbbe68ea61e7db40bc2290c94e7e003edef59be7","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":82,"comment_lines":2,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":235,"comment_lines":11,"files":2},"Rust":{"code_lines":2230,"comment_lines":134,"files":11},"Shell":{"code_lines":9,"comment_lines":0,"files":1}},"total_code_lines":2648,"total_comment_lines":147}},{"id":266652,"crate":"stateright","num":"0.11.1","dl_path":"/api/v1/crates/stateright/0.11.1/download","readme_path":"/api/v1/crates/stateright/0.11.1/readme","updated_at":"2020-07-27T00:49:56.177125Z","created_at":"2020-07-27T00:49:56.177125Z","downloads":1393,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.11.1/dependencies","version_downloads":"/api/v1/crates/stateright/0.11.1/downloads","authors":"/api/v1/crates/stateright/0.11.1/authors"},"crate_size":358650,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-07-27T00:49:56.177125Z"}],"checksum":"6bdbf9a2f5c26f85eb78e9fff6b09d94f485d8d9025682b09f4dcd553727c3dc","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":82,"comment_lines":2,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":235,"comment_lines":11,"files":2},"Rust":{"code_lines":2230,"comment_lines":134,"files":11},"Shell":{"code_lines":9,"comment_lines":0,"files":1}},"total_code_lines":2648,"total_comment_lines":147}},{"id":266651,"crate":"stateright","num":"0.11.0","dl_path":"/api/v1/crates/stateright/0.11.0/download","readme_path":"/api/v1/crates/stateright/0.11.0/readme","updated_at":"2020-07-27T00:41:57.599818Z","created_at":"2020-07-27T00:41:57.599818Z","downloads":1614,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.11.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.11.0/downloads","authors":"/api/v1/crates/stateright/0.11.0/authors"},"crate_size":1234975,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-07-27T00:41:57.599818Z"}],"checksum":"312bdea55a638e38c6c73261aaaad3790af6c731a5acb73041d433a805af5ca7","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":82,"comment_lines":2,"files":1},"HTML":{"code_lines":92,"comment_lines":0,"files":1},"JavaScript":{"code_lines":235,"comment_lines":11,"files":2},"Rust":{"code_lines":2230,"comment_lines":134,"files":11},"Shell":{"code_lines":9,"comment_lines":0,"files":1}},"total_code_lines":2648,"total_comment_lines":147}},{"id":261552,"crate":"stateright","num":"0.10.1","dl_path":"/api/v1/crates/stateright/0.10.1/download","readme_path":"/api/v1/crates/stateright/0.10.1/readme","updated_at":"2020-07-11T19:21:26.267453Z","created_at":"2020-07-11T19:21:26.267453Z","downloads":1643,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.10.1/dependencies","version_downloads":"/api/v1/crates/stateright/0.10.1/downloads","authors":"/api/v1/crates/stateright/0.10.1/authors"},"crate_size":1233163,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-07-11T19:21:26.267453Z"}],"checksum":"990e42b15e3c3b7ab0a3704e9fed06cd3881d5e3b28ff2cbc7b04c2e00a6141e","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":82,"comment_lines":2,"files":1},"HTML":{"code_lines":86,"comment_lines":0,"files":1},"JavaScript":{"code_lines":234,"comment_lines":11,"files":2},"Rust":{"code_lines":2131,"comment_lines":113,"files":11},"Shell":{"code_lines":9,"comment_lines":0,"files":1}},"total_code_lines":2542,"total_comment_lines":126}},{"id":261434,"crate":"stateright","num":"0.10.0","dl_path":"/api/v1/crates/stateright/0.10.0/download","readme_path":"/api/v1/crates/stateright/0.10.0/readme","updated_at":"2020-07-11T14:47:31.046220Z","created_at":"2020-07-11T14:47:31.046220Z","downloads":1609,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.10.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.10.0/downloads","authors":"/api/v1/crates/stateright/0.10.0/authors"},"crate_size":1233078,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-07-11T14:47:31.046220Z"}],"checksum":"eb0dabf1c39cd050948c5baf6257f28b0d54e1df4f33b08e9b32dc075e3ae382","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":75,"comment_lines":2,"files":1},"HTML":{"code_lines":81,"comment_lines":0,"files":1},"JavaScript":{"code_lines":234,"comment_lines":11,"files":2},"Rust":{"code_lines":2131,"comment_lines":113,"files":11},"Shell":{"code_lines":9,"comment_lines":0,"files":1}},"total_code_lines":2530,"total_comment_lines":126}},{"id":259395,"crate":"stateright","num":"0.9.1","dl_path":"/api/v1/crates/stateright/0.9.1/download","readme_path":"/api/v1/crates/stateright/0.9.1/readme","updated_at":"2020-07-11T14:46:45.066144Z","created_at":"2020-07-06T05:51:54.990922Z","downloads":1465,"features":{},"yanked":true,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.9.1/dependencies","version_downloads":"/api/v1/crates/stateright/0.9.1/downloads","authors":"/api/v1/crates/stateright/0.9.1/authors"},"crate_size":1233577,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-07-06T05:51:54.990922Z"},{"action":"yank","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-07-11T14:46:42.985008Z"}],"checksum":"5e9220c90b88d4a0934a9dd7e76a7aaa1e4a6f24306aa52acc171a2715e2b9fc","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":75,"comment_lines":2,"files":1},"HTML":{"code_lines":81,"comment_lines":0,"files":1},"JavaScript":{"code_lines":234,"comment_lines":11,"files":2},"Rust":{"code_lines":2116,"comment_lines":113,"files":11},"Shell":{"code_lines":9,"comment_lines":0,"files":1}},"total_code_lines":2515,"total_comment_lines":126}},{"id":254590,"crate":"stateright","num":"0.9.0","dl_path":"/api/v1/crates/stateright/0.9.0/download","readme_path":"/api/v1/crates/stateright/0.9.0/readme","updated_at":"2020-06-21T19:49:34.716846Z","created_at":"2020-06-21T19:49:34.716846Z","downloads":2489,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.9.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.9.0/downloads","authors":"/api/v1/crates/stateright/0.9.0/authors"},"crate_size":1231879,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-06-21T19:49:34.716846Z"}],"checksum":"c018a4f0d67a60079c040c390142e02487f632c9479b70f1b3d1f8add9dbb61e","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":75,"comment_lines":2,"files":1},"HTML":{"code_lines":81,"comment_lines":0,"files":1},"JavaScript":{"code_lines":234,"comment_lines":11,"files":2},"Rust":{"code_lines":1966,"comment_lines":97,"files":10},"Shell":{"code_lines":9,"comment_lines":0,"files":1}},"total_code_lines":2365,"total_comment_lines":110}},{"id":249900,"crate":"stateright","num":"0.8.0","dl_path":"/api/v1/crates/stateright/0.8.0/download","readme_path":"/api/v1/crates/stateright/0.8.0/readme","updated_at":"2020-06-08T04:58:11.792304Z","created_at":"2020-06-08T04:58:11.792304Z","downloads":1622,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.8.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.8.0/downloads","authors":"/api/v1/crates/stateright/0.8.0/authors"},"crate_size":1229525,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-06-08T04:58:11.792304Z"}],"checksum":"d4d4c45995c7a872880c7c5cebc17923d22702be13cbbf8671e53beee8241aa7","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":75,"comment_lines":2,"files":1},"HTML":{"code_lines":81,"comment_lines":0,"files":1},"JavaScript":{"code_lines":234,"comment_lines":11,"files":2},"Rust":{"code_lines":1728,"comment_lines":85,"files":9}},"total_code_lines":2118,"total_comment_lines":98}},{"id":248044,"crate":"stateright","num":"0.7.0","dl_path":"/api/v1/crates/stateright/0.7.0/download","readme_path":"/api/v1/crates/stateright/0.7.0/readme","updated_at":"2020-07-11T14:47:26.684260Z","created_at":"2020-06-02T05:38:35.529672Z","downloads":1209,"features":{},"yanked":true,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.7.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.7.0/downloads","authors":"/api/v1/crates/stateright/0.7.0/authors"},"crate_size":169341,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-06-02T05:38:35.529672Z"},{"action":"yank","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-07-11T14:47:25.111700Z"}],"checksum":"26d2158f47d4963f4c2abbceebaae47148eca3fd80108c75393d7f971b80108e","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":72,"comment_lines":2,"files":1},"HTML":{"code_lines":51,"comment_lines":0,"files":1},"JavaScript":{"code_lines":204,"comment_lines":9,"files":2},"Rust":{"code_lines":1670,"comment_lines":85,"files":9}},"total_code_lines":1997,"total_comment_lines":96}},{"id":247118,"crate":"stateright","num":"0.6.0","dl_path":"/api/v1/crates/stateright/0.6.0/download","readme_path":"/api/v1/crates/stateright/0.6.0/readme","updated_at":"2020-06-21T21:24:41.304085Z","created_at":"2020-05-31T01:35:27.298213Z","downloads":1211,"features":{},"yanked":true,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.6.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.6.0/downloads","authors":"/api/v1/crates/stateright/0.6.0/authors"},"crate_size":165823,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-05-31T01:35:27.298213Z"},{"action":"yank","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-06-21T21:24:39.751574Z"}],"checksum":"98b2225cd99f258ae5f55be96ff3e5e5f4e552eac3b5244e9489703c721e0bf6","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":72,"comment_lines":2,"files":1},"HTML":{"code_lines":51,"comment_lines":0,"files":1},"JavaScript":{"code_lines":200,"comment_lines":9,"files":2},"Rust":{"code_lines":1339,"comment_lines":72,"files":8}},"total_code_lines":1662,"total_comment_lines":83}},{"id":208677,"crate":"stateright","num":"0.5.0","dl_path":"/api/v1/crates/stateright/0.5.0/download","readme_path":"/api/v1/crates/stateright/0.5.0/readme","updated_at":"2020-06-21T21:24:36.130961Z","created_at":"2020-02-02T03:59:25.849496Z","downloads":1254,"features":{},"yanked":true,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.5.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.5.0/downloads","authors":"/api/v1/crates/stateright/0.5.0/authors"},"crate_size":159566,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-02-02T03:59:25.849496Z"},{"action":"yank","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-06-21T21:24:34.891074Z"}],"checksum":"65e207cb2f013a3d09530b51eec12762014ab690a03c86c5b184fe18fbac445a","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A model checker for implementing distributed systems.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":72,"comment_lines":2,"files":1},"HTML":{"code_lines":51,"comment_lines":0,"files":1},"JavaScript":{"code_lines":200,"comment_lines":9,"files":2},"Rust":{"code_lines":1138,"comment_lines":42,"files":8}},"total_code_lines":1461,"total_comment_lines":53}},{"id":201393,"crate":"stateright","num":"0.4.0","dl_path":"/api/v1/crates/stateright/0.4.0/download","readme_path":"/api/v1/crates/stateright/0.4.0/readme","updated_at":"2020-01-05T22:21:01.051698Z","created_at":"2020-01-05T22:21:01.051698Z","downloads":1343,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.4.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.4.0/downloads","authors":"/api/v1/crates/stateright/0.4.0/authors"},"crate_size":159899,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"publish","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-01-05T22:21:01.051698Z"}],"checksum":"b6bc3b4482cc63c3be41792e44d0b899638aa04f616593ef9b6e55d55a71f134","rust_version":null,"has_lib":true,"bin_names":[],"edition":"2018","description":"A library for specifying state machines and model checking invariants.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"CSS":{"code_lines":72,"comment_lines":2,"files":1},"HTML":{"code_lines":51,"comment_lines":0,"files":1},"JavaScript":{"code_lines":198,"comment_lines":9,"files":2},"Rust":{"code_lines":1106,"comment_lines":40,"files":8}},"total_code_lines":1427,"total_comment_lines":51}},{"id":157986,"crate":"stateright","num":"0.3.0","dl_path":"/api/v1/crates/stateright/0.3.0/download","readme_path":"/api/v1/crates/stateright/0.3.0/readme","updated_at":"2020-06-21T21:23:20.943136Z","created_at":"2019-06-23T23:30:06.874341Z","downloads":1348,"features":{},"yanked":true,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.3.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.3.0/downloads","authors":"/api/v1/crates/stateright/0.3.0/authors"},"crate_size":17358,"published_by":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"audit_actions":[{"action":"yank","user":{"id":24834,"login":"jonnadal","name":"Jon Nadal","avatar":"https://avatars.githubusercontent.com/u/33904?v=4","url":"https://github.com/jonnadal","github_username_matches":true,"created_at":"2008-11-11T20:02:47Z"},"time":"2020-06-21T21:23:18.995725Z"}],"checksum":"e6eb6d1580f1883759219586ab13203465db0de414e899b3fa1bfdd172c3de48","rust_version":null,"has_lib":true,"bin_names":[],"edition":null,"description":"A library for specifying state machines and model checking invariants.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"Rust":{"code_lines":912,"comment_lines":34,"files":3}},"total_code_lines":912,"total_comment_lines":34}},{"id":117587,"crate":"stateright","num":"0.2.0","dl_path":"/api/v1/crates/stateright/0.2.0/download","readme_path":"/api/v1/crates/stateright/0.2.0/readme","updated_at":"2019-06-23T23:39:13.108156Z","created_at":"2018-11-13T00:11:32.501941Z","downloads":1317,"features":{},"yanked":true,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.2.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.2.0/downloads","authors":"/api/v1/crates/stateright/0.2.0/authors"},"crate_size":30487,"published_by":null,"audit_actions":[],"checksum":"779fbf4e96380fe2a8255af797f70285c38efbbd4bd0924976123600f32c9e29","rust_version":null,"has_lib":true,"bin_names":[],"edition":null,"description":"A library for specifying state machines and model checking invariants.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"Rust":{"code_lines":821,"comment_lines":31,"files":3},"Scala":{"code_lines":109,"comment_lines":26,"files":1}},"total_code_lines":930,"total_comment_lines":57}},{"id":102549,"crate":"stateright","num":"0.1.0","dl_path":"/api/v1/crates/stateright/0.1.0/download","readme_path":"/api/v1/crates/stateright/0.1.0/readme","updated_at":"2019-06-23T23:39:08.318640Z","created_at":"2018-08-06T05:01:41.195516Z","downloads":1329,"features":{},"yanked":true,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.1.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.1.0/downloads","authors":"/api/v1/crates/stateright/0.1.0/authors"},"crate_size":51727,"published_by":null,"audit_actions":[],"checksum":"9d383b26aa431b440d849d0f5f41ca650fb18f41792c1f4508fa129a99f92584","rust_version":null,"has_lib":true,"bin_names":[],"edition":null,"description":"A library for specifying state machines and model checking invariants.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"Rust":{"code_lines":761,"comment_lines":26,"files":3},"Scala":{"code_lines":109,"comment_lines":26,"files":1}},"total_code_lines":870,"total_comment_lines":52}},{"id":99509,"crate":"stateright","num":"0.0.0","dl_path":"/api/v1/crates/stateright/0.0.0/download","readme_path":"/api/v1/crates/stateright/0.0.0/readme","updated_at":"2019-06-23T23:33:35.102393Z","created_at":"2018-07-12T05:15:23.519450Z","downloads":1322,"features":{},"yanked":true,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/stateright/0.0.0/dependencies","version_downloads":"/api/v1/crates/stateright/0.0.0/downloads","authors":"/api/v1/crates/stateright/0.0.0/authors"},"crate_size":16287,"published_by":null,"audit_actions":[],"checksum":"b109d9dc7d5f71ed918d24f98248fb3fb96235d5d7927f2bb75368a134afb5fa","rust_version":null,"has_lib":true,"bin_names":[],"edition":null,"description":"A library for specifying state machines and model checking invariants.","homepage":null,"documentation":null,"repository":"https://github.com/stateright/stateright","trustpub_data":null,"linecounts":{"languages":{"Rust":{"code_lines":577,"comment_lines":21,"files":2},"Scala":{"code_lines":109,"comment_lines":26,"files":1}},"total_code_lines":686,"total_comment_lines":47}}],"keywords":[{"id":"actor","keyword":"actor","created_at":"2015-05-25T13:58:12.005397Z","crates_cnt":535},{"id":"model-checking","keyword":"model-checking","created_at":"2018-05-12T19:15:33.864884Z","crates_cnt":37},{"id":"paxos","keyword":"paxos","created_at":"2015-09-17T06:22:12.649149Z","crates_cnt":17},{"id":"raft","keyword":"raft","created_at":"2017-03-19T21:33:43.065796Z","crates_cnt":187},{"id":"simulation","keyword":"simulation","created_at":"2015-06-02T16:09:15.576562Z","crates_cnt":1142}],"categories":[{"id":"simulation","category":"Simulation","slug":"simulation","description":"Crates used to model or construct models for some activity, e.g. to. simulate a networking protocol.","created_at":"2017-08-05T01:46:09.648303Z","crates_cnt":2504},{"id":"network-programming","category":"Network programming","slug":"network-programming","description":"Crates dealing with higher-level network protocols such as FTP, HTTP, or SSH, or lower-level network protocols such as TCP or UDP.","created_at":"2017-01-17T19:13:05.112025Z","crates_cnt":14763},{"id":"algorithms","category":"Algorithms","slug":"algorithms","description":"Rust implementations of core algorithms such as hashing, sorting, searching, and more.","created_at":"2017-01-17T19:13:05.112025Z","crates_cnt":8576},{"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":24046},{"id":"concurrency","category":"Concurrency","slug":"concurrency","description":"Crates for implementing concurrent and parallel computation.","created_at":"2017-01-17T19:13:05.112025Z","crates_cnt":3837}]}