Skip to content

Actions: VeriFIT/mata

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Define initial contributing guidelines Release #196: Pull request #404 closed by Adda0
May 16, 2024 19:08 3m 20s contributing_guidelines
contributing_guidelines
May 16, 2024 19:08 3m 20s
Allow moving Delta Release #195: Pull request #402 closed by Adda0
March 28, 2024 11:50 3m 44s move_delta
move_delta
March 28, 2024 11:50 3m 44s
Add publication reference for Mata paper VM Release #194: Pull request #401 closed by Adda0
March 21, 2024 11:37 4m 38s mata-paper-vm
mata-paper-vm
March 21, 2024 11:37 4m 38s
Add publications section Release #193: Pull request #400 closed by Adda0
March 20, 2024 14:18 4m 40s publications
publications
March 20, 2024 14:18 4m 40s
Dot format ascii Release #192: Pull request #392 closed by koniksedy
March 1, 2024 11:12 7m 41s DOT_format_ASCII
DOT_format_ASCII
March 1, 2024 11:12 7m 41s
Warn about not handling epsilons Release #191: Pull request #385 closed by Adda0
February 22, 2024 11:00 5m 54s fix
fix
February 22, 2024 11:00 5m 54s
Fix low level functions Release #190: Pull request #380 closed by Adda0
February 22, 2024 07:41 3m 56s Adda0:fix_low-level_functions
Adda0:fix_low-level_functions
February 22, 2024 07:41 3m 56s
Remove unused import Release #189: Pull request #383 closed by Adda0
February 21, 2024 14:54 1m 29s remove_unused_import
remove_unused_import
February 21, 2024 14:54 1m 29s
Added function that gets all words of an automaton Release #188: Pull request #375 closed by Adda0
January 25, 2024 16:01 5m 59s get_all_words
get_all_words
January 25, 2024 16:01 5m 59s
Readme Update Release #187: Pull request #376 closed by Adda0
January 19, 2024 08:49 3m 17s readme-update
readme-update
January 19, 2024 08:49 3m 17s
Refactoring of SCC-based Algorithms Release #186: Pull request #374 closed by vhavlena
January 12, 2024 07:49 3m 22s scc-refactor
scc-refactor
January 12, 2024 07:49 3m 22s