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

Improve documentation and usability #36

Merged
merged 31 commits into from
Oct 23, 2024
Merged

Improve documentation and usability #36

merged 31 commits into from
Oct 23, 2024

Commits on Oct 19, 2024

  1. fix: minor updates to README

    @marcofavorito
    marcofavorito committed Oct 19, 2024
    Configuration menu
    Copy the full SHA
    814e473 View commit details
    Browse the repository at this point in the history

  2. feat!: add /usr/local/lydiasyft as default prefix

    @marcofavorito
    marcofavorito committed Oct 19, 2024
    Configuration menu
    Copy the full SHA
    608dc8c View commit details
    Browse the repository at this point in the history

  3. docs: add introduction in README

    @marcofavorito
    marcofavorito committed Oct 19, 2024
    Configuration menu
    Copy the full SHA
    daaa061 View commit details
    Browse the repository at this point in the history

  4. docs: add license and copyright notices at the end of the README

    @marcofavorito
    marcofavorito committed Oct 19, 2024
    Configuration menu
    Copy the full SHA
    3f6b78b View commit details
    Browse the repository at this point in the history

  5. docs: minor fix, remove uppercase in README

    @marcofavorito
    marcofavorito committed Oct 19, 2024
    Configuration menu
    Copy the full SHA
    945dd76 View commit details
    Browse the repository at this point in the history

  6. fix: improve handling of syfco binary 

    If --syfco-path is not provided, we first try to find it on the system path by using `which`.
Otherwise, we check whether the default path './syfco' exists.
    @marcofavorito
    marcofavorito committed Oct 19, 2024
    Configuration menu
    Copy the full SHA
    5dec063 View commit details
    Browse the repository at this point in the history

  7. fix!: rename directory example -> examples

    @marcofavorito
    marcofavorito committed Oct 19, 2024
    Configuration menu
    Copy the full SHA
    23a60f8 View commit details
    Browse the repository at this point in the history

  8. docs: add Syfco installation instructions in readme, other minor fixes

    @marcofavorito
    marcofavorito authored and marcofavorito committed Oct 19, 2024
    Configuration menu
    Copy the full SHA
    61ae37f View commit details
    Browse the repository at this point in the history

  9. fix: minor refactoring of syfco binary finder

    @marcofavorito
    marcofavorito committed Oct 19, 2024
    Configuration menu
    Copy the full SHA
    a74271a View commit details
    Browse the repository at this point in the history

  10. chore: update .gitignore

    @marcofavorito
    marcofavorito committed Oct 19, 2024
    Configuration menu
    Copy the full SHA
    3e4a59d View commit details
    Browse the repository at this point in the history

  11. docs: add Slugs installation instructions in README

    @marcofavorito
    marcofavorito committed Oct 19, 2024
    Configuration menu
    Copy the full SHA
    91f23dc View commit details
    Browse the repository at this point in the history

  12. build: add flag to enable/disable LydiaSyft tests

    @marcofavorito
    marcofavorito committed Oct 19, 2024
    Configuration menu
    Copy the full SHA
    8835a16 View commit details
    Browse the repository at this point in the history

  13. example: add quickstart example and CMake configuration for examples

    @marcofavorito
    marcofavorito committed Oct 19, 2024
    Configuration menu
    Copy the full SHA
    bc8182c View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2024

  1. docs: add quickstart example for C++ API usage

    @marcofavorito
    marcofavorito committed Oct 20, 2024
    Configuration menu
    Copy the full SHA
    da6d884 View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2024

  1. docs: create 'api' documentation group

    @marcofavorito
    marcofavorito committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    e5a1b1f View commit details
    Browse the repository at this point in the history

  2. example: add p02_api_example_dfa example

    @marcofavorito
    marcofavorito committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    900b622 View commit details
    Browse the repository at this point in the history

  3. fix: bug in dfa_complement, need to copy dfa before calling dfaNegation

    @marcofavorito
    marcofavorito committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    1b13dde View commit details
    Browse the repository at this point in the history

  4. example: add p03_api_example_dfa_creation_and_manipulation

    @marcofavorito
    marcofavorito committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    1c4aded View commit details
    Browse the repository at this point in the history

  5. fix!: factor out Utils module from cli/base

    @marcofavorito
    marcofavorito committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    f8945b6 View commit details
    Browse the repository at this point in the history

  6. fix: handle empty string result in find_executable_using_which

    @marcofavorito
    marcofavorito committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    69e4ef8 View commit details
    Browse the repository at this point in the history

  7. example: add p04_api_example_ltlf_synthesis example

    @marcofavorito
    marcofavorito committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    448b9fb View commit details
    Browse the repository at this point in the history

  8. example: add p05_api_example_ltlf_synthesis_maximally_permissive

    @marcofavorito
    marcofavorito committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    699d0e2 View commit details
    Browse the repository at this point in the history

  9. example: add 06_ltlf_synthesis_with_fairness_conditions example

    @marcofavorito
    marcofavorito committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    38864bf View commit details
    Browse the repository at this point in the history

  10. example: add 07_ltlf_synthesis_with_stability_conditions example

    @marcofavorito
    marcofavorito committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    0ffb95d View commit details
    Browse the repository at this point in the history

  11. example: add 08_ltlf_synthesis_with_gr1_env_spec example

    @marcofavorito
    marcofavorito committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    14cfd11 View commit details
    Browse the repository at this point in the history

  12. docs: add CLI docs page

    @marcofavorito
    marcofavorito committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    10eb60e View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2024

  1. added strategy description

    @Shufang-Zhu
    Shufang-Zhu committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    9ee3f85 View commit details
    Browse the repository at this point in the history

  2. fixed filename in ltlf syn test

    @Shufang-Zhu
    Shufang-Zhu committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    21a63b8 View commit details
    Browse the repository at this point in the history

  3. fix: minor bug in transducer instantiation

    @marcofavorito
    marcofavorito committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    4bc77f1 View commit details
    Browse the repository at this point in the history

  4. ci: add example running

    @marcofavorito
    marcofavorito committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    98ad2e0 View commit details
    Browse the repository at this point in the history

  5. chore: minor changes 

    - add CMake target 'examples'
- update example name: '_constraints_' -> '_conditions_'
    @marcofavorito
    marcofavorito committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    471a3cd View commit details
    Browse the repository at this point in the history