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

Bachelorarbeit Pascal Pfeil #30

Merged
merged 23 commits into from Jun 6, 2018
Merged

Bachelorarbeit Pascal Pfeil #30

merged 23 commits into from Jun 6, 2018

Commits on Apr 14, 2018

  1. Prototype implementation parsing to AST into existing parser

    @pascalpfeil
    pascalpfeil committed Apr 14, 2018
    Copy the full SHA
    d44b50d View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2018

  1. Added oc5 abnf grammar

    @pascalpfeil
    pascalpfeil committed Apr 16, 2018
    Copy the full SHA
    00bd764 View commit details
    Browse the repository at this point in the history

  2. Removed legacy code

    @pascalpfeil
    pascalpfeil committed Apr 16, 2018
    Copy the full SHA
    b059a6b View commit details
    Browse the repository at this point in the history

  3. Removed even more legacy code

    @pascalpfeil
    pascalpfeil committed Apr 16, 2018
    Copy the full SHA
    e4fe6e6 View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2018

  1. Removed Projects not comiling anymore

    @pascalpfeil
    pascalpfeil committed Apr 23, 2018
    Copy the full SHA
    88cdb72 View commit details
    Browse the repository at this point in the history

  2. Updated ANTLR Grammar, Parser, Visitor and ErrorListener

    @pascalpfeil
    pascalpfeil committed Apr 23, 2018
    Copy the full SHA
    4084a7f View commit details
    Browse the repository at this point in the history

  3. Updated SafetyLustre with prototype implementation of Oc5Parser

    @pascalpfeil
    pascalpfeil committed Apr 23, 2018
    Copy the full SHA
    70f2086 View commit details
    Browse the repository at this point in the history

  4. Added Unit Tests for ANTLR

    @pascalpfeil
    pascalpfeil committed Apr 23, 2018
    Copy the full SHA
    7cff8d1 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2018

  1. Added CompilationVisitor

    @pascalpfeil
    pascalpfeil committed May 17, 2018
    Copy the full SHA
    d89bb0a View commit details
    Browse the repository at this point in the history

  2. Integrated Oc5Model and Oc5State in CompileVisitor and Oc5Runner

    @pascalpfeil
    pascalpfeil committed May 17, 2018
    Copy the full SHA
    1fd6bb8 View commit details
    Browse the repository at this point in the history

  3. CompileVisitor now precompiles states after it visted an oc5 file

    @pascalpfeil
    pascalpfeil committed May 17, 2018
    Copy the full SHA
    37c915f View commit details
    Browse the repository at this point in the history

Commits on May 18, 2018

  1. Added ModelChecking, added tests, optimised performance of input assi… 

    …gnments , updated NuGet packages
    @pascalpfeil
    pascalpfeil committed May 18, 2018
    Copy the full SHA
    d5cd1dc View commit details
    Browse the repository at this point in the history

Commits on May 21, 2018

  1. Added LustreCompiler

    @pascalpfeil
    pascalpfeil committed May 21, 2018
    Copy the full SHA
    34ec809 View commit details
    Browse the repository at this point in the history

Commits on May 22, 2018

  1. Made LustreCompiler work with all wsl users, cleaned up code, added c… 

    …omments
    @pascalpfeil
    pascalpfeil committed May 22, 2018
    Copy the full SHA
    fce90bb View commit details
    Browse the repository at this point in the history

Commits on May 23, 2018

  1. Fixed LustreCompiler

    @pascalpfeil
    pascalpfeil committed May 23, 2018
    Copy the full SHA
    371be55 View commit details
    Browse the repository at this point in the history

Commits on Jun 4, 2018

  1. Changed SafetyLustre project structure, added ModelChecking

    @pascalpfeil
    pascalpfeil committed Jun 4, 2018
    Copy the full SHA
    d7490a2 View commit details
    Browse the repository at this point in the history

  2. Added back Lustre Models

    @pascalpfeil
    pascalpfeil committed Jun 4, 2018
    Copy the full SHA
    c11baff View commit details
    Browse the repository at this point in the history

  3. Made LustreCompiler thread-safe with HACK

    @pascalpfeil
    pascalpfeil committed Jun 4, 2018
    Copy the full SHA
    4eb7098 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2018

  1. Added LustreModelSerializerTests

    @pascalpfeil
    pascalpfeil committed Jun 5, 2018
    Copy the full SHA
    2f620a5 View commit details
    Browse the repository at this point in the history

  2. Fixed LustreModelSerializerTests and Lustre_Model Tests

    @pascalpfeil
    pascalpfeil committed Jun 5, 2018
    Copy the full SHA
    9358bbe View commit details
    Browse the repository at this point in the history

  3. Removed orphan file

    @pascalpfeil
    pascalpfeil committed Jun 5, 2018
    Copy the full SHA
    d185b0f View commit details
    Browse the repository at this point in the history

  4. Updated licensing information

    @pascalpfeil
    pascalpfeil committed Jun 5, 2018
    Copy the full SHA
    b3e06c8 View commit details
    Browse the repository at this point in the history

  5. Fixed Lustre_Model Tests 2

    @pascalpfeil
    pascalpfeil committed Jun 5, 2018
    Copy the full SHA
    acbf6b5 View commit details
    Browse the repository at this point in the history