Skip to content

Actions: ssoelvsten/adiar

Actions

Examples

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
examples.yml
133 workflow runs
133 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 Examples #2186: Pull request #763 synchronize by ssoelvsten
12m 48s bvec
bvec
12m 48s
Symbolic Bit Vectors Examples #2185: Pull request #763 opened by ssoelvsten
12m 49s bvec
bvec
12m 49s
Fix term mitigating double-counting not actually being subtracted Examples #2184: Pull request #760 opened by ssoelvsten
6m 7s internal/algorithms/prod2b/tighter-cut
internal/algorithms/prod2b/tighter-cut
6m 7s
Format latest changes when removing 'label' from <adiar/internal> Examples #2183: Commit f5c0218 pushed by ssoelvsten
13m 4s main
main
13m 4s
Remove label from internal representation Examples #2182: Commit 39b24c1 pushed by ssoelvsten
13m 33s main
main
13m 33s
Internal/ptr uint64/replace cleanup Examples #2181: Pull request #759 synchronize by ssoelvsten
23m 12s internal/ptr_uint64/replace-cleanup
internal/ptr_uint64/replace-cleanup
23m 12s
Internal/ptr uint64/replace cleanup Examples #2180: Pull request #759 opened by ssoelvsten
16m 19s internal/ptr_uint64/replace-cleanup
internal/ptr_uint64/replace-cleanup
16m 19s
Allow policy to provide additional levels for nested sweeps Examples #2179: Commit 6c402e8 pushed by ssoelvsten
12m 49s main
main
12m 49s
Nested Sweeping fixes needed for non-monotone bdd_replace Examples #2178: Pull request #758 synchronize by ssoelvsten
14m 23s internal/nested_sweeping/replace-preamble
internal/nested_sweeping/replace-preamble
14m 23s
Nested Sweeping fixes needed for non-monotone bdd_replace Examples #2177: Pull request #758 opened by ssoelvsten
13m 14s internal/nested_sweeping/replace-preamble
internal/nested_sweeping/replace-preamble
13m 14s
Fix \addtogroup does not create subsections (\name) or subgroups (nes… Examples #2176: Commit 329740e pushed by ssoelvsten
24m 17s main
main
24m 17s
Fix \addtogroup does not create subsections (\name) or subgroups (nes… Examples #2175: Commit 417418d pushed by ssoelvsten
29s main
main
29s
Fix \addtogroup does not create subsections (\name) or subgroups (nes… Examples #2174: Commit 2e5fb7a pushed by ssoelvsten
12m 41s main
main
12m 41s
Some more Doxygen cleanup Examples #2173: Pull request #755 opened by ssoelvsten
12m 33s docs/hide-exec_policy
docs/hide-exec_policy
12m 33s
Add 'operator bool()' for BDDs and ZDDs as branching variables Examples #2172: Commit 95009c5 pushed by ssoelvsten
34m 13s main
main
34m 13s
Support bdd and zdd as conditionals Examples #2171: Pull request #754 opened by ssoelvsten
13m 23s feat/bool-conversion
feat/bool-conversion
13m 23s
Allow 'bdd_replace' to return an unreduced (but replaced) BDD Examples #2170: Commit ef667b9 pushed by ssoelvsten
31m 8s main
main
31m 8s
Make bdd_replace return __bdd Examples #2169: Pull request #753 opened by ssoelvsten
13m 38s bdd/replace-with-unreduced-output
bdd/replace-with-unreduced-output
13m 38s
Format latest 'request::to_string()' changes Examples #2168: Commit 7c50a89 pushed by ssoelvsten
34m 34s main
main
34m 34s
Format lates 'request::to_string()' changes Examples #2167: Commit 9178208 pushed by ssoelvsten
2m 21s main
main
2m 21s
Update outdated TODO Examples #2166: Commit bef99aa pushed by ssoelvsten
34m 52s main
main
34m 52s
Add to_string for all data types Examples #2165: Pull request #752 synchronize by ssoelvsten
13m 33s internal/toString
internal/toString
13m 33s
Add to_string for all data types Examples #2164: Pull request #752 opened by ssoelvsten
12m 48s internal/toString
internal/toString
12m 48s
Fix levels beyond the target can mess up the ordering Examples #2163: Commit 8fba974 pushed by ssoelvsten
12m 45s main
main
12m 45s
Code cleanup for MSc project Examples #2162: Pull request #750 synchronize by ssoelvsten
13m 19s internal/prod2u/optional-target-sorting
internal/prod2u/optional-target-sorting
13m 19s