Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: diffblue/java-models-library
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 1068a992642ab6adbe1d4aab2c868cf81445ca25
Choose a base ref
...
head repository: diffblue/java-models-library
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: d825533d7feaa477dba880abd679805dede9bb4e
Choose a head ref
  • 4 commits
  • 3 files changed
  • 3 contributors

Commits on Nov 16, 2018

  1. Call CProver methods from SVCOMP's Verifier class

    @peterschrammel
    peterschrammel committed Nov 16, 2018
    Configuration menu
    Copy the full SHA
    7d07a1b View commit details
    Browse the repository at this point in the history

Commits on Nov 19, 2018

  1. Merge pull request #12 from diffblue/svcomp-verifier-cprover 

    Call CProver methods from SVCOMP's Verifier class
    @peterschrammel
    peterschrammel authored Nov 19, 2018
    Configuration menu
    Copy the full SHA
    b7737c7 View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2018

  1. Add model for String.valueOf(boolean)

    @romainbrenguier
    romainbrenguier committed Nov 20, 2018
    Configuration menu
    Copy the full SHA
    73b5a1a View commit details
    Browse the repository at this point in the history

  2. Model for StringBuffer(boolean)

    @romainbrenguier
    romainbrenguier committed Nov 20, 2018
    Configuration menu
    Copy the full SHA
    d825533 View commit details
    Browse the repository at this point in the history
Loading