Skip to content

Actions: SSoelvsten/adiar

Actions

benchmark (pull request)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
benchmark.yml
274 workflow runs
274 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

BDD/ bdd_and and bdd_or with negation benchmark (pull request) #706: Pull request #577 synchronize by SSoelvsten
November 17, 2023 18:48 14m 26s bdd/and-or_with_negation
bdd/and-or_with_negation
November 17, 2023 18:48 14m 26s
BDD/ bdd_and and bdd_or with negation benchmark (pull request) #705: Pull request #577 synchronize by SSoelvsten
November 17, 2023 18:42 7m 39s bdd/and-or_with_negation
bdd/and-or_with_negation
November 17, 2023 18:42 7m 39s
BDD/ bdd_and and bdd_or with negation benchmark (pull request) #704: Pull request #577 synchronize by SSoelvsten
November 17, 2023 16:59 49m 37s bdd/and-or_with_negation
bdd/and-or_with_negation
November 17, 2023 16:59 49m 37s
BDD/ bdd_and and bdd_or with negation benchmark (pull request) #703: Pull request #577 synchronize by SSoelvsten
November 17, 2023 16:30 30m 15s bdd/and-or_with_negation
bdd/and-or_with_negation
November 17, 2023 16:30 30m 15s
BDD/ bdd_and and bdd_or with negation benchmark (pull request) #702: Pull request #577 synchronize by SSoelvsten
November 17, 2023 16:28 6m 38s bdd/and-or_with_negation
bdd/and-or_with_negation
November 17, 2023 16:28 6m 38s
BDD/ bdd_and and bdd_or with negation benchmark (pull request) #701: Pull request #577 opened by SSoelvsten
November 17, 2023 03:11 53m 57s bdd/and-or_with_negation
bdd/and-or_with_negation
November 17, 2023 03:11 53m 57s
Internal/select refactor benchmark (pull request) #700: Pull request #576 opened by SSoelvsten
November 15, 2023 20:27 49m 56s internal/select-refactor
internal/select-refactor
November 15, 2023 20:27 49m 56s
Internal/count refactor benchmark (pull request) #699: Pull request #575 synchronize by SSoelvsten
November 15, 2023 19:54 43m 13s internal/count-refactor
internal/count-refactor
November 15, 2023 19:54 43m 13s
Internal/count refactor benchmark (pull request) #698: Pull request #575 synchronize by SSoelvsten
November 15, 2023 18:51 1h 3m 41s internal/count-refactor
internal/count-refactor
November 15, 2023 18:51 1h 3m 41s
Internal/count refactor benchmark (pull request) #697: Pull request #575 synchronize by SSoelvsten
November 15, 2023 18:41 10m 13s internal/count-refactor
internal/count-refactor
November 15, 2023 18:41 10m 13s
Internal/count refactor benchmark (pull request) #696: Pull request #575 opened by SSoelvsten
November 15, 2023 18:33 8m 32s internal/count-refactor
internal/count-refactor
November 15, 2023 18:33 8m 32s
Internal/double while benchmark (pull request) #695: Pull request #573 synchronize by SSoelvsten
November 14, 2023 22:36 52m 49s internal/double-while
internal/double-while
November 14, 2023 22:36 52m 49s
Internal/double while benchmark (pull request) #694: Pull request #573 opened by SSoelvsten
November 14, 2023 22:32 11m 16s internal/double-while
internal/double-while
November 14, 2023 22:32 11m 16s
Internal/rename substitute benchmark (pull request) #693: Pull request #572 opened by SSoelvsten
November 14, 2023 21:19 49m 5s internal/rename-substitute
internal/rename-substitute
November 14, 2023 21:19 49m 5s
Internal/isomorphism/width fail case benchmark (pull request) #692: Pull request #569 synchronize by SSoelvsten
November 6, 2023 23:26 4m 39s internal/isomorphism/width-fail-case
internal/isomorphism/width-fail-case
November 6, 2023 23:26 4m 39s
Internal/isomorphism/width fail case benchmark (pull request) #691: Pull request #569 opened by SSoelvsten
November 6, 2023 21:50 1h 28m 54s internal/isomorphism/width-fail-case
internal/isomorphism/width-fail-case
November 6, 2023 21:50 1h 28m 54s
Fix bad index in 'zdd_disjoint' path pruning benchmark (pull request) #690: Pull request #568 synchronize by SSoelvsten
November 5, 2023 07:13 42m 29s zdd/disjoint/missing-unit-test
zdd/disjoint/missing-unit-test
November 5, 2023 07:13 42m 29s
Fix bad index in 'zdd_disjoint' path pruning benchmark (pull request) #689: Pull request #568 opened by SSoelvsten
November 5, 2023 06:49 24m 28s zdd/disjoint/missing-unit-test
zdd/disjoint/missing-unit-test
November 5, 2023 06:49 24m 28s
Add 'bdd_isvar', 'bdd_isithvar', and 'bdd_isnithvar' predicates benchmark (pull request) #688: Pull request #567 synchronize by SSoelvsten
November 4, 2023 13:52 53m 26s bdd/isvar
bdd/isvar
November 4, 2023 13:52 53m 26s
Add 'bdd_isvar', 'bdd_isithvar', and 'bdd_isnithvar' predicates benchmark (pull request) #687: Pull request #567 synchronize by SSoelvsten
November 4, 2023 13:49 6m 30s bdd/isvar
bdd/isvar
November 4, 2023 13:49 6m 30s
Add 'bdd_isvar', 'bdd_isithvar', and 'bdd_isnithvar' predicates benchmark (pull request) #686: Pull request #567 synchronize by SSoelvsten
November 4, 2023 13:48 7m 32s bdd/isvar
bdd/isvar
November 4, 2023 13:48 7m 32s
Add 'bdd_isvar', 'bdd_isithvar', and 'bdd_isnithvar' predicates benchmark (pull request) #685: Pull request #567 opened by SSoelvsten
November 4, 2023 13:47 8m 1s bdd/isvar
bdd/isvar
November 4, 2023 13:47 8m 1s
Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) benchmark (pull request) #684: Pull request #564 synchronize by SSoelvsten
November 4, 2023 10:18 1h 24m 22s bdd/restrict_overloads
bdd/restrict_overloads
November 4, 2023 10:18 1h 24m 22s
Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) benchmark (pull request) #683: Pull request #564 synchronize by SSoelvsten
November 4, 2023 10:15 7m 42s bdd/restrict_overloads
bdd/restrict_overloads
November 4, 2023 10:15 7m 42s
Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) benchmark (pull request) #682: Pull request #564 synchronize by SSoelvsten
November 4, 2023 09:53 22m 42s bdd/restrict_overloads
bdd/restrict_overloads
November 4, 2023 09:53 22m 42s
ProTip! You can narrow down the results and go further in time using created:<2023-11-04 or the other filters available.