Skip to content

Actions: TAPAAL/verifypn

Actions

Build MacOS

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-macos.yml
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update QueryPrinter.cpp Build MacOS #487: Pull request #163 opened by srba
January 11, 2024 06:34 21m 47s srba-patch-1
srba-patch-1
January 11, 2024 06:34 21m 47s
Merge pull request #161 from TAPAAL/Print-bidings-for-CPNs Build MacOS #486: Commit be1f6aa pushed by srba
December 26, 2023 10:09 20m 0s main
main
December 26, 2023 10:09 20m 0s
Print bidings for CPNs Build MacOS #485: Pull request #161 synchronize by srba
December 26, 2023 09:38 21m 21s Print-bidings-for-CPNs
Print-bidings-for-CPNs
December 26, 2023 09:38 21m 21s
Print bidings for CPNs Build MacOS #484: Pull request #161 synchronize by srba
December 26, 2023 09:33 4m 30s Print-bidings-for-CPNs
Print-bidings-for-CPNs
December 26, 2023 09:33 4m 30s
Print bidings for CPNs Build MacOS #483: Pull request #161 opened by srba
December 25, 2023 18:14 22m 20s Print-bidings-for-CPNs
Print-bidings-for-CPNs
December 25, 2023 18:14 22m 20s
Merge pull request #150 from Malleek/trace-random-walk Build MacOS #482: Commit 44405c7 pushed by srba
December 19, 2023 14:48 23m 19s main
main
December 19, 2023 14:48 23m 19s
Generate Trace for random walk searchs Build MacOS #481: Pull request #150 synchronize by yrke
December 19, 2023 11:13 22m 56s Malleek:trace-random-walk
Malleek:trace-random-walk
December 19, 2023 11:13 22m 56s
Merge pull request #154 from NicEastvillage/builder-found-bug Build MacOS #480: Commit 1b6ee4c pushed by srba
December 18, 2023 15:11 21m 30s main
main
December 18, 2023 15:11 21m 30s
Merge pull request #159 from NicEastvillage/fix-158 Build MacOS #479: Commit 1d81d8c pushed by srba
December 18, 2023 15:07 3m 52s main
main
December 18, 2023 15:07 3m 52s
Planning Engine - Example of colored binding dump Build MacOS #478: Pull request #160 opened by HGinnerup
December 12, 2023 09:37 20m 36s petrinet-planning:PlanningEngine
petrinet-planning:PlanningEngine
December 12, 2023 09:37 20m 36s
Prevent use of use of Rule I if query is loop sensitive Build MacOS #477: Pull request #159 opened by NicEastvillage
December 7, 2023 11:30 21m 58s NicEastvillage:fix-158
NicEastvillage:fix-158
December 7, 2023 11:30 21m 58s
Merge pull request #157 from TAPAAL/fix-trace-printing-no-tokens Build MacOS #476: Commit a9e15da pushed by srba
November 21, 2023 20:21 21m 28s main
main
November 21, 2023 20:21 21m 28s
Fixing problem with printing traces where reduction was disabled. Build MacOS #475: Pull request #157 synchronize by srba
November 21, 2023 15:54 26m 54s fix-trace-printing-no-tokens
fix-trace-printing-no-tokens
November 21, 2023 15:54 26m 54s
Fixing problem with printing traces where reduction was disabled. Build MacOS #474: Pull request #157 synchronize by srba
November 21, 2023 15:38 16m 40s fix-trace-printing-no-tokens
fix-trace-printing-no-tokens
November 21, 2023 15:38 16m 40s
Fixing problem with printing traces where reduction was disabled. Build MacOS #473: Pull request #157 opened by srba
November 21, 2023 11:05 20m 43s fix-trace-printing-no-tokens
fix-trace-printing-no-tokens
November 21, 2023 11:05 20m 43s
Merge pull request #156 from NicEastvillage/fix-col-red-relevance Build MacOS #472: Commit 9217b34 pushed by srba
November 15, 2023 20:35 21m 15s main
main
November 15, 2023 20:35 21m 15s
Fix bug in colored reduction rule Relevance Build MacOS #471: Pull request #156 opened by NicEastvillage
November 15, 2023 13:53 21m 4s NicEastvillage:fix-col-red-relevance
NicEastvillage:fix-col-red-relevance
November 15, 2023 13:53 21m 4s
Bug fix in PetriNetBuilder regarding direction Build MacOS #470: Pull request #154 opened by NicEastvillage
November 1, 2023 13:25 21m 44s NicEastvillage:builder-found-bug
NicEastvillage:builder-found-bug
November 1, 2023 13:25 21m 44s
Test with hardening flags Build MacOS #467: Pull request #152 opened by mads256h
October 26, 2023 12:52 21m 30s mads256h:mads256h-patch-1
mads256h:mads256h-patch-1
October 26, 2023 12:52 21m 30s
Merge pull request #151 from TAPAAL/Fix-print-error-messages-parser Build MacOS #466: Commit 8853068 pushed by srba
October 14, 2023 08:00 20m 15s main
main
October 14, 2023 08:00 20m 15s
Fixed printing of error messages in the parser Build MacOS #465: Pull request #151 opened by srba
October 14, 2023 07:09 23m 15s Fix-print-error-messages-parser
Fix-print-error-messages-parser
October 14, 2023 07:09 23m 15s
Build MacOS Build MacOS #464: Manually run by srba
September 12, 2023 11:17 24m 2s main
main
September 12, 2023 11:17 24m 2s
Generate Trace for random walk searchs Build MacOS #463: Pull request #150 ready_for_review by Malleek
September 12, 2023 07:40 24m 58s Malleek:trace-random-walk
Malleek:trace-random-walk
September 12, 2023 07:40 24m 58s
Generate Trace for random walk searchs Build MacOS #462: Pull request #150 opened by Malleek
September 12, 2023 07:25 3s Malleek:trace-random-walk
Malleek:trace-random-walk
September 12, 2023 07:25 3s
Merge pull request #149 from Malleek/fix-trace-token-miscalculation Build MacOS #461: Commit 3ebd2ea pushed by srba
September 12, 2023 07:09 22m 44s main
main
September 12, 2023 07:09 22m 44s