Skip to content

Actions: VeriFIT/mata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,595 workflow runs
1,595 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
tests: +feat Add seeded randomized differential tests for the NFA and NFT algorithms Code Quality #1469: Pull request #881 synchronize by Adda0
1h 18m 14s issue-770-differential-pr
issue-770-differential-pr
1h 18m 14s
tests: +feat Add seeded randomized differential tests for the NFA and NFT algorithms Code Coverage #303: Pull request #881 synchronize by Adda0
2m 51s issue-770-differential-pr
issue-770-differential-pr
2m 51s
tests: +feat Add seeded randomized differential tests for the NFA and NFT algorithms Code Quality #1468: Pull request #881 synchronize by Adda0
1h 13m 8s issue-770-differential-pr
issue-770-differential-pr
1h 13m 8s
tests: +feat Add seeded randomized differential tests for the NFA and NFT algorithms Code Coverage #302: Pull request #881 synchronize by Adda0
3m 49s issue-770-differential-pr
issue-770-differential-pr
3m 49s
nfa: +refactor Bucket the antichain of processed macrostates by cardinality Development release (devel) #92: Pull request #885 closed by Adda0
1h 25m 50s issue-785-antichain-buckets-pr
issue-785-antichain-buckets-pr
1h 25m 50s
nfa: +refactor Bucket the antichain of processed macrostates by cardi… Code Coverage #301: Commit d447ca4 pushed by Adda0
3m 45s devel
devel
3m 45s
applications/strings: +fix Descend to a full tape in get_words_of_lengths() and reject lengths that cannot be spanned Development release (devel) #91: Pull request #898 closed by Adda0
42m 50s issue-735-words-of-lengths-perf-pr
issue-735-words-of-lengths-perf-pr
42m 50s
applications/strings: +fix Descend to a full tape in get_words_of_len… Code Coverage #300: Commit a6f7bcd pushed by Adda0
3m 37s devel
devel
3m 37s
tests: +feat Add seeded randomized differential tests for the NFA and NFT algorithms Code Coverage #299: Pull request #881 synchronize by Adda0
3m 55s issue-770-differential-pr
issue-770-differential-pr
3m 55s
tests: +feat Add seeded randomized differential tests for the NFA and NFT algorithms Code Quality #1467: Pull request #881 synchronize by Adda0
1h 38m 24s issue-770-differential-pr
issue-770-differential-pr
1h 38m 24s
applications/strings: +fix Descend to a full tape in get_words_of_lengths() and reject lengths that cannot be spanned Code Coverage #298: Pull request #898 opened by Adda0
2m 51s issue-735-words-of-lengths-perf-pr
issue-735-words-of-lengths-perf-pr
2m 51s
applications/strings: +fix Descend to a full tape in get_words_of_lengths() and reject lengths that cannot be spanned Code Quality #1466: Pull request #898 opened by Adda0
1h 10m 44s issue-735-words-of-lengths-perf-pr
issue-735-words-of-lengths-perf-pr
1h 10m 44s
nfa: +fix Build the product map in naive inclusion only for a counterexample Development release (devel) #90: Pull request #874 closed by Adda0
18m 56s issue-750-incl-prodmap-pr
issue-750-incl-prodmap-pr
18m 56s
nfa: +fix Build the product map in naive inclusion only for a counter… Code Coverage #297: Commit f912339 pushed by Adda0
4m 7s devel
devel
4m 7s
nfa: +refactor Bucket the antichain of processed macrostates by cardinality Code Coverage #296: Pull request #885 synchronize by Adda0
4m 0s issue-785-antichain-buckets-pr
issue-785-antichain-buckets-pr
4m 0s
nfa: +refactor Bucket the antichain of processed macrostates by cardinality Code Quality #1465: Pull request #885 synchronize by Adda0
59m 19s issue-785-antichain-buckets-pr
issue-785-antichain-buckets-pr
59m 19s
tests: +feat Add seeded randomized differential tests for the NFA and NFT algorithms Code Quality #1464: Pull request #881 synchronize by Adda0
18m 52s issue-770-differential-pr
issue-770-differential-pr
18m 52s
tests: +feat Add seeded randomized differential tests for the NFA and NFT algorithms Code Coverage #295: Pull request #881 synchronize by Adda0
3m 30s issue-770-differential-pr
issue-770-differential-pr
3m 30s
nfa: +fix Build the product map in naive inclusion only for a counterexample Code Quality #1463: Pull request #874 synchronize by Adda0
15m 58s issue-750-incl-prodmap-pr
issue-750-incl-prodmap-pr
15m 58s
nfa: +fix Build the product map in naive inclusion only for a counterexample Code Coverage #294: Pull request #874 synchronize by Adda0
2m 45s issue-750-incl-prodmap-pr
issue-750-incl-prodmap-pr
2m 45s
nfa: +refactor Bucket the antichain of processed macrostates by cardinality Code Quality #1462: Pull request #885 synchronize by Adda0
15m 23s issue-785-antichain-buckets-pr
issue-785-antichain-buckets-pr
15m 23s
nfa: +refactor Bucket the antichain of processed macrostates by cardinality Code Coverage #293: Pull request #885 synchronize by Adda0
3m 46s issue-785-antichain-buckets-pr
issue-785-antichain-buckets-pr
3m 46s
tests-integration: +refactor Drop the in-source cleanup of the pre-#825 generated files Development release (devel) #89: Pull request #897 closed by Adda0
12m 0s issue-867-bench-build-pr
issue-867-bench-build-pr
12m 0s
tests-integration: +refactor Drop the in-source cleanup of the pre-#8… Code Coverage #292: Commit f5457ea pushed by Adda0
3m 11s devel
devel
3m 11s
bindings/python: +fix Make Transition hashable and drop misspelled __neq__ Development release (devel) #88: Pull request #896 closed by Adda0
8m 10s issue-853-transition-hash-pr
issue-853-transition-hash-pr
8m 10s