Skip to content

Actions: INTO-CPS-Association/Scenario-Verifier

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
91 workflow runs
91 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated logging
Scenario Verifier #21: Commit cad6c40 pushed by SimplisticCode
December 13, 2023 20:46 3m 49s master
December 13, 2023 20:46 3m 49s
Updated logging
Scala CI #135: Commit cad6c40 pushed by SimplisticCode
December 13, 2023 20:46 3m 5s master
December 13, 2023 20:46 3m 5s
Added logging
Scenario Verifier #20: Commit 4c30678 pushed by SimplisticCode
December 13, 2023 20:31 4m 3s master
December 13, 2023 20:31 4m 3s
Added logging
Scala CI #134: Commit 4c30678 pushed by SimplisticCode
December 13, 2023 20:31 3m 11s master
December 13, 2023 20:31 3m 11s
Limited Z3 test
Scala CI #133: Commit 465fc6f pushed by SimplisticCode
December 13, 2023 20:19 3m 9s master
December 13, 2023 20:19 3m 9s
Limited Z3 test
Scenario Verifier #19: Commit 465fc6f pushed by SimplisticCode
December 13, 2023 20:19 3m 45s master
December 13, 2023 20:19 3m 45s
Updated z3
Scala CI #132: Commit 3c4cd0f pushed by SimplisticCode
December 13, 2023 20:04 3m 39s master
December 13, 2023 20:04 3m 39s
Updated z3
Scenario Verifier #18: Commit 3c4cd0f pushed by SimplisticCode
December 13, 2023 20:04 3m 54s master
December 13, 2023 20:04 3m 54s
Updated the formatting of files
Scala CI #131: Commit 5ae7141 pushed by SimplisticCode
December 13, 2023 08:15 3m 15s master
December 13, 2023 08:15 3m 15s
Updated the formatting of files
Scenario Verifier #17: Commit 5ae7141 pushed by SimplisticCode
December 13, 2023 08:15 3m 30s master
December 13, 2023 08:15 3m 30s
Refactored synthesizer
Scenario Verifier #16: Commit d669c26 pushed by SimplisticCode
December 13, 2023 07:47 2m 57s master
December 13, 2023 07:47 2m 57s
Refactored synthesizer
Scala CI #130: Commit d669c26 pushed by SimplisticCode
December 13, 2023 07:47 2m 20s master
December 13, 2023 07:47 2m 20s
Updated synthesizer
Scenario Verifier #15: Commit 6140605 pushed by SimplisticCode
December 12, 2023 16:00 2m 59s master
December 12, 2023 16:00 2m 59s
Updated synthesizer
Scala CI #129: Commit 6140605 pushed by SimplisticCode
December 12, 2023 16:00 2m 51s master
December 12, 2023 16:00 2m 51s
Updated scenario simplification for UPPAAL
Scenario Verifier #14: Commit 01123ab pushed by SimplisticCode
December 12, 2023 10:38 3m 9s master
December 12, 2023 10:38 3m 9s
Updated scenario simplification for UPPAAL
Scala CI #128: Commit 01123ab pushed by SimplisticCode
December 12, 2023 10:38 3m 30s master
December 12, 2023 10:38 3m 30s
Support scenarios with feedthrough of unconnected ports
Scenario Verifier #13: Commit 6ffcd66 pushed by SimplisticCode
December 12, 2023 08:31 2m 55s master
December 12, 2023 08:31 2m 55s
Support scenarios with feedthrough of unconnected ports
Scala CI #127: Commit 6ffcd66 pushed by SimplisticCode
December 12, 2023 08:31 3m 30s master
December 12, 2023 08:31 3m 30s
Added some logging capabilities
Scenario Verifier #12: Commit e8994cf pushed by SimplisticCode
December 11, 2023 15:07 2m 53s master
December 11, 2023 15:07 2m 53s
Added some logging capabilities
Scala CI #126: Commit e8994cf pushed by SimplisticCode
December 11, 2023 15:07 4m 6s master
December 11, 2023 15:07 4m 6s
Small POM change
Scala CI #125: Commit 15c5cea pushed by SimplisticCode
December 8, 2023 13:57 2m 20s master
December 8, 2023 13:57 2m 20s
Small POM change
Scenario Verifier #11: Commit 15c5cea pushed by SimplisticCode
December 8, 2023 13:57 2m 53s master
December 8, 2023 13:57 2m 53s
Small changes and outcommented some failing tests
Scala CI #124: Commit 6f7d155 pushed by SimplisticCode
December 8, 2023 13:57 2m 19s master
December 8, 2023 13:57 2m 19s
Small changes and outcommented some failing tests
Scenario Verifier #10: Commit 6f7d155 pushed by SimplisticCode
December 8, 2023 13:57 3m 1s master
December 8, 2023 13:57 3m 1s
Updared ScenarioConf Generator
Scenario Verifier #9: Commit 1a6e360 pushed by SimplisticCode
December 8, 2023 11:48 2m 59s master
December 8, 2023 11:48 2m 59s