Skip to content

History

Revisions

  • Created SID Syntax (markdown)

    @cmatheja cmatheja committed Feb 5, 2019
    1c90bb6

  • Created Symbolic Heap Syntax (markdown)

    @cmatheja cmatheja committed Feb 5, 2019
    15e47bf

  • Updated Home (markdown)

    @cmatheja cmatheja committed Feb 5, 2019
    2a9860e

  • Updated Home (markdown)

    @cmatheja cmatheja committed Feb 5, 2019
    da5a641

  • Updated Glossary (markdown)

    @cmatheja cmatheja committed Feb 5, 2019
    f6802b7

  • Updated Glossary (markdown)

    @cmatheja cmatheja committed Feb 5, 2019
    9e62645

  • Updated Home (markdown)

    @cmatheja cmatheja committed Feb 5, 2019
    99c9372

  • Updated Command Line Options (markdown)

    @cmatheja cmatheja committed Feb 5, 2019
    6b1413e

  • Updated Command Line Options (markdown)

    @cmatheja cmatheja committed Feb 5, 2019
    a5319f2

  • Updated Command Line Options (markdown)

    @cmatheja cmatheja committed Feb 4, 2019
    8cea85e

  • Updated Home (markdown)

    @cmatheja cmatheja committed Feb 4, 2019
    fb8e42a

  • Updated Home (markdown)

    @cmatheja cmatheja committed Oct 8, 2018
    f3456d1

  • Updated Command Line Options (markdown)

    @HannahArndt HannahArndt committed Jul 10, 2018
    3a6a832

  • fix links

    @HannahArndt HannahArndt committed Jul 10, 2018
    0295648

  • added a small index for faster navigation (as the list of options is rather long)

    @HannahArndt HannahArndt committed Jul 10, 2018
    9e02bbd

  • Updated Graphical User Interface (markdown)

    @cmatheja cmatheja committed Apr 19, 2018
    6167c3d

  • Updated Graphical User Interface (markdown)

    @cmatheja cmatheja committed Apr 19, 2018
    9303d83

  • Created Graphical User Interface (markdown)

    @cmatheja cmatheja committed Apr 19, 2018
    2dd492d

  • Updated Tour (markdown)

    @cmatheja cmatheja committed Apr 19, 2018
    6c0ee80

  • Updated Home (markdown)

    @cmatheja cmatheja committed Apr 6, 2018
    0c82c81

  • Created Tour (markdown)

    @cmatheja cmatheja committed Apr 6, 2018
    59ed440

  • Created Predefined Data Structures (markdown)

    @cmatheja cmatheja committed Apr 4, 2018
    a8f6883

  • Updated Home (markdown)

    @cmatheja cmatheja committed Apr 3, 2018
    1fdfbf3

  • Updated Graphical Notation (markdown)

    @cmatheja cmatheja committed Apr 3, 2018
    d49e7ab

  • Created Graphical Notation (markdown)

    @cmatheja cmatheja committed Apr 3, 2018
    8655741

  • Updated Home (markdown)

    @cmatheja cmatheja committed Apr 3, 2018
    51a3f9d

  • Updated Settings File (markdown)

    @thnoll thnoll committed Mar 28, 2018
    62fddba

  • Updated Settings File (markdown)

    @thnoll thnoll committed Mar 28, 2018
    fae53f8

  • Updated Settings File (markdown)

    @thnoll thnoll committed Mar 28, 2018
    2482b69

  • Updated LTL Specifications (markdown)

    @thnoll thnoll committed Mar 28, 2018
    46c6d04