Skip to content

Actions: plug-obp/soup-java

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

suppressed some warnings Build and Publish #36: Commit 68a1260 pushed by teodorov
2m 31s main
main
2m 31s
added typing on the Answer Build and Publish #35: Commit 8d37b80 pushed by teodorov
2m 42s main
main
2m 42s
added a hasToTerminate predicate to the IExecutable with the Executio… Build and Publish #34: Commit f22be76 pushed by teodorov
2m 38s main
main
2m 38s
another test Build and Publish #33: Commit a53d403 pushed by teodorov
2m 48s main
main
2m 48s
fixed negation in induced NFA Build and Publish #32: Commit f953aa6 pushed by teodorov
2m 53s main
main
2m 53s
more tests for mantrap Build and Publish #31: Commit d519bd6 pushed by teodorov
2m 49s main
main
2m 49s
more tests, gpsl file for mantrap Build and Publish #30: Commit 96a8517 pushed by teodorov
2m 41s main
main
2m 41s
initial run at the mantrap security system example Build and Publish #29: Commit d6031b2 pushed by teodorov
2m 31s main
main
2m 31s
changed the witness to a Step in the EmptinessCheckerAnswer, now for … Build and Publish #28: Commit 61fa263 pushed by teodorov
1m 30s main
main
1m 30s
dep update Build and Publish #27: Commit 63ffa16 pushed by teodorov
2m 29s main
main
2m 29s
use the deadlock-eval artifacts Build and Publish #26: Commit b63aab4 pushed by teodorov
1m 5s deadlock-eval
deadlock-eval
1m 5s
first step toward deadlock atom intercept Build and Publish #25: Commit a5ad5be pushed by teodorov
43s deadlock-eval
deadlock-eval
43s
removed some spaces Build and Publish #24: Commit 7b67140 pushed by teodorov
2m 31s main
main
2m 31s
added a packageZip Build and Publish #23: Commit 2ca8e6f pushed by teodorov
3m 41s main
main
3m 41s
added a NFA encoding of flagDiscipline Build and Publish #22: Commit 32e4f1a pushed by teodorov
2m 6s main
main
2m 6s
correct wrong name Build and Publish #21: Commit 66885fa pushed by teodorov
1m 59s main
main
1m 59s
some more examples of regular expression properties Build and Publish #20: Commit f32c4a6 pushed by teodorov
1m 49s main
main
1m 49s
added support for unicode negation ¬ Build and Publish #19: Commit 8b5cfe6 pushed by teodorov
2m 16s main
main
2m 16s
regular expression modelchecker for soup Build and Publish #18: Commit 93d151d pushed by teodorov
2m 13s main
main
2m 13s
fixed peterson properties, added tests Build and Publish #17: Commit 1a55ff5 pushed by teodorov
2m 12s main
main
2m 12s
fixed the GPSL tests Build and Publish #16: Commit 4ec9101 pushed by teodorov
2m 31s main
main
2m 31s
some more GPSL exemples on soup Build and Publish #15: Commit 62bee4c pushed by teodorov
2m 30s main
main
2m 30s
some more GPSL exemples on soup Build and Publish #14: Commit 935f69f pushed by teodorov
2m 54s main
main
2m 54s
initial tests of the GPSL model-checker for Soup Build and Publish #13: Commit c9c7638 pushed by teodorov
41s main
main
41s
gitHash only as metadata Build and Publish #12: Commit 0d98de7 pushed by teodorov
2m 36s main
main
2m 36s