Skip to content

Actions: SSoelvsten/adiar

Actions

macOS

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mac.yml
257 workflow runs
257 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

BDD/RelNext/Renaming macOS #537: Pull request #675 opened by SSoelvsten
June 14, 2024 12:11 1h 3m 23s bdd/relnext/renaming
bdd/relnext/renaming
June 14, 2024 12:11 1h 3m 23s
Prune subtrees and nodes during initial And-Transposition (WIP) macOS #536: Commit 469dfa8 pushed by SSoelvsten
June 14, 2024 10:56 1h 46m 57s main
main
June 14, 2024 10:56 1h 46m 57s
BDD/RelProd/Quantification Pruning macOS #535: Pull request #673 opened by SSoelvsten
June 14, 2024 09:40 1h 38m 15s bdd/relprod/prune
bdd/relprod/prune
June 14, 2024 09:40 1h 38m 15s
Use transposed result of 'bdd_and' in 'bdd_exist' for Relational Product macOS #534: Commit 1923c68 pushed by SSoelvsten
June 13, 2024 14:59 1h 56m 51s main
main
June 13, 2024 14:59 1h 56m 51s
BDD/RelProd/Apply Transpose macOS #533: Pull request #672 synchronize by SSoelvsten
June 13, 2024 12:52 1h 57m 31s bdd/relprod/apply_transpose
bdd/relprod/apply_transpose
June 13, 2024 12:52 1h 57m 31s
BDD/RelProd/Apply Transpose macOS #532: Pull request #672 opened by SSoelvsten
June 13, 2024 11:45 1h 7m 4s bdd/relprod/apply_transpose
bdd/relprod/apply_transpose
June 13, 2024 11:45 1h 7m 4s
Bump version number to v2.1.0 macOS #531: Commit 5b99d97 pushed by SSoelvsten
June 13, 2024 08:58 29s main
main
June 13, 2024 08:58 29s
Add 'bdd_relprod', 'bdd_relnext', and 'bdd_relprev' macOS #530: Commit 183a4f3 pushed by SSoelvsten
June 11, 2024 11:59 25s main
main
June 11, 2024 11:59 25s
BDD/RelProd macOS #529: Pull request #671 synchronize by SSoelvsten
June 11, 2024 09:28 2h 17m 36s bdd/relprod
bdd/relprod
June 11, 2024 09:28 2h 17m 36s
BDD/RelProd macOS #528: Pull request #671 opened by SSoelvsten
June 11, 2024 09:24 35m 44s bdd/relprod
bdd/relprod
June 11, 2024 09:24 35m 44s
Remove unused variable 'p' (Thanks, Clang!) macOS #527: Commit e82ec26 pushed by SSoelvsten
June 7, 2024 07:30 2h 44m 37s main
main
June 7, 2024 07:30 2h 44m 37s
Add bdd_replace macOS #526: Pull request #670 synchronize by SSoelvsten
June 7, 2024 07:30 1h 40m 53s bdd/replace
bdd/replace
June 7, 2024 07:30 1h 40m 53s
Add bdd_replace macOS #525: Pull request #670 synchronize by SSoelvsten
June 7, 2024 07:10 30m 25s bdd/replace
bdd/replace
June 7, 2024 07:10 30m 25s
Add bdd_replace macOS #524: Pull request #670 synchronize by SSoelvsten
June 6, 2024 14:35 2h 22m 47s bdd/replace
bdd/replace
June 6, 2024 14:35 2h 22m 47s
Add bdd_replace macOS #523: Pull request #670 opened by SSoelvsten
June 6, 2024 14:22 32m 58s bdd/replace
bdd/replace
June 6, 2024 14:22 32m 58s
Fix documentation for newest BDD functions macOS #522: Commit 2818d1f pushed by SSoelvsten
May 31, 2024 06:45 1h 3m 56s main
main
May 31, 2024 06:45 1h 3m 56s
Format latest changes macOS #521: Commit f2f0bf9 pushed by SSoelvsten
May 30, 2024 14:17 2h 34m 29s main
main
May 30, 2024 14:17 2h 34m 29s
Bdd/diff op macOS #520: Pull request #667 synchronize by SSoelvsten
May 30, 2024 14:13 1h 44m 37s bdd/diff_op
bdd/diff_op
May 30, 2024 14:13 1h 44m 37s
Bdd/diff op macOS #519: Pull request #667 synchronize by SSoelvsten
May 30, 2024 14:12 33m 22s bdd/diff_op
bdd/diff_op
May 30, 2024 14:12 33m 22s
Bdd/diff op macOS #518: Pull request #667 opened by SSoelvsten
May 30, 2024 12:17 1h 12m 58s bdd/diff_op
bdd/diff_op
May 30, 2024 12:17 1h 12m 58s
Fix 'unused variable' warnings from Clang macOS #517: Commit 9e79baa pushed by SSoelvsten
May 30, 2024 09:44 2h 35m 59s main
main
May 30, 2024 09:44 2h 35m 59s
bdd_satmin and bdd_satmax with set of variables macOS #516: Pull request #666 synchronize by SSoelvsten
May 30, 2024 09:44 2h 38m 8s bdd/sat_with_domain
bdd/sat_with_domain
May 30, 2024 09:44 2h 38m 8s
bdd_satmin and bdd_satmax with set of variables macOS #515: Pull request #666 synchronize by SSoelvsten
May 30, 2024 09:38 33m 14s bdd/sat_with_domain
bdd/sat_with_domain
May 30, 2024 09:38 33m 14s
bdd_satmin and bdd_satmax with set of variables macOS #514: Pull request #666 synchronize by SSoelvsten
May 30, 2024 08:31 1h 7m 31s bdd/sat_with_domain
bdd/sat_with_domain
May 30, 2024 08:31 1h 7m 31s
bdd_satmin and bdd_satmax with set of variables macOS #513: Pull request #666 opened by SSoelvsten
May 30, 2024 08:30 4m 17s bdd/sat_with_domain
bdd/sat_with_domain
May 30, 2024 08:30 4m 17s