Skip to content

Actions: VeriFIT/mata

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
59 workflow runs
59 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(reduce): Move reduce residual algorithms into the public interface Release #244: Pull request #483 closed by Adda0
February 5, 2025 13:24 5m 41s reduce_residual_public
reduce_residual_public
February 5, 2025 13:24 5m 41s
ci: Stop uploading to TestPyPI Release #243: Pull request #482 closed by Adda0
February 4, 2025 11:16 7m 52s stop_testpypi_upload
stop_testpypi_upload
February 4, 2025 11:16 7m 52s
feat(python): Generalize minimization to allow setting an algorithm Release #242: Pull request #481 closed by Adda0
February 4, 2025 10:47 5m 42s generalize_minimize
generalize_minimize
February 4, 2025 10:47 5m 42s
Nft utility functions Release #241: Pull request #477 closed by Adda0
December 3, 2024 14:36 5m 25s nft-utility-functions
nft-utility-functions
December 3, 2024 14:36 5m 25s
Implement nondeterministic finite transducers (NFTs) Release #240: Pull request #465 closed by Adda0
December 2, 2024 13:55 5m 32s transducers
transducers
December 2, 2024 13:55 5m 32s
Hopcroft's minimization: Valmari and Lehtinen's variant for a partial transition function Release #239: Pull request #475 closed by Adda0
December 2, 2024 11:20 4m 52s hopcroft
hopcroft
December 2, 2024 11:20 4m 52s
Support of the WASM build Release #238: Pull request #474 closed by Adda0
November 29, 2024 09:09 4m 49s wasm-build
wasm-build
November 29, 2024 09:09 4m 49s
Print to mata format with symbol names on transitions Release #237: Pull request #473 closed by Adda0
November 26, 2024 16:57 4m 54s print_to_mata_with_symbol_names
print_to_mata_with_symbol_names
November 26, 2024 16:57 4m 54s
Replace true and false with \true and \false in mata files in the repository Release #236: Pull request #472 closed by Adda0
November 26, 2024 12:53 4m 48s fix_true_false_in_mata_files
fix_true_false_in_mata_files
November 26, 2024 12:53 4m 48s
Tabakov-Vardi generator Release #235: Pull request #468 closed by Adda0
November 25, 2024 10:53 4m 46s TV
TV
November 25, 2024 10:53 4m 46s
fix(mataformat): Notify about features supported in the Mata library Release #234: Pull request #471 closed by Adda0
November 22, 2024 12:41 5m 1s Adda0-patch-1
Adda0-patch-1
November 22, 2024 12:41 5m 1s
Fix error message to use the expected parameter name Release #233: Pull request #470 closed by Adda0
November 21, 2024 09:25 4m 44s python-complement-sync-params
python-complement-sync-params
November 21, 2024 09:25 4m 44s
Remove unsupported argument minimize from additional parameters in Python binding Release #232: Pull request #469 closed by Adda0
November 21, 2024 08:43 4m 40s python-complement-sync-params
python-complement-sync-params
November 21, 2024 08:43 4m 40s
Bug fix: get_used_symbols Release #231: Pull request #467 closed by Adda0
November 20, 2024 12:31 5m 54s get_used_symbols-bug
get_used_symbols-bug
November 20, 2024 12:31 5m 54s
Change default RE2 encoding to Latin1 Release #230: Pull request #461 closed by Adda0
November 19, 2024 10:58 5m 4s utf-8
utf-8
November 19, 2024 10:58 5m 4s
New tests for regex range Release #229: Pull request #466 closed by Adda0
November 18, 2024 18:41 4m 58s regex_foldcase_tests
regex_foldcase_tests
November 18, 2024 18:41 4m 58s
RE2Parser bug with regex begin line and end line markers Release #228: Pull request #459 closed by Adda0
November 18, 2024 09:14 4m 43s re2parser-bug-begin-end-line-markers
re2parser-bug-begin-end-line-markers
November 18, 2024 09:14 4m 43s
Overload of print_to_mata and print_to_dot Release #227: Pull request #462 closed by Adda0
November 16, 2024 12:14 5m 12s mata_to_file
mata_to_file
November 16, 2024 12:14 5m 12s
Subtraction of ascii_shift_value caused overflow. Release #226: Pull request #463 closed by Adda0
November 16, 2024 12:10 4m 38s foldcase_bug
foldcase_bug
November 16, 2024 12:10 4m 38s
Add missing Python dependencies for Python binding Release #225: Pull request #460 closed by Adda0
November 15, 2024 09:28 5m 7s python-missing-dependencies
python-missing-dependencies
November 15, 2024 09:28 5m 7s
Replace deprecated DataFrame.applymap() with Data Frame.map() Release #224: Pull request #455 closed by Adda0
November 6, 2024 12:37 6m 1s fix-deprecation-warning
fix-deprecation-warning
November 6, 2024 12:37 6m 1s
Fix shebangs and command paths in pycobench Release #223: Pull request #454 closed by Adda0
November 6, 2024 11:15 5m 20s perf-testing-fixes
perf-testing-fixes
November 6, 2024 11:15 5m 20s
Allow creating subfolders for integration tests sources Release #222: Pull request #448 closed by Adda0
November 4, 2024 10:17 4m 50s integration-tests-subfolders
integration-tests-subfolders
November 4, 2024 10:17 4m 50s
No more segfault during regex parsing Release #221: Pull request #451 closed by Adda0
November 4, 2024 10:13 4m 40s regex_segfault
regex_segfault
November 4, 2024 10:13 4m 40s
Update Catch2 to version 3 Release #220: Pull request #453 closed by Adda0
November 4, 2024 10:12 4m 49s catch2v3
catch2v3
November 4, 2024 10:12 4m 49s