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

Supporting forall and automaton arrays in properties file #186

Merged
merged 9 commits into from
Sep 24, 2024
Merged

Supporting forall and automaton arrays in properties file #186

merged 9 commits into from
Sep 24, 2024

Commits on Sep 24, 2024

  1. allowing accesses in state_predicate

    @tomaz1502 @himito
    tomaz1502 authored and himito committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    69cf198 View commit details
    Browse the repository at this point in the history

  2. fischer example with forall in properties

    @tomaz1502 @himito
    tomaz1502 authored and himito committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    22b0fdd View commit details
    Browse the repository at this point in the history

  3. Parsing forall in properties

    @tomaz1502 @himito
    tomaz1502 authored and himito committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    d47aa12 View commit details
    Browse the repository at this point in the history

  4. Expanding forall in properties (simple predicates)

    @tomaz1502 @himito
    tomaz1502 authored and himito committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    310c0b9 View commit details
    Browse the repository at this point in the history

  5. Examples with nested forall

    @tomaz1502 @himito
    tomaz1502 authored and himito committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    faaedc1 View commit details
    Browse the repository at this point in the history

  6. Supporting nested forall.

    @tomaz1502 @himito
    tomaz1502 authored and himito committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    cfb0d5d View commit details
    Browse the repository at this point in the history

  7. Annotating types in Templates.ml

    @tomaz1502 @himito
    tomaz1502 authored and himito committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    570e755 View commit details
    Browse the repository at this point in the history

  8. Add TODO commentary

    @tomaz1502 @himito
    tomaz1502 authored and himito committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    7085640 View commit details
    Browse the repository at this point in the history

  9. chore: add little comment

    @himito
    himito committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    9708710 View commit details
    Browse the repository at this point in the history