Skip to content

Actions: VeriFIT/mata

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
83 workflow runs
83 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix NFT construction for replace operations in strings Release #297: Pull request #569 closed by Adda0
5m 41s strings_replace_empty_fix
strings_replace_empty_fix
5m 41s
Add argument to choose whether homorphism heurstic is used for transducer noodlification Release #296: Pull request #567 closed by Adda0
3m 51s homomorphism_argument
homomorphism_argument
3m 51s
Function to get accepting words of NFT tapes of specific lengths Release #295: Pull request #564 closed by Adda0
4m 44s get_words_with_lengths
get_words_with_lengths
4m 44s
Fix NFT epsilon removal Release #294: Pull request #566 closed by Adda0
5m 45s fix_nft_epsilon_removal
fix_nft_epsilon_removal
5m 45s
Move string solving stuff Release #293: Pull request #563 closed by Adda0
4m 55s strings_app
strings_app
4m 55s
Homomorphic nft in transducer noodlification Release #292: Pull request #560 closed by Adda0
4m 3s homomorphic_nft_noodlification
homomorphic_nft_noodlification
4m 3s
Class for Product Storage Release #291: Pull request #559 closed by Adda0
4m 34s product_storage
product_storage
4m 34s
nfa python bindings: union_with_product_map, read_word Release #290: Pull request #557 closed by Adda0
5m 2s paly/or_product
paly/or_product
5m 2s
Add at, min, and max methods for OrdVector Release #289: Pull request #555 closed by Adda0
4m 17s ord_vec
ord_vec
4m 17s
Fix delimiter transitions in transducer noodlification Release #288: Pull request #554 closed by Adda0
3m 37s fix_multiple_delimiters_noodlification
fix_multiple_delimiters_noodlification
3m 37s
chore: Update checkout GitHub Action Release #287: Pull request #546 closed by Adda0
4m 22s release-update
release-update
4m 22s
chore: Update dependencies and Python versions in GitHub Actions Release #286: Pull request #545 closed by Adda0
3m 29s release-update
release-update
3m 29s
add python annotation files Release #285: Pull request #543 closed by Adda0
12s ImpleLee:add-pyi
ImpleLee:add-pyi
12s
Renaming of make/get_one_level_aut method. Release #284: Pull request #541 closed by Adda0
4m 18s renaming
renaming
4m 18s
Fix mata::nft::algorithms::concatenate_eps Release #283: Pull request #542 closed by Adda0
4m 58s nft_concatenate_eps
nft_concatenate_eps
4m 58s
Version of Post Returning const StateSet& Release #282: Pull request #540 closed by Adda0
6m 35s use_of_epsilon
use_of_epsilon
6m 35s
GA Documentation Generation Fix Release #281: Pull request #539 closed by Adda0
3m 38s autodoc
autodoc
3m 38s
GA Documentation Generation Fix Release #280: Pull request #539 synchronize by koniksedy
1m 35s autodoc
autodoc
1m 35s
GA Documentation Generation Fix Release #279: Pull request #539 synchronize by koniksedy
5m 49s autodoc
autodoc
5m 49s
GA Documentation Generation Fix Release #278: Pull request #539 synchronize by koniksedy
3m 34s autodoc
autodoc
3m 34s
GA Documentation Generation Fix Release #277: Pull request #539 synchronize by koniksedy
4m 26s autodoc
autodoc
4m 26s
GA Documentation Generation Fix Release #276: Pull request #539 synchronize by koniksedy
3m 38s autodoc
autodoc
3m 38s
Update Release #275: Pull request #538 closed by koniksedy
2m 25s update
update
2m 25s
sphinx update Release #274: Pull request #537 closed by koniksedy
3m 33s autodoc
autodoc
3m 33s
sphinx update Release #273: Pull request #537 closed by koniksedy
3m 45s autodoc
autodoc
3m 45s