Skip to content

Actions: SSoelvsten/adiar

Actions

documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doxygen.yml
414 workflow runs
414 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Clean up unit tests for 'bdd_not' documentation #745: Commit 95510bc pushed by SSoelvsten
June 24, 2024 13:25 3m 57s main
main
June 24, 2024 13:25 3m 57s
Bdd/relprev/renaming prefix documentation #744: Pull request #681 opened by SSoelvsten
June 24, 2024 13:14 14m 24s bdd/relprev/renaming_prefix
bdd/relprev/renaming_prefix
June 24, 2024 13:14 14m 24s
BDD/RelPrev/Renaming documentation #743: Pull request #680 opened by SSoelvsten
June 24, 2024 13:09 1m 7s bdd/relprev/renaming
bdd/relprev/renaming
June 24, 2024 13:09 1m 7s
Move on-the-fly negation into 'node_stream' and 'node_random_access' documentation #742: Commit 4e8060a pushed by SSoelvsten
June 22, 2024 11:00 1m 12s main
main
June 22, 2024 11:00 1m 12s
BDD/RelPrev/Renaming (Preliminary Work) documentation #741: Pull request #676 opened by SSoelvsten
June 21, 2024 12:58 49s bdd/relprev/renaming_prework
bdd/relprev/renaming_prework
June 21, 2024 12:58 49s
Format latest changes documentation #740: Commit f374d2f pushed by SSoelvsten
June 18, 2024 07:19 56s main
main
June 18, 2024 07:19 56s
Integrate (monotonic) variable renaming into quantification of 'bdd_r… documentation #739: Commit 7c308b6 pushed by SSoelvsten
June 14, 2024 13:14 4m 57s main
main
June 14, 2024 13:14 4m 57s
BDD/RelNext/Renaming documentation #738: Pull request #675 synchronize by SSoelvsten
June 14, 2024 13:13 44s bdd/relnext/renaming
bdd/relnext/renaming
June 14, 2024 13:13 44s
Prune subtrees and nodes during initial And-Transposition documentation #737: Commit 7ffb0fd pushed by SSoelvsten
June 14, 2024 13:13 44s main
main
June 14, 2024 13:13 44s
BDD/RelNext/Renaming documentation #736: Pull request #675 opened by SSoelvsten
June 14, 2024 12:11 1m 5s bdd/relnext/renaming
bdd/relnext/renaming
June 14, 2024 12:11 1m 5s
Prune subtrees and nodes during initial And-Transposition (WIP) documentation #735: Commit 469dfa8 pushed by SSoelvsten
June 14, 2024 10:56 1m 2s main
main
June 14, 2024 10:56 1m 2s
BDD/RelProd/Quantification Pruning documentation #734: Pull request #673 opened by SSoelvsten
June 14, 2024 09:40 1m 14s bdd/relprod/prune
bdd/relprod/prune
June 14, 2024 09:40 1m 14s
Use transposed result of 'bdd_and' in 'bdd_exist' for Relational Product documentation #733: Commit 1923c68 pushed by SSoelvsten
June 13, 2024 14:59 50s main
main
June 13, 2024 14:59 50s
BDD/RelProd/Apply Transpose documentation #732: Pull request #672 synchronize by SSoelvsten
June 13, 2024 12:52 58s bdd/relprod/apply_transpose
bdd/relprod/apply_transpose
June 13, 2024 12:52 58s
BDD/RelProd/Apply Transpose documentation #731: Pull request #672 opened by SSoelvsten
June 13, 2024 11:45 42s bdd/relprod/apply_transpose
bdd/relprod/apply_transpose
June 13, 2024 11:45 42s
Bump version number to v2.1.0 documentation #730: Commit 5b99d97 pushed by SSoelvsten
June 13, 2024 08:58 57s main
main
June 13, 2024 08:58 57s
Add 'bdd_relprod', 'bdd_relnext', and 'bdd_relprev' documentation #729: Commit 183a4f3 pushed by SSoelvsten
June 11, 2024 11:59 53s main
main
June 11, 2024 11:59 53s
BDD/RelProd documentation #728: Pull request #671 synchronize by SSoelvsten
June 11, 2024 09:28 31m 23s bdd/relprod
bdd/relprod
June 11, 2024 09:28 31m 23s
BDD/RelProd documentation #727: Pull request #671 opened by SSoelvsten
June 11, 2024 09:24 1m 18s bdd/relprod
bdd/relprod
June 11, 2024 09:24 1m 18s
Remove unused variable 'p' (Thanks, Clang!) documentation #726: Commit e82ec26 pushed by SSoelvsten
June 7, 2024 07:30 11m 14s main
main
June 7, 2024 07:30 11m 14s
Add bdd_replace documentation #725: Pull request #670 synchronize by SSoelvsten
June 7, 2024 07:30 11m 15s bdd/replace
bdd/replace
June 7, 2024 07:30 11m 15s
Add bdd_replace documentation #724: Pull request #670 synchronize by SSoelvsten
June 7, 2024 07:10 48s bdd/replace
bdd/replace
June 7, 2024 07:10 48s
Add bdd_replace documentation #723: Pull request #670 synchronize by SSoelvsten
June 6, 2024 14:35 20m 21s bdd/replace
bdd/replace
June 6, 2024 14:35 20m 21s
Add bdd_replace documentation #722: Pull request #670 opened by SSoelvsten
June 6, 2024 14:22 50s bdd/replace
bdd/replace
June 6, 2024 14:22 50s
Fix documentation for newest BDD functions documentation #721: Commit 2818d1f pushed by SSoelvsten
May 31, 2024 06:45 54s main
main
May 31, 2024 06:45 54s