Skip to content

Actions: VeriFIT/mata

Actions

Code Quality

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Transducer noodlification Code Quality #626: Pull request #488 synchronize by jurajsic
March 7, 2025 14:49 7m 20s transducer_noodlification
transducer_noodlification
March 7, 2025 14:49 7m 20s
Transducer noodlification Code Quality #625: Pull request #488 synchronize by jurajsic
March 7, 2025 14:12 7m 15s transducer_noodlification
transducer_noodlification
March 7, 2025 14:12 7m 15s
Transducer noodlification Code Quality #624: Pull request #488 synchronize by jurajsic
March 7, 2025 12:03 6m 18s transducer_noodlification
transducer_noodlification
March 7, 2025 12:03 6m 18s
Transducer noodlification Code Quality #623: Pull request #488 synchronize by jurajsic
March 6, 2025 18:33 6m 21s transducer_noodlification
transducer_noodlification
March 6, 2025 18:33 6m 21s
Transducer noodlification Code Quality #622: Pull request #488 synchronize by jurajsic
March 6, 2025 18:23 6m 18s transducer_noodlification
transducer_noodlification
March 6, 2025 18:23 6m 18s
Transducer noodlification Code Quality #621: Pull request #488 opened by jurajsic
March 6, 2025 18:15 7m 40s transducer_noodlification
transducer_noodlification
March 6, 2025 18:15 7m 40s
Adding simulation reduction rules Code Quality #620: Pull request #487 opened by samo538
February 24, 2025 07:36 7m 42s samo538:sim_rt
samo538:sim_rt
February 24, 2025 07:36 7m 42s
Optimization of invert_levels for JumpMode::AppendDontcareSymbols Code Quality #619: Pull request #486 synchronize by koniksedy
February 14, 2025 09:23 7m 13s inverse-optim
inverse-optim
February 14, 2025 09:23 7m 13s
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
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