Skip to content

Actions: VeriFIT/mata

Actions

Python-Binding (build-&-test)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add simulation reduction to the public interface Python-Binding (build-&-test) #1553: Pull request #518 opened by jurajsic
2m 6s sim_red_public
sim_red_public
2m 6s
Merge pull request #517 from VeriFIT/optimise-delta #patch Python-Binding (build-&-test) #1552: Commit 2909a73 pushed by Adda0
4m 3s devel
devel
4m 3s
perf(delta): Optimize find() to not create empty SymbolPosts on each call Python-Binding (build-&-test) #1551: Pull request #517 opened by Adda0
4m 49s optimise-delta
optimise-delta
4m 49s
Merge pull request #504 from VeriFIT/is_in_lang-with_epsilon #minor Python-Binding (build-&-test) #1550: Commit 3ffed75 pushed by Adda0
4m 0s devel
devel
4m 0s
Compose for Nonconsecutive Synchronization Levels (#514) #patch Python-Binding (build-&-test) #1549: Commit d97833a pushed by Adda0
3m 21s devel
devel
3m 21s
Nft Product Bug (#515) #patch Python-Binding (build-&-test) #1548: Commit 2326768 pushed by Adda0
3m 14s devel
devel
3m 14s
Compose for Nonconsecutive Synchronization Levels Python-Binding (build-&-test) #1547: Pull request #514 synchronize by koniksedy
3m 32s sync_levels
sync_levels
3m 32s
Nft Product Bug Python-Binding (build-&-test) #1546: Pull request #515 synchronize by koniksedy
3m 39s nft-intersection_bug
nft-intersection_bug
3m 39s
Nft Product Bug Python-Binding (build-&-test) #1545: Pull request #515 opened by koniksedy
3m 50s nft-intersection_bug
nft-intersection_bug
3m 50s
Compose for Nonconsecutive Synchronization Levels Python-Binding (build-&-test) #1544: Pull request #514 synchronize by koniksedy
3m 52s sync_levels
sync_levels
3m 52s
Support for EPSILON transitions inside is_in_lang and is_prfx_in_lang Python-Binding (build-&-test) #1543: Pull request #504 synchronize by koniksedy
3m 31s is_in_lang-with_epsilon
is_in_lang-with_epsilon
3m 31s
Compose for Nonconsecutive Synchronization Levels Python-Binding (build-&-test) #1542: Pull request #514 opened by koniksedy
3m 42s sync_levels
sync_levels
3m 42s
Support for EPSILON transitions inside is_in_lang and is_prfx_in_lang Python-Binding (build-&-test) #1541: Pull request #504 synchronize by koniksedy
3m 31s is_in_lang-with_epsilon
is_in_lang-with_epsilon
3m 31s
Merge pull request #510 from VeriFIT/union_and_product #minor Python-Binding (build-&-test) #1540: Commit 4b88a6a pushed by Adda0
3m 21s devel
devel
3m 21s
Support for EPSILON transitions inside is_in_lang and is_prfx_in_lang Python-Binding (build-&-test) #1539: Pull request #504 synchronize by koniksedy
5m 10s is_in_lang-with_epsilon
is_in_lang-with_epsilon
5m 10s
Resolve the Naming Confusion between product and union Methods Python-Binding (build-&-test) #1538: Pull request #510 synchronize by koniksedy
3m 47s union_and_product
union_and_product
3m 47s
Resolve the Naming Confusion between product and union Methods Python-Binding (build-&-test) #1537: Pull request #510 synchronize by koniksedy
3m 45s union_and_product
union_and_product
3m 45s
Resolve the Naming Confusion between product and union Methods Python-Binding (build-&-test) #1536: Pull request #510 synchronize by koniksedy
7m 19s union_and_product
union_and_product
7m 19s
Merge pull request #511 from VeriFIT/replace_all_semantics_smt_lib #m… Python-Binding (build-&-test) #1535: Commit f17ea99 pushed by Adda0
4m 8s devel
devel
4m 8s
Replace all semantics for SMT-LIB Python-Binding (build-&-test) #1534: Pull request #511 synchronize by Adda0
3m 38s replace_all_semantics_smt_lib
replace_all_semantics_smt_lib
3m 38s
Replace all semantics for SMT-LIB Python-Binding (build-&-test) #1533: Pull request #511 synchronize by Adda0
3m 49s replace_all_semantics_smt_lib
replace_all_semantics_smt_lib
3m 49s
Replace all semantics for SMT-LIB Python-Binding (build-&-test) #1532: Pull request #511 synchronize by Adda0
3m 34s replace_all_semantics_smt_lib
replace_all_semantics_smt_lib
3m 34s
Replace all semantics for SMT-LIB Python-Binding (build-&-test) #1531: Pull request #511 synchronize by Adda0
3m 27s replace_all_semantics_smt_lib
replace_all_semantics_smt_lib
3m 27s
Replace all semantics for SMT-LIB Python-Binding (build-&-test) #1530: Pull request #511 synchronize by Adda0
3m 30s replace_all_semantics_smt_lib
replace_all_semantics_smt_lib
3m 30s
Replace all semantics for SMT-LIB Python-Binding (build-&-test) #1529: Pull request #511 opened by Adda0
4m 29s replace_all_semantics_smt_lib
replace_all_semantics_smt_lib
4m 29s
ProTip! You can narrow down the results and go further in time using created:<2025-04-04 or the other filters available.