{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"cbmc","owner":"diffblue","isFork":false,"description":"C Bounded Model Checker","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":135,"issueCount":379,"starsCount":825,"forksCount":260,"license":"Other","participation":[41,16,30,15,27,18,26,27,31,35,28,101,25,2,10,12,15,9,38,23,12,10,3,16,11,13,5,2,0,6,21,13,15,4,7,2,21,49,21,7,9,15,9,10,5,11,13,7,7,12,14,10],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-25T14:19:17.161Z"}},{"type":"Public","name":"hw-cbmc","owner":"diffblue","isFork":false,"description":"The HW-CBMC and EBMC Model Checkers for Verilog","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":28,"issueCount":19,"starsCount":53,"forksCount":14,"license":"Other","participation":[25,29,55,1,41,26,32,20,24,105,72,38,22,0,19,31,10,9,23,10,4,14,16,33,26,16,3,3,14,30,34,28,35,27,15,12,16,37,38,11,2,30,15,11,13,20,15,17,22,40,29,49],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-25T12:44:54.640Z"}},{"type":"Public","name":"cover-github-action","owner":"diffblue","isFork":false,"description":"GitHub Action for running Diffblue Cover from a GitHub Actions workflow","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":18,"issueCount":0,"starsCount":26,"forksCount":2,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,19,12,11,4,28,4,9,5,4,0,2,0,1,1,6,4,2,2,2,2,2,0,2,0,0,2,2,0,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-24T18:46:22.832Z"}},{"type":"Public","name":"PiggymetricsDiffblueTests","owner":"diffblue","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":[0,3,0,0,2,0,1,3,1,0,1,1,0,0,0,1,0,0,2,0,1,0,1,0,1,1,0,0,1,2,0,1,0,1,0,1,0,1,0,0,1,1,0,1,0,1,0,0,1,1,0,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-24T18:28:33.745Z"}},{"type":"Public","name":"demo-spring-petclinic","owner":"diffblue","isFork":false,"description":"Demo based on Spring Petclinic","allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":6,"license":"Apache License 2.0","participation":[0,0,0,1,3,0,0,1,3,1,0,0,0,0,2,2,0,2,3,1,1,0,3,1,12,1,1,0,0,0,0,1,1,6,6,0,0,0,0,0,0,0,0,2,0,0,1,0,0,0,1,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-24T17:51:08.219Z"}},{"type":"Public","name":"homebrew-cbmc","owner":"diffblue","isFork":false,"description":"brew tap for CBMC","allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":2,"license":"Other","participation":[2,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,6,0,0,0,2,0,1,0,0,0,0,0,0,18],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-23T09:41:51.731Z"}},{"type":"Public","name":"java-demo","owner":"diffblue","isFork":false,"description":"Demonstration project for Java analysis","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":3,"issueCount":0,"starsCount":14,"forksCount":28,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-01T10:18:40.989Z"}},{"type":"Public","name":"cover-annotations","owner":"diffblue","isFork":false,"description":"Cover Annotations","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,4,0,2,0,0,0,0,1,9,10,0,6,0,0,0,0,0,10,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-17T16:16:59.783Z"}},{"type":"Public","name":"CoreBanking","owner":"diffblue","isFork":false,"description":"A simple CoreBanking app for demo purposes.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":2,"issueCount":0,"starsCount":10,"forksCount":12,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-13T13:26:01.817Z"}},{"type":"Public","name":"SpringHotelManagementSystemExample","owner":"diffblue","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-18T11:56:30.023Z"}},{"type":"Public","name":"cover-pipelines","owner":"diffblue","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-23T08:40:04.981Z"}},{"type":"Public","name":"ci-log-diff","owner":"diffblue","isFork":false,"description":"Tool to analyse log files from CI and highlight where changes are important","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-16T08:45:50.502Z"}},{"type":"Public","name":"redash-loader","owner":"diffblue","isFork":false,"description":"Tool to extract and reload queries and dashboards from a redash instance as plain text that can be managed with a SCM like git","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-07T14:51:21.905Z"}},{"type":"Public","name":"detekt","owner":"diffblue","isFork":false,"description":"Detekt project with tests created by cover","allTopics":[],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T16:23:26.881Z"}},{"type":"Public","name":"2ls","owner":"diffblue","isFork":false,"description":"Static Analyzer and Verifier","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":4,"issueCount":53,"starsCount":44,"forksCount":24,"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)","allTopics":[],"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":"tutorials","owner":"diffblue","isFork":false,"description":"Source Code Examples for Diffblue Tutorials","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-19T12:42:28.199Z"}},{"type":"Public","name":"gitlab","owner":"diffblue","isFork":false,"description":"Clone of <a href=\"https://gitlab.com/gitlab-org/gitlab\" rel=\"nofollow\">https://gitlab.com/gitlab-org/gitlab</a>","allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":1,"issueCount":0,"starsCount":1,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-28T10:03:38.720Z"}},{"type":"Public","name":"aws-training","owner":"diffblue","isFork":false,"description":"Material for AWS training days","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-28T11:08:54.259Z"}},{"type":"Public","name":"redash","owner":"diffblue","isFork":true,"description":"Make Your Company Data Driven. Connect to any data source, easily visualize, dashboard and share your data.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":4342,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-22T14:12:16.592Z"}},{"type":"Public","name":"getting-started-with-springboot-and-docker","owner":"diffblue","isFork":false,"description":"Getting started with Spring Boot and Docker","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-19T11:00:36.069Z"}},{"type":"Public","name":"JUnit-Examples","owner":"diffblue","isFork":false,"description":"About JUnit 5, IntelliJ, Mockit and Diffblue Cover Code Samples","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-19T10:54:21.796Z"}},{"type":"Public","name":"demo-nacos","owner":"diffblue","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-14T18:00:09.160Z"}},{"type":"Public","name":"TicTacToe","owner":"diffblue","isFork":false,"description":"Example Project for E-Book Tutorial","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-06T16:08:37.644Z"}},{"type":"Public archive","name":"nacos-fork","owner":"diffblue","isFork":true,"description":"an easy-to-use dynamic service discovery, configuration and service management platform for building cloud native applications.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":12810,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-26T08:47:30.528Z"}},{"type":"Public archive","name":"eureka-fork","owner":"diffblue","isFork":true,"description":"AWS Service registry for resilient mid-tier load balancing and failover.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3738,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-18T07:26:23.489Z"}},{"type":"Public","name":"java-models-library","owner":"diffblue","isFork":false,"description":"JDK 8 class model library","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":1,"starsCount":4,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-22T12:06:18.081Z"}},{"type":"Public","name":"apache-ant","owner":"diffblue","isFork":true,"description":"Fork for testing purposes.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":426,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-05T12:49:41.944Z"}},{"type":"Public","name":"intellij-community","owner":"diffblue","isFork":true,"description":"IntelliJ IDEA Community Edition","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":5223,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-16T10:47:50.166Z"}},{"type":"Public","name":"BlueCov","owner":"diffblue","isFork":false,"description":"A tool for instrumenting Java bytecode based on properties defined by JBMC","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-01T17:53:32.817Z"}}],"repositoryCount":47,"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":"template","text":"Templates"}],"compactMode":false},"title":"diffblue repositories"}