Skip to content

Actions: ssoelvsten/adiar

Actions

Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
160 workflow runs
160 workflow runs

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
Symbolic Bit Vectors Coverage #740: Pull request #763 synchronize by ssoelvsten
24m 24s bvec
bvec
24m 24s
Symbolic Bit Vectors Coverage #739: Pull request #763 opened by ssoelvsten
25m 16s bvec
bvec
25m 16s
Bump actions/checkout from 6 to 7 Coverage #738: Commit 74a9378 pushed by ssoelvsten
20m 49s main
main
20m 49s
Fix term mitigating double-counting not actually being subtracted Coverage #737: Pull request #760 opened by ssoelvsten
9m 45s internal/algorithms/prod2b/tighter-cut
internal/algorithms/prod2b/tighter-cut
9m 45s
Format latest changes when removing 'label' from <adiar/internal> Coverage #736: Commit f5c0218 pushed by ssoelvsten
21m 58s main
main
21m 58s
Remove label from internal representation Coverage #735: Commit 39b24c1 pushed by ssoelvsten
21m 59s main
main
21m 59s
Internal/ptr uint64/replace cleanup Coverage #734: Pull request #759 synchronize by ssoelvsten
45m 40s internal/ptr_uint64/replace-cleanup
internal/ptr_uint64/replace-cleanup
45m 40s
Internal/ptr uint64/replace cleanup Coverage #733: Pull request #759 opened by ssoelvsten
23m 54s internal/ptr_uint64/replace-cleanup
internal/ptr_uint64/replace-cleanup
23m 54s
Allow policy to provide additional levels for nested sweeps Coverage #732: Commit 6c402e8 pushed by ssoelvsten
21m 37s main
main
21m 37s
Nested Sweeping fixes needed for non-monotone bdd_replace Coverage #731: Pull request #758 synchronize by ssoelvsten
23m 22s internal/nested_sweeping/replace-preamble
internal/nested_sweeping/replace-preamble
23m 22s
Nested Sweeping fixes needed for non-monotone bdd_replace Coverage #730: Pull request #758 opened by ssoelvsten
23m 21s internal/nested_sweeping/replace-preamble
internal/nested_sweeping/replace-preamble
23m 21s
Ignore scratch folder by Visual Studio Coverage #729: Commit 0900308 pushed by ssoelvsten
22m 39s main
main
22m 39s
Bump MarkusJx/install-boost from 2.5.1 to 2.6.0 Coverage #728: Commit 5069133 pushed by ssoelvsten
22m 42s main
main
22m 42s
Fix \addtogroup does not create subsections (\name) or subgroups (nes… Coverage #727: Commit 329740e pushed by ssoelvsten
21m 17s main
main
21m 17s
Fix \addtogroup does not create subsections (\name) or subgroups (nes… Coverage #726: Commit 417418d pushed by ssoelvsten
21m 41s main
main
21m 41s
Fix \addtogroup does not create subsections (\name) or subgroups (nes… Coverage #725: Commit 2e5fb7a pushed by ssoelvsten
22m 2s main
main
22m 2s
Some more Doxygen cleanup Coverage #724: Pull request #755 opened by ssoelvsten
21m 38s docs/hide-exec_policy
docs/hide-exec_policy
21m 38s
Fix typos and column width in paper amendments Coverage #723: Commit abc83ea pushed by ssoelvsten
21m 14s main
main
21m 14s
Add 'operator bool()' for BDDs and ZDDs as branching variables Coverage #722: Commit 95009c5 pushed by ssoelvsten
22m 9s main
main
22m 9s
Support bdd and zdd as conditionals Coverage #721: Pull request #754 opened by ssoelvsten
24m 58s feat/bool-conversion
feat/bool-conversion
24m 58s
Fix capitalization on 'Pseudocode' Coverage #720: Commit c8d4222 pushed by ssoelvsten
21m 39s main
main
21m 39s
Fix Doxygen cannot render code in section headers Coverage #719: Commit 208bc39 pushed by ssoelvsten
21m 13s main
main
21m 13s
Add note on accidentally swapped children in examples in VMCAI paper Coverage #718: Commit 075a978 pushed by ssoelvsten
21m 58s main
main
21m 58s
Update README for renamed formatting target Coverage #717: Commit 5d69d69 pushed by ssoelvsten
21m 35s main
main
21m 35s
Update Makefile for renamed formatting target Coverage #716: Commit 420f08d pushed by ssoelvsten
21m 22s main
main
21m 22s