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

Add LTLf syntax support. #2

Merged
merged 9 commits into from
Aug 6, 2021
Merged

Add LTLf syntax support. #2

merged 9 commits into from
Aug 6, 2021

Commits on Jul 12, 2021

  1. feat: add tt and ff

    @marcofavorito
    marcofavorito committed Jul 12, 2021
    Configuration menu
    Copy the full SHA
    15ef6d4 View commit details
    Browse the repository at this point in the history

  2. feat: add parsing of tt and ff

    @marcofavorito
    marcofavorito committed Jul 12, 2021
    Configuration menu
    Copy the full SHA
    4ce117f View commit details
    Browse the repository at this point in the history

  3. feat: add support and parsing for atomic LTLf formula

    @marcofavorito
    marcofavorito committed Jul 12, 2021
    Configuration menu
    Copy the full SHA
    a66754f View commit details
    Browse the repository at this point in the history

  4. feat: add support and parsing for LTLf negations LTLf

    @marcofavorito
    marcofavorito committed Jul 12, 2021
    Configuration menu
    Copy the full SHA
    e40a12b View commit details
    Browse the repository at this point in the history

  5. feat: add support and parsing for LTLf conjunction and disjunction

    @marcofavorito
    marcofavorito committed Jul 12, 2021
    Configuration menu
    Copy the full SHA
    39c443a View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2021

  1. feat: add implication and equivalence binary operators

    @marcofavorito
    marcofavorito committed Jul 27, 2021
    Configuration menu
    Copy the full SHA
    578fbf1 View commit details
    Browse the repository at this point in the history

  2. feat: add other ltlf operators

    @marcofavorito
    marcofavorito committed Jul 27, 2021
    Configuration menu
    Copy the full SHA
    1182c28 View commit details
    Browse the repository at this point in the history

  3. test: add tests for ltlf formulas construction

    @marcofavorito
    marcofavorito committed Jul 27, 2021
    Configuration menu
    Copy the full SHA
    b420326 View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2021

  1. feat: complete parser, add tests

    @marcofavorito
    marcofavorito committed Aug 6, 2021
    Configuration menu
    Copy the full SHA
    4cf2daf View commit details
    Browse the repository at this point in the history