Skip to content
This repository has been archived by the owner on Oct 3, 2021. It is now read-only.

Combinations pals lcr problem12 label0 #1210

Merged
merged 5 commits into from
Nov 11, 2020
Merged

Combinations pals lcr problem12 label0 #1210

merged 5 commits into from
Nov 11, 2020

Commits on Nov 5, 2020

  1. Add benchmark tasks combined from seq-mthreaded/pals_lcr and eca-rers… 

    …2012/Problem12_label0*

Used in 'Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger: Difference Verification with Conditions, SEFM20'
    @lembergerth
    lembergerth committed Nov 5, 2020
    Configuration menu
    Copy the full SHA
    bb3384c View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2020

  1. Let check.py expect combinations/generate-tasks.py

    @lembergerth
    lembergerth committed Nov 9, 2020
    Configuration menu
    Copy the full SHA
    33490c1 View commit details
    Browse the repository at this point in the history

  2. Add short category description to ReachSafety-Combinations.set

    @lembergerth
    lembergerth committed Nov 9, 2020
    Configuration menu
    Copy the full SHA
    47c831b View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2020

  1. Get copyright info for combination tasks from original tasks 

    Instead of adding copyright info explicitly
    @lembergerth
    lembergerth committed Nov 10, 2020
    Configuration menu
    Copy the full SHA
    457c7e6 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2020

  1. Remove old comment line in description of combinations 

    Obsolete and missing the comment-hash.

Co-authored-by: Philipp Wendler <[email protected]>
    @lembergerth @PhilippWendler
    lembergerth and PhilippWendler authored Nov 11, 2020
    Configuration menu
    Copy the full SHA
    217f9f8 View commit details
    Browse the repository at this point in the history