Skip to content

Actions: VeriFIT/mata

Actions

Python-Binding (build-&-test)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
python-binding.yml
212 workflow run results
212 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Resolve discussions from previous PRs Python-Binding (build-&-test) #1136: Pull request #357 opened by Adda0
October 3, 2023 06:56 4m 17s improve_intersection
improve_intersection
October 3, 2023 06:56 4m 17s
raw prototype of new parser Python-Binding (build-&-test) #1135: Pull request #356 opened by martinhruska
October 2, 2023 21:11 4m 40s parser-raw-prototype
parser-raw-prototype
October 2, 2023 21:11 4m 40s
Refactoring mintermization to MintermizationDomain Python-Binding (build-&-test) #1134: Pull request #355 synchronize by martinhruska
September 30, 2023 19:53 3m 36s mintermization-refactor
mintermization-refactor
September 30, 2023 19:53 3m 36s
Refactoring mintermization to MintermizationDomain Python-Binding (build-&-test) #1133: Pull request #355 synchronize by martinhruska
September 30, 2023 19:43 2m 57s mintermization-refactor
mintermization-refactor
September 30, 2023 19:43 2m 57s
Refactoring mintermization to MintermizationDomain Python-Binding (build-&-test) #1132: Pull request #355 synchronize by martinhruska
September 30, 2023 19:31 1m 38s mintermization-refactor
mintermization-refactor
September 30, 2023 19:31 1m 38s
Refactoring mintermization to MintermizationDomain Python-Binding (build-&-test) #1131: Pull request #355 synchronize by martinhruska
September 29, 2023 20:32 4m 7s mintermization-refactor
mintermization-refactor
September 29, 2023 20:32 4m 7s
Refactoring mintermization to MintermizationDomain Python-Binding (build-&-test) #1130: Pull request #355 opened by martinhruska
September 29, 2023 20:20 4m 55s mintermization-refactor
mintermization-refactor
September 29, 2023 20:20 4m 55s
Merge pull request #346 from VeriFIT/refactor_parser Python-Binding (build-&-test) #1129: Commit bb85433 pushed by tfiedor
September 29, 2023 19:04 4m 16s devel
devel
September 29, 2023 19:04 4m 16s
Merge pull request #352 from VeriFIT/uni-inplace Python-Binding (build-&-test) #1128: Commit d538bfb pushed by tfiedor
September 29, 2023 19:03 4m 53s devel
devel
September 29, 2023 19:03 4m 53s
In-place Union Python-Binding (build-&-test) #1127: Pull request #352 synchronize by vhavlena
September 29, 2023 14:34 4m 10s uni-inplace
uni-inplace
September 29, 2023 14:34 4m 10s
In-place Union Python-Binding (build-&-test) #1126: Pull request #352 synchronize by vhavlena
September 29, 2023 12:49 4m 10s uni-inplace
uni-inplace
September 29, 2023 12:49 4m 10s
In-place Union Python-Binding (build-&-test) #1125: Pull request #352 synchronize by vhavlena
September 29, 2023 12:47 4m 29s uni-inplace
uni-inplace
September 29, 2023 12:47 4m 29s
Behold, ultimate solution for the union naming problem! Python-Binding (build-&-test) #1124: Pull request #354 synchronize by kilohsakul
September 29, 2023 11:52 5m 8s name-for-union_ultamite-final-solution
name-for-union_ultamite-final-solution
September 29, 2023 11:52 5m 8s
Behold, ultimate solution for the union naming problem! Python-Binding (build-&-test) #1123: Pull request #354 opened by kilohsakul
September 29, 2023 11:49 4m 29s name-for-union_ultamite-final-solution
name-for-union_ultamite-final-solution
September 29, 2023 11:49 4m 29s
Simplifying get_useful_states with move iterator Python-Binding (build-&-test) #1122: Pull request #353 synchronize by kilohsakul
September 28, 2023 22:10 4m 1s get_useful_states-with-move-iterator
get_useful_states-with-move-iterator
September 28, 2023 22:10 4m 1s
Simplifying get_useful_states with move iterator Python-Binding (build-&-test) #1121: Pull request #353 synchronize by kilohsakul
September 28, 2023 21:39 4m 26s get_useful_states-with-move-iterator
get_useful_states-with-move-iterator
September 28, 2023 21:39 4m 26s
Simplifying get_useful_states with move iterator Python-Binding (build-&-test) #1120: Pull request #353 synchronize by kilohsakul
September 28, 2023 21:38 4m 25s get_useful_states-with-move-iterator
get_useful_states-with-move-iterator
September 28, 2023 21:38 4m 25s
Simplifying get_useful_states with move iterator Python-Binding (build-&-test) #1119: Pull request #353 synchronize by kilohsakul
September 28, 2023 21:29 5m 17s get_useful_states-with-move-iterator
get_useful_states-with-move-iterator
September 28, 2023 21:29 5m 17s
Simplifying get_useful_states with move iterator Python-Binding (build-&-test) #1118: Pull request #353 opened by kilohsakul
September 28, 2023 21:23 4m 21s get_useful_states-with-move-iterator
get_useful_states-with-move-iterator
September 28, 2023 21:23 4m 21s
In-place Union Python-Binding (build-&-test) #1117: Pull request #352 opened by vhavlena
September 28, 2023 19:35 4m 15s uni-inplace
uni-inplace
September 28, 2023 19:35 4m 15s
Merge pull request #351 from VeriFIT/fix-get_useful_state #patch Python-Binding (build-&-test) #1116: Commit 0c0bbfb pushed by tfiedor
September 28, 2023 17:34 5m 22s devel
devel
September 28, 2023 17:34 5m 22s
Fix of the performance bug in get_useful_states Python-Binding (build-&-test) #1115: Pull request #351 synchronize by kilohsakul
September 28, 2023 17:24 4m 52s fix-get_useful_state
fix-get_useful_state
September 28, 2023 17:24 4m 52s
Fix of the performance bug in get_useful_states Python-Binding (build-&-test) #1114: Pull request #351 opened by kilohsakul
September 28, 2023 17:15 4m 38s fix-get_useful_state
fix-get_useful_state
September 28, 2023 17:15 4m 38s
Merge pull request #344 from VeriFIT/intersection_faster Python-Binding (build-&-test) #1113: Commit 025f56a pushed by tfiedor
September 28, 2023 16:19 4m 12s devel
devel
September 28, 2023 16:19 4m 12s
Intersection speedup and refactor Python-Binding (build-&-test) #1112: Pull request #344 synchronize by kilohsakul
September 28, 2023 16:07 5m 59s intersection_faster
intersection_faster
September 28, 2023 16:07 5m 59s