Skip to content
This repository has been archived by the owner on Jul 2, 2024. It is now read-only.

bisimulation check using cfsm_bisimulation from Diego's thesis #13

Merged
merged 43 commits into from
May 29, 2024
Merged

bisimulation check using cfsm_bisimulation from Diego's thesis #13

merged 43 commits into from
May 29, 2024

Commits on Feb 25, 2024

  1. WIP: converter to cfsm_bisimulation

    @pmontepagano
    pmontepagano committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    04c627a View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2024

  1. Converter is working.

    @pmontepagano
    pmontepagano committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    24eb249 View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2024

  1. Regenerate mocks.

    @pmontepagano
    pmontepagano committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    ea78854 View commit details
    Browse the repository at this point in the history

  2. lint

    @pmontepagano
    pmontepagano committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    3a778a8 View commit details
    Browse the repository at this point in the history

  3. Refactor to include participants, name and message translations.

    @pmontepagano
    pmontepagano committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    8c07535 View commit details
    Browse the repository at this point in the history

Commits on Feb 29, 2024

  1. Refactor

    @pmontepagano
    pmontepagano committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    3848449 View commit details
    Browse the repository at this point in the history

  2. bisim check

    @pmontepagano
    pmontepagano committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    095c254 View commit details
    Browse the repository at this point in the history

  3. ahora anda llamar al programa de diego para chequear

    @pmontepagano
    pmontepagano committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    d1e64a0 View commit details
    Browse the repository at this point in the history

  4. adaptar ejemplo

    @pmontepagano
    pmontepagano committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    d8177a6 View commit details
    Browse the repository at this point in the history

  5. install python in ci

    @pmontepagano
    pmontepagano committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    ecff92e View commit details
    Browse the repository at this point in the history

  6. upgrade to go 1.22

    @pmontepagano
    pmontepagano committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    aeeb387 View commit details
    Browse the repository at this point in the history

  7. Revert "upgrade to go 1.22" 

    This reverts commit aeeb387.
    @pmontepagano
    pmontepagano committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    b7ec228 View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2024

  1. wip readme

    @pmontepagano
    pmontepagano committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    8765270 View commit details
    Browse the repository at this point in the history

  2. development readme

    @pmontepagano
    pmontepagano committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    8d08101 View commit details
    Browse the repository at this point in the history

  3. more readme

    @pmontepagano
    pmontepagano committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    cff4063 View commit details
    Browse the repository at this point in the history

  4. make bisimulation default behaviour

    @pmontepagano
    pmontepagano committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    304bd9e View commit details
    Browse the repository at this point in the history

  5. add python package as required to run broker

    @pmontepagano
    pmontepagano committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    1f615cb View commit details
    Browse the repository at this point in the history

  6. rename pps midleware

    @pmontepagano
    pmontepagano committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    826b3a2 View commit details
    Browse the repository at this point in the history

  7. adapt example readme

    @pmontepagano
    pmontepagano committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    5e28439 View commit details
    Browse the repository at this point in the history

  8. Update README.md

    @clpombo
    clpombo committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    105a510 View commit details
    Browse the repository at this point in the history

  9. missing flag parse

    @pmontepagano
    pmontepagano committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    884f960 View commit details
    Browse the repository at this point in the history

  10. Make middleware URL parametric for client app example

    @pmontepagano
    pmontepagano committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    4a591e6 View commit details
    Browse the repository at this point in the history

  11. Update README.md

    @clpombo
    clpombo committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    317d4c7 View commit details
    Browse the repository at this point in the history

  12. Merge branch 'bisimulation-impl-paper' of https://github.com/pmontepa… 

    …gano/search into bisimulation-impl-paper
    @clpombo
    clpombo committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    ea9f159 View commit details
    Browse the repository at this point in the history

  13. Update README.md

    @pmontepagano
    pmontepagano authored Mar 2, 2024
    Configuration menu
    Copy the full SHA
    244fba5 View commit details
    Browse the repository at this point in the history

  14. Update README.md

    @pmontepagano
    pmontepagano authored Mar 2, 2024
    Configuration menu
    Copy the full SHA
    3a25de1 View commit details
    Browse the repository at this point in the history

  15. Update README.md

    @clpombo
    clpombo committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    fbf5936 View commit details
    Browse the repository at this point in the history

  16. Update README.md

    @clpombo
    clpombo committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    619f8d2 View commit details
    Browse the repository at this point in the history

  17. Update README.md

    @clpombo
    clpombo committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    908011c View commit details
    Browse the repository at this point in the history

  18. Update README.md

    @clpombo
    clpombo committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    1b75fc5 View commit details
    Browse the repository at this point in the history

  19. docker install details

    @pmontepagano
    pmontepagano committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    6155d7a View commit details
    Browse the repository at this point in the history

  20. add healthcheck to pps to make sure it's registered before starting t… 

    …he client
    @pmontepagano
    pmontepagano committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    a328335 View commit details
    Browse the repository at this point in the history

  21. add healthcheck for backend

    @pmontepagano
    pmontepagano committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    e2ad451 View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2024

  1. small fixes

    @pmontepagano
    pmontepagano committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    2e9ba25 View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2024

  1. Create LICENSE

    @pmontepagano
    pmontepagano authored Mar 8, 2024
    Configuration menu
    Copy the full SHA
    036fc78 View commit details
    Browse the repository at this point in the history

  2. update readme

    @pmontepagano
    pmontepagano authored Mar 8, 2024
    Configuration menu
    Copy the full SHA
    929daa0 View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2024

  1. Pin Java grpc/protobuf generation package version

    @pmontepagano
    pmontepagano committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    02b015a View commit details
    Browse the repository at this point in the history

  2. Various clarifications in readme

    @pmontepagano
    pmontepagano committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    f2c5175 View commit details
    Browse the repository at this point in the history

  3. new generation of stubs

    @pmontepagano
    pmontepagano committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    23aa46f View commit details
    Browse the repository at this point in the history

  4. remove deprecated version key from docker-compose.yaml

    @pmontepagano
    pmontepagano committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    bea0344 View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2024

  1. Update README.md

    @clpombo
    clpombo committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    65130c0 View commit details
    Browse the repository at this point in the history

  2. Create LOGDESCRIPTION.md

    @clpombo
    clpombo committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    908b143 View commit details
    Browse the repository at this point in the history

  3. Update LOGDESCRIPTION.md

    @clpombo
    clpombo committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    10c835f View commit details
    Browse the repository at this point in the history