Skip to content

Actions: VeriFIT/mata

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
91 workflow runs
91 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Optimize Nfa::get_word() Release #213: Pull request #432 closed by Adda0
August 16, 2024 08:07 4m 22s optimize_get_word
optimize_get_word
August 16, 2024 08:07 4m 22s
README: publication update Release #212: Pull request #430 closed by Adda0
July 31, 2024 12:08 4m 27s readme-publ-update
readme-publ-update
July 31, 2024 12:08 4m 27s
Add pop_back to StatePost Release #211: Pull request #429 closed by Adda0
July 24, 2024 13:59 4m 48s symbol_post_pop_back
symbol_post_pop_back
July 24, 2024 13:59 4m 48s
Fix simulation Release #210: Pull request #428 closed by Adda0
July 20, 2024 05:04 4m 34s fix_noodlification
fix_noodlification
July 20, 2024 05:04 4m 34s
Transition: comparison operators Release #209: Pull request #425 closed by Adda0
July 17, 2024 08:52 4m 28s transition-comparison
transition-comparison
July 17, 2024 08:52 4m 28s
Language difference Release #208: Pull request #424 closed by Adda0
July 15, 2024 14:50 4m 43s language_difference
language_difference
July 15, 2024 14:50 4m 43s
Flatness checking Release #207: Pull request #423 closed by Adda0
July 15, 2024 13:00 4m 45s is_flat
is_flat
July 15, 2024 13:00 4m 45s
fix: Use pointers to key-value pair in unordered map Release #206: Pull request #422 closed by Adda0
July 12, 2024 09:03 4m 32s use_pointers_for_mutable_subset_maps
use_pointers_for_mutable_subset_maps
July 12, 2024 09:03 4m 32s
Rename functions to adhere to snake_case naming convention Release #205: Pull request #421 closed by Adda0
July 12, 2024 07:35 4m 42s fix_naming_from_vata
fix_naming_from_vata
July 12, 2024 07:35 4m 42s
Get word from complement lazy determinization Release #204: Pull request #420 closed by Adda0
July 12, 2024 05:42 4m 18s get_word_from_complement_lazy_determinization
get_word_from_complement_lazy_determinization
July 12, 2024 05:42 4m 18s
Fix emplace back implementations Release #203: Pull request #418 closed by Adda0
July 10, 2024 07:26 4m 34s fix_emplace_back_implementations
fix_emplace_back_implementations
July 10, 2024 07:26 4m 34s
Get symbols to work with Release #202: Pull request #419 closed by Adda0
July 9, 2024 16:29 4m 22s get_symbols_to_work_with
get_symbols_to_work_with
July 9, 2024 16:29 4m 22s
Renamed union Release #201: Pull request #412 closed by Adda0
July 9, 2024 12:23 4m 29s renamed_union
renamed_union
July 9, 2024 12:23 4m 29s
Separate complement using brzozowski minimization from classical complement Release #200: Pull request #410 closed by Adda0
July 8, 2024 05:21 4m 52s separate_complement_brzozowski
separate_complement_brzozowski
July 8, 2024 05:21 4m 52s
Get arbitrary word using DFS Release #199: Pull request #413 closed by Adda0
June 26, 2024 10:23 3m 32s get_word
get_word
June 26, 2024 10:23 3m 32s
Expand contributing guidelines Release #198: Pull request #409 closed by Adda0
June 25, 2024 10:08 3m 19s contributing_guidelines
contributing_guidelines
June 25, 2024 10:08 3m 19s