Skip to content
@diffblue

Diffblue

AI For Code

Pinned Loading

  1. cover-github-action cover-github-action Public

    GitHub Action for running Diffblue Cover from a GitHub Actions workflow

    TypeScript 27 2

  2. cover-annotations cover-annotations Public

    Cover Annotations

    Java 3

  3. demo-spring-petclinic demo-spring-petclinic Public

    Demo based on Spring Petclinic

    CSS 1 6

  4. cbmc cbmc Public

    C Bounded Model Checker

    C++ 844 262

  5. hw-cbmc hw-cbmc Public

    The HW-CBMC and EBMC Model Checkers for Verilog

    C++ 59 14

  6. java-cprover-api java-cprover-api Public

    Java library that exposes the CProver API of JBMC

    Java

Repositories

Showing 10 of 47 repositories
  • cbmc Public

    C Bounded Model Checker

    diffblue/cbmc’s past year of commit activity
    C++ 844 262 390 134 Updated Nov 5, 2024
  • PiggymetricsDiffblueTests Public
    diffblue/PiggymetricsDiffblueTests’s past year of commit activity
    Java 1 MIT 1 0 0 Updated Nov 4, 2024
  • cover-github-action Public

    GitHub Action for running Diffblue Cover from a GitHub Actions workflow

    diffblue/cover-github-action’s past year of commit activity
    TypeScript 27 MIT 2 0 6 Updated Nov 4, 2024
  • hw-cbmc Public

    The HW-CBMC and EBMC Model Checkers for Verilog

    diffblue/hw-cbmc’s past year of commit activity
    C++ 59 14 19 23 Updated Nov 3, 2024
  • demo-spring-petclinic Public

    Demo based on Spring Petclinic

    diffblue/demo-spring-petclinic’s past year of commit activity
    CSS 1 Apache-2.0 6 0 0 Updated Oct 21, 2024
  • 2ls Public

    Static Analyzer and Verifier

    diffblue/2ls’s past year of commit activity
    C++ 45 25 53 4 Updated Oct 12, 2024
  • homebrew-cbmc Public

    brew tap for CBMC

    diffblue/homebrew-cbmc’s past year of commit activity
    Ruby 3 2 0 0 Updated Sep 23, 2024
  • java-demo Public

    Demonstration project for Java analysis

    diffblue/java-demo’s past year of commit activity
    Java 14 28 0 3 Updated Aug 1, 2024
  • cover-annotations Public

    Cover Annotations

    diffblue/cover-annotations’s past year of commit activity
    Java 3 Apache-2.0 0 0 0 Updated Jul 17, 2024
  • CoreBanking Public

    A simple CoreBanking app for demo purposes.

    diffblue/CoreBanking’s past year of commit activity
    Java 10 Apache-2.0 12 0 2 Updated Jul 13, 2024
View all repositories

Most used topics

Loading…