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: master
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: sv-comp21
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 7 commits
  • 5 files changed
  • 1 contributor

Commits on Oct 15, 2020

  1. Make unsupported case notModelled instead of using assume 

    Under-approximated models can lead to spurious UNSAT results
in JBMC; however, we can mark over-approximated cases as
notModelled and JBMC will detect them and give a warning that
behaviour is over-approximating when reporting SAT.
    @peterschrammel
    peterschrammel committed Oct 15, 2020
    Configuration menu
    Copy the full SHA
    acbde73 View commit details
    Browse the repository at this point in the history

  2. Add missing cast 

    Without the cast we get a spurious UNSAT.
    @peterschrammel
    peterschrammel committed Oct 15, 2020
    Configuration menu
    Copy the full SHA
    695c8b5 View commit details
    Browse the repository at this point in the history

  3. Make unsupported case notModelled instead of using assume 

    Under-approximated models can lead to spurious UNSAT results
in JBMC; however, we can mark over-approximated cases as
notModelled and JBMC will detect them and give a warning that
behaviour is over-approximating when reporting SAT.
    @peterschrammel
    peterschrammel committed Oct 15, 2020
    Configuration menu
    Copy the full SHA
    e36bb5d View commit details
    Browse the repository at this point in the history

  4. Update to models-library@4d20c50

    @peterschrammel
    peterschrammel committed Oct 15, 2020
    Configuration menu
    Copy the full SHA
    893ecd9 View commit details
    Browse the repository at this point in the history

  5. Add java.util.Objects

    @peterschrammel
    peterschrammel committed Oct 15, 2020
    Configuration menu
    Copy the full SHA
    f468b64 View commit details
    Browse the repository at this point in the history

  6. A partial solution for Class object singletons 

    This is necessary to make comparisons such as
o.getClass() == o.getClass() succeed.
    @peterschrammel
    peterschrammel committed Oct 15, 2020
    Configuration menu
    Copy the full SHA
    cfc3ce9 View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2020

  1. Add java.net.URLDecoder

    @peterschrammel
    peterschrammel committed Nov 14, 2020
    Configuration menu
    Copy the full SHA
    749e338 View commit details
    Browse the repository at this point in the history
Loading