Skip to content

Actions: SSoelvsten/adiar

system test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
268 workflow runs
268 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Functional/single output iterator
system test #933: Pull request #695 synchronize by SSoelvsten
October 23, 2024 09:39 21m 36s functional/single_output_iterator
October 23, 2024 09:39 21m 36s
Functional/single output iterator
system test #932: Pull request #695 opened by SSoelvsten
October 23, 2024 09:20 15m 8s functional/single_output_iterator
October 23, 2024 09:20 15m 8s
Set tpie::tempname before calling tpie_init()
system test #931: Pull request #694 synchronize by nhusung
October 7, 2024 10:56 30m 55s nhusung:tpie-tmp-dir
October 7, 2024 10:56 30m 55s
Only enable TPIE's logging while in Debug
system test #925: Pull request #692 synchronize by SSoelvsten
August 15, 2024 08:33 29m 26s tpie/disable_log
August 15, 2024 08:33 29m 26s
Only enable TPIE's logging while in Debug
system test #924: Pull request #692 synchronize by SSoelvsten
August 15, 2024 08:32 1m 49s tpie/disable_log
August 15, 2024 08:32 1m 49s
Only enable TPIE's logging while in Debug
system test #923: Pull request #692 synchronize by SSoelvsten
August 15, 2024 08:27 3m 12s tpie/disable_log
August 15, 2024 08:27 3m 12s
Only enable TPIE's logging while in Debug
system test #922: Pull request #692 opened by SSoelvsten
August 15, 2024 08:25 6m 47s tpie/disable_log
August 15, 2024 08:25 6m 47s
Bdd/relprod/quality of life
system test #921: Pull request #689 synchronize by SSoelvsten
July 29, 2024 12:08 13m 35s bdd/relprod/quality_of_life
July 29, 2024 12:08 13m 35s
Bdd/relprod/quality of life
system test #920: Pull request #689 opened by SSoelvsten
July 29, 2024 09:35 39m 33s bdd/relprod/quality_of_life
July 29, 2024 09:35 39m 33s
Internal/nested sweep/2 level cuts
system test #919: Pull request #687 synchronize by SSoelvsten
July 4, 2024 12:16 25m 19s internal/nested_sweep/2-level_cuts
July 4, 2024 12:16 25m 19s
Bug/internal/sorter/memory usage
system test #917: Pull request #685 synchronize by SSoelvsten
July 1, 2024 13:05 3m 46s bug/internal/sorter/memory_usage
July 1, 2024 13:05 3m 46s
BDD/RelPrev/Renaming
system test #914: Pull request #680 synchronize by SSoelvsten
June 24, 2024 13:25 56m 17s bdd/relprev/renaming
June 24, 2024 13:25 56m 17s
Bdd/relprev/renaming prefix
system test #913: Pull request #681 opened by SSoelvsten
June 24, 2024 13:14 14m 50s bdd/relprev/renaming_prefix
June 24, 2024 13:14 14m 50s
BDD/RelPrev/Renaming
system test #912: Pull request #680 opened by SSoelvsten
June 24, 2024 13:09 18m 51s bdd/relprev/renaming
June 24, 2024 13:09 18m 51s
BDD/RelPrev/Renaming (Preliminary Work)
system test #911: Pull request #676 opened by SSoelvsten
June 21, 2024 12:58 15m 35s bdd/relprev/renaming_prework
June 21, 2024 12:58 15m 35s
BDD/RelNext/Renaming
system test #910: Pull request #675 synchronize by SSoelvsten
June 14, 2024 13:13 4m 29s bdd/relnext/renaming
June 14, 2024 13:13 4m 29s
BDD/RelNext/Renaming
system test #909: Pull request #675 opened by SSoelvsten
June 14, 2024 12:11 15m 5s bdd/relnext/renaming
June 14, 2024 12:11 15m 5s
BDD/RelProd/Quantification Pruning
system test #908: Pull request #673 opened by SSoelvsten
June 14, 2024 09:40 30m 49s bdd/relprod/prune
June 14, 2024 09:40 30m 49s