Skip to content

Actions: VeriFIT/mata

Actions

Code Quality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code-quality.yml
241 workflow runs
241 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Optimization of invert_levels for JumpMode::AppendDontcareSymbols Code Quality #618: Pull request #486 synchronize by koniksedy
February 11, 2025 17:05 9m 42s inverse-optim
inverse-optim
February 11, 2025 17:05 9m 42s
Optimization of invert_levels for JumpMode::AppendDontcareSymbols Code Quality #617: Pull request #486 opened by koniksedy
February 11, 2025 14:45 10m 14s inverse-optim
inverse-optim
February 11, 2025 14:45 10m 14s
Create Nft with inverted levels (tapes) Code Quality #616: Pull request #485 synchronize by Adda0
February 11, 2025 13:25 10m 23s inverse
inverse
February 11, 2025 13:25 10m 23s
Create Nft with inverted levels (tapes) Code Quality #615: Pull request #485 opened by koniksedy
February 11, 2025 13:08 10m 31s inverse
inverse
February 11, 2025 13:08 10m 31s
feat(utils): add implementation of BitSet Code Quality #614: Pull request #484 synchronize by MichalHe
February 7, 2025 09:56 9m 48s MichalHe:implement_dynamic_bit_set
MichalHe:implement_dynamic_bit_set
February 7, 2025 09:56 9m 48s
feat(utils): add implementation of BitSet Code Quality #613: Pull request #484 opened by MichalHe
February 7, 2025 09:50 11m 43s MichalHe:implement_dynamic_bit_set
MichalHe:implement_dynamic_bit_set
February 7, 2025 09:50 11m 43s
feat(reduce): Move reduce residual algorithms into the public interface Code Quality #612: Pull request #483 opened by Adda0
February 5, 2025 12:55 9m 58s reduce_residual_public
reduce_residual_public
February 5, 2025 12:55 9m 58s
Automata learning algorithms Code Quality #611: Pull request #480 synchronize by deaddlyyy
February 5, 2025 11:20 Action required deaddlyyy:learning
deaddlyyy:learning
February 5, 2025 11:20 Action required
Automata learning algorithms Code Quality #610: Pull request #480 synchronize by deaddlyyy
February 5, 2025 10:39 Action required deaddlyyy:learning
deaddlyyy:learning
February 5, 2025 10:39 Action required
Automata learning algorithms Code Quality #609: Pull request #480 synchronize by deaddlyyy
February 5, 2025 10:03 Action required deaddlyyy:learning
deaddlyyy:learning
February 5, 2025 10:03 Action required
Automata learning algorithms Code Quality #608: Pull request #480 synchronize by deaddlyyy
February 4, 2025 22:15 Action required deaddlyyy:learning
deaddlyyy:learning
February 4, 2025 22:15 Action required
ci: Stop uploading to TestPyPI Code Quality #607: Pull request #482 opened by Adda0
February 4, 2025 11:15 10m 8s stop_testpypi_upload
stop_testpypi_upload
February 4, 2025 11:15 10m 8s
feat(python): Generalize minimization to allow setting an algorithm Code Quality #606: Pull request #481 opened by Adda0
February 4, 2025 10:39 10m 19s generalize_minimize
generalize_minimize
February 4, 2025 10:39 10m 19s
Automata learning algorithms Code Quality #605: Pull request #480 opened by deaddlyyy
February 1, 2025 23:17 9m 58s deaddlyyy:learning
deaddlyyy:learning
February 1, 2025 23:17 9m 58s
Reduce: Simulation algorithm Code Quality #604: Pull request #434 synchronize by samo538
December 20, 2024 21:43 9m 40s samo538:simulation
samo538:simulation
December 20, 2024 21:43 9m 40s
Reduce: Simulation algorithm Code Quality #603: Pull request #434 synchronize by samo538
December 20, 2024 16:37 9m 33s samo538:simulation
samo538:simulation
December 20, 2024 16:37 9m 33s
Reduce: Simulation algorithm Code Quality #602: Pull request #434 synchronize by samo538
December 20, 2024 16:15 9m 48s samo538:simulation
samo538:simulation
December 20, 2024 16:15 9m 48s
Minimization Code Quality #601: Pull request #476 synchronize by koniksedy
December 4, 2024 11:56 10m 5s minimization
minimization
December 4, 2024 11:56 10m 5s
Minimization Code Quality #600: Pull request #476 synchronize by koniksedy
December 3, 2024 14:30 10m 20s minimization
minimization
December 3, 2024 14:30 10m 20s
Nft utility functions Code Quality #599: Pull request #477 opened by Adda0
December 3, 2024 14:22 13m 50s nft-utility-functions
nft-utility-functions
December 3, 2024 14:22 13m 50s
Minimization Code Quality #598: Pull request #476 synchronize by koniksedy
December 3, 2024 09:58 16m 19s minimization
minimization
December 3, 2024 09:58 16m 19s
Minimization Code Quality #597: Pull request #476 synchronize by koniksedy
December 3, 2024 09:56 14m 24s minimization
minimization
December 3, 2024 09:56 14m 24s
Minimization Code Quality #596: Pull request #476 synchronize by koniksedy
December 3, 2024 09:54 15m 17s minimization
minimization
December 3, 2024 09:54 15m 17s
Minimization Code Quality #595: Pull request #476 opened by koniksedy
December 2, 2024 14:37 10m 17s minimization
minimization
December 2, 2024 14:37 10m 17s
Implement nondeterministic finite transducers (NFTs) Code Quality #594: Pull request #465 synchronize by Adda0
December 2, 2024 12:00 9m 49s transducers
transducers
December 2, 2024 12:00 9m 49s