Skip to content

Actions: ssoelvsten/adiar

Actions

Linux

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linux.yml
161 workflow runs
161 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 Linux #777: Pull request #763 synchronize by ssoelvsten
21m 51s bvec
bvec
21m 51s
Symbolic Bit Vectors Linux #776: Pull request #763 opened by ssoelvsten
37m 18s bvec
bvec
37m 18s
Bump actions/checkout from 6 to 7 Linux #775: Commit 74a9378 pushed by ssoelvsten
19m 0s main
main
19m 0s
Fix term mitigating double-counting not actually being subtracted Linux #774: Pull request #760 opened by ssoelvsten
8m 40s internal/algorithms/prod2b/tighter-cut
internal/algorithms/prod2b/tighter-cut
8m 40s
Format latest changes when removing 'label' from <adiar/internal> Linux #773: Commit f5c0218 pushed by ssoelvsten
18m 57s main
main
18m 57s
Remove label from internal representation Linux #772: Commit 39b24c1 pushed by ssoelvsten
49m 18s main
main
49m 18s
Internal/ptr uint64/replace cleanup Linux #771: Pull request #759 synchronize by ssoelvsten
1h 7m 23s internal/ptr_uint64/replace-cleanup
internal/ptr_uint64/replace-cleanup
1h 7m 23s
Internal/ptr uint64/replace cleanup Linux #770: Pull request #759 opened by ssoelvsten
16m 21s internal/ptr_uint64/replace-cleanup
internal/ptr_uint64/replace-cleanup
16m 21s
Allow policy to provide additional levels for nested sweeps Linux #769: Commit 6c402e8 pushed by ssoelvsten
18m 56s main
main
18m 56s
Nested Sweeping fixes needed for non-monotone bdd_replace Linux #768: Pull request #758 synchronize by ssoelvsten
44m 58s internal/nested_sweeping/replace-preamble
internal/nested_sweeping/replace-preamble
44m 58s
Nested Sweeping fixes needed for non-monotone bdd_replace Linux #767: Pull request #758 opened by ssoelvsten
15m 36s internal/nested_sweeping/replace-preamble
internal/nested_sweeping/replace-preamble
15m 36s
Ignore scratch folder by Visual Studio Linux #766: Commit 0900308 pushed by ssoelvsten
22m 23s main
main
22m 23s
Bump MarkusJx/install-boost from 2.5.1 to 2.6.0 Linux #765: Commit 5069133 pushed by ssoelvsten
20m 43s main
main
20m 43s
Fix \addtogroup does not create subsections (\name) or subgroups (nes… Linux #764: Commit 329740e pushed by ssoelvsten
35m 38s main
main
35m 38s
Fix \addtogroup does not create subsections (\name) or subgroups (nes… Linux #763: Commit 417418d pushed by ssoelvsten
28s main
main
28s
Fix \addtogroup does not create subsections (\name) or subgroups (nes… Linux #762: Commit 2e5fb7a pushed by ssoelvsten
17m 34s main
main
17m 34s
Some more Doxygen cleanup Linux #761: Pull request #755 opened by ssoelvsten
19m 6s docs/hide-exec_policy
docs/hide-exec_policy
19m 6s
Fix typos and column width in paper amendments Linux #760: Commit abc83ea pushed by ssoelvsten
18m 17s main
main
18m 17s
Add 'operator bool()' for BDDs and ZDDs as branching variables Linux #759: Commit 95009c5 pushed by ssoelvsten
19m 41s main
main
19m 41s
Support bdd and zdd as conditionals Linux #758: Pull request #754 opened by ssoelvsten
36m 23s feat/bool-conversion
feat/bool-conversion
36m 23s
Fix capitalization on 'Pseudocode' Linux #757: Commit c8d4222 pushed by ssoelvsten
33m 54s main
main
33m 54s
Fix Doxygen cannot render code in section headers Linux #756: Commit 208bc39 pushed by ssoelvsten
17m 30s main
main
17m 30s
Add note on accidentally swapped children in examples in VMCAI paper Linux #755: Commit 075a978 pushed by ssoelvsten
18m 4s main
main
18m 4s
Update README for renamed formatting target Linux #754: Commit 5d69d69 pushed by ssoelvsten
33m 19s main
main
33m 19s
Update Makefile for renamed formatting target Linux #753: Commit 420f08d pushed by ssoelvsten
25s main
main
25s