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

location_invariant YAML entry type as schema #62

Open
wants to merge 22 commits into
base: main
Choose a base branch
from
Open

location_invariant YAML entry type as schema #62

wants to merge 22 commits into from

Commits on Jun 13, 2022

  1. Change loop-invariant-schema to be YAML witness schema

    @sim642
    sim642 committed Jun 13, 2022
    Configuration menu
    Copy the full SHA
    494bb57 View commit details
    Browse the repository at this point in the history

  2. Extract $defs in YAML schema

    @sim642
    sim642 committed Jun 13, 2022
    Configuration menu
    Copy the full SHA
    7dd4191 View commit details
    Browse the repository at this point in the history

  3. Add oneOf around YAML schema for extensibility

    @sim642
    sim642 committed Jun 13, 2022
    Configuration menu
    Copy the full SHA
    37b23fa View commit details
    Browse the repository at this point in the history

  4. Add descriptions from README to YAML schema

    @sim642
    sim642 committed Jun 13, 2022
    Configuration menu
    Copy the full SHA
    4c6a1ea View commit details
    Browse the repository at this point in the history

  5. Add loop_invariant_certificate to YAML schema

    @sim642
    sim642 committed Jun 13, 2022
    Configuration menu
    Copy the full SHA
    03fbbbe View commit details
    Browse the repository at this point in the history

Commits on Jun 30, 2022

  1. Fix inconsistencies between YAML witness README and schema

    @sim642
    sim642 committed Jun 30, 2022
    Configuration menu
    Copy the full SHA
    caf63d4 View commit details
    Browse the repository at this point in the history

  2. Add more descriptions and SHA-256 patterns to YAML schema

    @sim642
    sim642 committed Jun 30, 2022
    Configuration menu
    Copy the full SHA
    34aab19 View commit details
    Browse the repository at this point in the history

  3. Add examples to YAML schema

    @sim642
    sim642 committed Jun 30, 2022
    Configuration menu
    Copy the full SHA
    a456feb View commit details
    Browse the repository at this point in the history

  4. Add long entry type descriptions to YAML schema

    @sim642
    sim642 committed Jun 30, 2022
    Configuration menu
    Copy the full SHA
    62b9bdf View commit details
    Browse the repository at this point in the history

  5. Rewrite most YAML schema descriptions

    @sim642
    sim642 committed Jun 30, 2022
    Configuration menu
    Copy the full SHA
    40c8c18 View commit details
    Browse the repository at this point in the history

  6. Remove YAML format descriptions from README

    @sim642
    sim642 committed Jun 30, 2022
    Configuration menu
    Copy the full SHA
    26ad4be View commit details
    Browse the repository at this point in the history

  7. Update YAML witness format description

    @sim642
    sim642 committed Jun 30, 2022
    Configuration menu
    Copy the full SHA
    e51d956 View commit details
    Browse the repository at this point in the history

  8. Add json-schema-for-humans for YAML witness

    @sim642
    sim642 committed Jun 30, 2022
    Configuration menu
    Copy the full SHA
    db9be43 View commit details
    Browse the repository at this point in the history

  9. Add GitHub Actions workflow for deploying YAML schema

    @sim642
    sim642 committed Jun 30, 2022
    Configuration menu
    Copy the full SHA
    daebade View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2022

  1. Improve schema according to review comments 

    Co-authored-by: Sven Umbricht <Sven.Umbricht@gmail.com>
    @sim642 @SvenUmbricht
    sim642 and SvenUmbricht committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    32f9ba9 View commit details
    Browse the repository at this point in the history

  2. Fix invalid file_hash in loop_invariant_certificate example

    @sim642
    sim642 committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    529da03 View commit details
    Browse the repository at this point in the history

  3. Add pages directory to .gitignore 

    The schema workflow command outputs there instead of the project root.
    @sim642
    sim642 committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    5d4dcc4 View commit details
    Browse the repository at this point in the history

  4. Change schema workflow branch to main

    @sim642
    sim642 committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    de744a1 View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2022

  1. Expand long examples in generated YAML schema

    @sim642
    sim642 committed Aug 17, 2022
    Configuration menu
    Copy the full SHA
    74d4de0 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2022

  1. Add location_invariant YAML entry type 

    Based on sosy-lab#59.
    @sim642
    sim642 committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    f5ac226 View commit details
    Browse the repository at this point in the history

  2. Generalize loop_invariant_certificate to invariant_certificate

    @sim642
    sim642 committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    f8cab59 View commit details
    Browse the repository at this point in the history

  3. Clarify loop_invariant and location_invariant difference 

    Related to sosy-lab#60.
    @sim642
    sim642 committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    c06aa07 View commit details
    Browse the repository at this point in the history