Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

asserting in #455

Draft
wants to merge 8 commits into
base: master
Choose a base branch
from
Draft

asserting in #455

wants to merge 8 commits into from

Commits on May 22, 2022

  1. Added asserting-in expression

    @dewert99
    dewert99 committed May 22, 2022
    Configuration menu
    Copy the full SHA
    7e0ef76 View commit details
    Browse the repository at this point in the history

Commits on May 25, 2022

  1. Extracted super trait HintExp for Unfolding, Applying, and Asserting

    @dewert99
    dewert99 committed May 25, 2022
    Configuration menu
    Copy the full SHA
    b7f533b View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2022

  1. Added timeout tests

    @dewert99
    dewert99 committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    8bd9a7e View commit details
    Browse the repository at this point in the history

Commits on Jun 2, 2022

  1. Fixed TimeoutPortableCarbonTests to take repetitions into account

    @dewert99
    dewert99 committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    3d7b8ce View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2022

  1. Made sure processes were destroyed if they timed out

    @dewert99
    dewert99 committed Jun 20, 2022
    Configuration menu
    Copy the full SHA
    cdd32f1 View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2022

  1. Also kill Boogies children (Z3) on timeout

    @dewert99
    dewert99 committed Jun 23, 2022
    Configuration menu
    Copy the full SHA
    832a4ee View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2023

  1. Merge remote-tracking branch 'origin-dewert/master' into benchmark-co… 

    …nfig

# Conflicts:
#	src/main/scala/viper/carbon/verifier/BoogieInterface.scala
    @dewert99
    dewert99 committed Mar 8, 2023
    Configuration menu
    Copy the full SHA
    579aac9 View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2023

  1. Reverted non asserting changes

    @dewert99
    dewert99 committed Mar 14, 2023
    Configuration menu
    Copy the full SHA
    07a5871 View commit details
    Browse the repository at this point in the history