Skip to content

Actions: SSoelvsten/adiar

Actions

windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
windows.yml
487 workflow runs
487 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Fix out-of-date 'skip job' tasks for Mac windows #550: Commit b99050d pushed by SSoelvsten
June 25, 2024 06:29 21s main
main
June 25, 2024 06:29 21s
Disable GCC tests for Mac windows #549: Commit 65d9fe2 pushed by SSoelvsten
June 25, 2024 06:27 25s main
main
June 25, 2024 06:27 25s
Add O(1) shifting case to 'bdd_replace' windows #548: Commit 0a09e9e pushed by SSoelvsten
June 24, 2024 15:30 23s main
main
June 24, 2024 15:30 23s
BDD/RelPrev/Renaming windows #547: Pull request #680 synchronize by SSoelvsten
June 24, 2024 13:25 23m 49s bdd/relprev/renaming
bdd/relprev/renaming
June 24, 2024 13:25 23m 49s
Clean up unit tests for 'bdd_not' windows #546: Commit 95510bc pushed by SSoelvsten
June 24, 2024 13:25 22m 56s main
main
June 24, 2024 13:25 22m 56s
Bdd/relprev/renaming prefix windows #545: Pull request #681 opened by SSoelvsten
June 24, 2024 13:14 14m 31s bdd/relprev/renaming_prefix
bdd/relprev/renaming_prefix
June 24, 2024 13:14 14m 31s
BDD/RelPrev/Renaming windows #544: Pull request #680 opened by SSoelvsten
June 24, 2024 13:09 18m 12s bdd/relprev/renaming
bdd/relprev/renaming
June 24, 2024 13:09 18m 12s
Move on-the-fly negation into 'node_stream' and 'node_random_access' windows #543: Commit 4e8060a pushed by SSoelvsten
June 22, 2024 11:00 25s main
main
June 22, 2024 11:00 25s
BDD/RelPrev/Renaming (Preliminary Work) windows #542: Pull request #676 opened by SSoelvsten
June 21, 2024 12:58 20m 23s bdd/relprev/renaming_prework
bdd/relprev/renaming_prework
June 21, 2024 12:58 20m 23s
Format latest changes windows #541: Commit f374d2f pushed by SSoelvsten
June 18, 2024 07:19 20m 31s main
main
June 18, 2024 07:19 20m 31s
Integrate (monotonic) variable renaming into quantification of 'bdd_r… windows #540: Commit 7c308b6 pushed by SSoelvsten
June 14, 2024 13:14 12m 20s main
main
June 14, 2024 13:14 12m 20s
BDD/RelNext/Renaming windows #539: Pull request #675 synchronize by SSoelvsten
June 14, 2024 13:13 29s bdd/relnext/renaming
bdd/relnext/renaming
June 14, 2024 13:13 29s
Prune subtrees and nodes during initial And-Transposition windows #538: Commit 7ffb0fd pushed by SSoelvsten
June 14, 2024 13:13 24s main
main
June 14, 2024 13:13 24s
BDD/RelNext/Renaming windows #537: Pull request #675 opened by SSoelvsten
June 14, 2024 12:11 20m 8s bdd/relnext/renaming
bdd/relnext/renaming
June 14, 2024 12:11 20m 8s
Prune subtrees and nodes during initial And-Transposition (WIP) windows #536: Commit 469dfa8 pushed by SSoelvsten
June 14, 2024 10:56 25s main
main
June 14, 2024 10:56 25s
BDD/RelProd/Quantification Pruning windows #535: Pull request #673 opened by SSoelvsten
June 14, 2024 09:40 26m 6s bdd/relprod/prune
bdd/relprod/prune
June 14, 2024 09:40 26m 6s
Use transposed result of 'bdd_and' in 'bdd_exist' for Relational Product windows #534: Commit 1923c68 pushed by SSoelvsten
June 13, 2024 14:59 19m 51s main
main
June 13, 2024 14:59 19m 51s
BDD/RelProd/Apply Transpose windows #533: Pull request #672 synchronize by SSoelvsten
June 13, 2024 12:52 18m 36s bdd/relprod/apply_transpose
bdd/relprod/apply_transpose
June 13, 2024 12:52 18m 36s
BDD/RelProd/Apply Transpose windows #532: Pull request #672 opened by SSoelvsten
June 13, 2024 11:45 46m 42s bdd/relprod/apply_transpose
bdd/relprod/apply_transpose
June 13, 2024 11:45 46m 42s
Bump version number to v2.1.0 windows #531: Commit 5b99d97 pushed by SSoelvsten
June 13, 2024 08:58 27s main
main
June 13, 2024 08:58 27s
Add 'bdd_relprod', 'bdd_relnext', and 'bdd_relprev' windows #530: Commit 183a4f3 pushed by SSoelvsten
June 11, 2024 11:59 23s main
main
June 11, 2024 11:59 23s
BDD/RelProd windows #529: Pull request #671 synchronize by SSoelvsten
June 11, 2024 09:28 50m 41s bdd/relprod
bdd/relprod
June 11, 2024 09:28 50m 41s
BDD/RelProd windows #528: Pull request #671 opened by SSoelvsten
June 11, 2024 09:24 19m 24s bdd/relprod
bdd/relprod
June 11, 2024 09:24 19m 24s
Remove unused variable 'p' (Thanks, Clang!) windows #527: Commit e82ec26 pushed by SSoelvsten
June 7, 2024 07:30 26m 39s main
main
June 7, 2024 07:30 26m 39s
Add bdd_replace windows #526: Pull request #670 synchronize by SSoelvsten
June 7, 2024 07:30 27m 4s bdd/replace
bdd/replace
June 7, 2024 07:30 27m 4s