Skip to content

Actions: VeriFIT/mata

Actions

Python-Binding (build-&-test)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
python-binding.yml
255 workflow runs
255 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Optimization of invert_levels for JumpMode::AppendDontcareSymbols… Python-Binding (build-&-test) #1472: Commit 9bc5557 pushed by Adda0
February 14, 2025 16:33 3m 33s devel
devel
February 14, 2025 16:33 3m 33s
Optimization of invert_levels for JumpMode::AppendDontcareSymbols Python-Binding (build-&-test) #1471: Pull request #486 synchronize by koniksedy
February 14, 2025 09:23 3m 25s inverse-optim
inverse-optim
February 14, 2025 09:23 3m 25s
Optimization of invert_levels for JumpMode::AppendDontcareSymbols Python-Binding (build-&-test) #1470: Pull request #486 synchronize by koniksedy
February 11, 2025 17:05 3m 35s inverse-optim
inverse-optim
February 11, 2025 17:05 3m 35s
Optimization of invert_levels for JumpMode::AppendDontcareSymbols Python-Binding (build-&-test) #1469: Pull request #486 opened by koniksedy
February 11, 2025 14:45 3m 22s inverse-optim
inverse-optim
February 11, 2025 14:45 3m 22s
Create Nft with inverted levels (tapes) (#485) #patch Python-Binding (build-&-test) #1468: Commit 2622bfa pushed by Adda0
February 11, 2025 13:50 3m 24s devel
devel
February 11, 2025 13:50 3m 24s
Create Nft with inverted levels (tapes) Python-Binding (build-&-test) #1467: Pull request #485 synchronize by Adda0
February 11, 2025 13:25 3m 33s inverse
inverse
February 11, 2025 13:25 3m 33s
Create Nft with inverted levels (tapes) Python-Binding (build-&-test) #1466: Pull request #485 opened by koniksedy
February 11, 2025 13:08 3m 24s inverse
inverse
February 11, 2025 13:08 3m 24s
feat(utils): add implementation of BitSet Python-Binding (build-&-test) #1465: Pull request #484 synchronize by MichalHe
February 7, 2025 09:56 4m 30s MichalHe:implement_dynamic_bit_set
MichalHe:implement_dynamic_bit_set
February 7, 2025 09:56 4m 30s
feat(utils): add implementation of BitSet Python-Binding (build-&-test) #1464: Pull request #484 opened by MichalHe
February 7, 2025 09:50 3m 27s MichalHe:implement_dynamic_bit_set
MichalHe:implement_dynamic_bit_set
February 7, 2025 09:50 3m 27s
Merge pull request #483 from VeriFIT/reduce_residual_public #patch Python-Binding (build-&-test) #1463: Commit 825d066 pushed by Adda0
February 5, 2025 13:24 3m 48s devel
devel
February 5, 2025 13:24 3m 48s
feat(reduce): Move reduce residual algorithms into the public interface Python-Binding (build-&-test) #1462: Pull request #483 opened by Adda0
February 5, 2025 12:55 3m 35s reduce_residual_public
reduce_residual_public
February 5, 2025 12:55 3m 35s
Automata learning algorithms Python-Binding (build-&-test) #1461: 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 Python-Binding (build-&-test) #1460: 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 Python-Binding (build-&-test) #1459: 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 Python-Binding (build-&-test) #1458: Pull request #480 synchronize by deaddlyyy
February 4, 2025 22:15 Action required deaddlyyy:learning
deaddlyyy:learning
February 4, 2025 22:15 Action required
Merge pull request #482 from VeriFIT/stop_testpypi_upload #patch Python-Binding (build-&-test) #1457: Commit 514de5b pushed by Adda0
February 4, 2025 11:16 3m 45s devel
devel
February 4, 2025 11:16 3m 45s
ci: Stop uploading to TestPyPI Python-Binding (build-&-test) #1456: Pull request #482 opened by Adda0
February 4, 2025 11:15 3m 35s stop_testpypi_upload
stop_testpypi_upload
February 4, 2025 11:15 3m 35s
Merge pull request #481 from VeriFIT/generalize_minimize Python-Binding (build-&-test) #1455: Commit 03c5ee7 pushed by Adda0
February 4, 2025 10:47 4m 12s devel
devel
February 4, 2025 10:47 4m 12s
feat(python): Generalize minimization to allow setting an algorithm Python-Binding (build-&-test) #1454: Pull request #481 opened by Adda0
February 4, 2025 10:39 5m 2s generalize_minimize
generalize_minimize
February 4, 2025 10:39 5m 2s
Automata learning algorithms Python-Binding (build-&-test) #1453: Pull request #480 opened by deaddlyyy
February 1, 2025 23:17 4m 53s deaddlyyy:learning
deaddlyyy:learning
February 1, 2025 23:17 4m 53s
Reduce: Simulation algorithm Python-Binding (build-&-test) #1452: Pull request #434 synchronize by samo538
December 20, 2024 21:43 3m 32s samo538:simulation
samo538:simulation
December 20, 2024 21:43 3m 32s
Reduce: Simulation algorithm Python-Binding (build-&-test) #1451: Pull request #434 synchronize by samo538
December 20, 2024 16:37 3m 36s samo538:simulation
samo538:simulation
December 20, 2024 16:37 3m 36s
Reduce: Simulation algorithm Python-Binding (build-&-test) #1450: Pull request #434 synchronize by samo538
December 20, 2024 16:15 4m 58s samo538:simulation
samo538:simulation
December 20, 2024 16:15 4m 58s
Minimization Python-Binding (build-&-test) #1449: Pull request #476 synchronize by koniksedy
December 4, 2024 11:56 3m 40s minimization
minimization
December 4, 2024 11:56 3m 40s
Merge pull request #477 from VeriFIT/nft-utility-functions Python-Binding (build-&-test) #1448: Commit 066b717 pushed by Adda0
December 3, 2024 14:36 3m 36s devel
devel
December 3, 2024 14:36 3m 36s