Skip to content

Actions: DES-Lab/AALpy

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
319 workflow runs
319 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL
CodeQL #600: Scheduled
March 8, 2025 10:26 1m 28s master
March 8, 2025 10:26 1m 28s
update execute_sequence to account for epsilon
CodeQL #599: Commit 04e723c pushed by emuskardin
March 7, 2025 09:18 1m 24s master
March 7, 2025 09:18 1m 24s
update execute_sequence to account for epsilon
Python application #399: Commit 04e723c pushed by emuskardin
March 7, 2025 09:18 18s master
March 7, 2025 09:18 18s
pages build and deployment
pages-build-deployment #272: by emuskardin
March 7, 2025 09:18 37s master
March 7, 2025 09:18 37s
Fix to_state_setup() with unreachable states
CodeQL #598: Pull request #62 synchronize by MaxiSchwindler
March 6, 2025 22:00 1m 22s MaxiSchwindler:master
March 6, 2025 22:00 1m 22s
Fix to_state_setup() with unreachable states
Python application #398: Pull request #62 synchronize by MaxiSchwindler
March 6, 2025 22:00 17s MaxiSchwindler:master
March 6, 2025 22:00 17s
Support more data formats and auto-detect
Python application #397: Pull request #84 opened by zwergziege
March 6, 2025 12:37 22s gsm-dev
March 6, 2025 12:37 22s
Support more data formats and auto-detect
CodeQL #597: Pull request #84 opened by zwergziege
March 6, 2025 12:37 1m 51s gsm-dev
March 6, 2025 12:37 1m 51s
March 6, 2025 08:27 1m 33s
remove explicit GSM from deterministic passive learning algorithms in…
Python application #396: Commit bdff49a pushed by emuskardin
March 6, 2025 08:27 16s master
March 6, 2025 08:27 16s
pages build and deployment
pages-build-deployment #271: by emuskardin
March 6, 2025 08:27 39s master
March 6, 2025 08:27 39s
add adaptive to packages and update version
Python application #395: Commit e054c33 pushed by emuskardin
March 3, 2025 13:11 22s master
March 3, 2025 13:11 22s
add adaptive to packages and update version
CodeQL #595: Commit e054c33 pushed by emuskardin
March 3, 2025 13:11 1m 37s master
March 3, 2025 13:11 1m 37s
pages build and deployment
pages-build-deployment #270: by emuskardin
March 3, 2025 13:11 38s master
March 3, 2025 13:11 38s
CodeQL
CodeQL #594: Scheduled
March 1, 2025 10:30 1m 32s master
March 1, 2025 10:30 1m 32s
- add optional ';' at the end of transition definition
Python application #394: Commit a729831 pushed by emuskardin
February 28, 2025 11:35 14s master
February 28, 2025 11:35 14s
- add optional ';' at the end of transition definition
CodeQL #593: Commit a729831 pushed by emuskardin
February 28, 2025 11:35 1m 41s master
February 28, 2025 11:35 1m 41s
pages build and deployment
pages-build-deployment #269: by emuskardin
February 28, 2025 11:35 38s master
February 28, 2025 11:35 38s
add k-trails to Examples.py
Python application #393: Commit 3868f38 pushed by emuskardin
February 28, 2025 10:31 19s master
February 28, 2025 10:31 19s
add k-trails to Examples.py
CodeQL #592: Commit 3868f38 pushed by emuskardin
February 28, 2025 10:31 1m 26s master
February 28, 2025 10:31 1m 26s
pages build and deployment
pages-build-deployment #268: by emuskardin
February 28, 2025 10:31 40s master
February 28, 2025 10:31 40s
Merge pull request #82 from lkruger27/dfa-moore
CodeQL #591: Commit 99b2ef9 pushed by emuskardin
February 28, 2025 08:19 1m 29s master
February 28, 2025 08:19 1m 29s
Merge pull request #82 from lkruger27/dfa-moore
Python application #392: Commit 99b2ef9 pushed by emuskardin
February 28, 2025 08:19 15s master
February 28, 2025 08:19 15s
pages build and deployment
pages-build-deployment #267: by emuskardin
February 28, 2025 08:19 1m 2s master
February 28, 2025 08:19 1m 2s
Add DFA and Moore functionality for L# and adaptive L#
CodeQL #590: Pull request #82 opened by lkruger27
February 27, 2025 16:11 1m 34s lkruger27:dfa-moore
February 27, 2025 16:11 1m 34s