{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"cbmc","owner":"diffblue","isFork":false,"description":"C Bounded Model Checker","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":128,"issueCount":361,"starsCount":768,"forksCount":251,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-11T17:51:02.279Z"}},{"type":"Public","name":"hw-cbmc","owner":"diffblue","isFork":false,"description":"The HW-CBMC and EBMC Model Checkers for Verilog","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":22,"issueCount":13,"starsCount":45,"forksCount":13,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-11T19:32:06.465Z"}},{"type":"Public","name":"2ls","owner":"diffblue","isFork":false,"description":"Static Analyzer and Verifier","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":4,"issueCount":53,"starsCount":43,"forksCount":22,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-24T17:45:25.013Z"}},{"type":"Public","name":"cprover-sv-comp","owner":"diffblue","isFork":false,"description":"CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP)","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":3,"issueCount":1,"starsCount":2,"forksCount":11,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-22T15:12:08.822Z"}},{"type":"Public","name":"symex","owner":"diffblue","isFork":false,"description":"Symbolic Execution Tool based on CBMC","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":4,"issueCount":2,"starsCount":10,"forksCount":6,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-09-27T12:57:31.890Z"}},{"type":"Public","name":"musketeer","owner":"diffblue","isFork":false,"description":"Musketeer - Automatic Fence Inserter","topicNames":["concurrency"],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-16T12:12:51.266Z"}},{"type":"Public","name":"output-repair","owner":"diffblue","isFork":false,"description":"A simple tool for repairing truncated XML and JSON files","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-05-27T16:25:21.300Z"}},{"type":"Public","name":"deltacheck","owner":"diffblue","isFork":false,"description":"Differential Verification Tool","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-04-19T17:31:15.077Z"}}],"repositoryCount":8,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}