Skip to content

Actions: softwarelanguageslab/maf

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Persisting the analysis state
MAF tests on action #12: Pull request #38 opened by Merlijn-D
September 13, 2024 07:17 2d 22h 27m 26s Merlijn-D:master
September 13, 2024 07:17 2d 22h 27m 26s
Incorporate latest changes in the delta debugger
MAF tests on action #11: Pull request #37 opened by acieroid
November 14, 2023 16:52 1d 1h 41m 12s acieroid:delta
November 14, 2023 16:52 1d 1h 41m 12s
Dotgraph now supports subgraphs
MAF tests on action #1101: Commit f3061db pushed by jevdplas
August 8, 2023 20:20 1d 19h 33m 13s master
August 8, 2023 20:20 1d 19h 33m 13s
Dotgraph now supports subgraphs
Incremental MAF tests on action #302: Commit f3061db pushed by jevdplas
August 8, 2023 20:20 39m 23s master
August 8, 2023 20:20 39m 23s
Simplification + fix mistake
Incremental MAF tests on action #301: Commit f14e12b pushed by jevdplas
August 8, 2023 12:41 51m 19s master
August 8, 2023 12:41 51m 19s
Simplification + fix mistake
MAF tests on action #1100: Commit f14e12b pushed by jevdplas
August 8, 2023 12:41 1d 3h 12m 36s master
August 8, 2023 12:41 1d 3h 12m 36s
Allow custom attributes in DotGraph.
MAF tests on action #1099: Commit 0276b28 pushed by jevdplas
August 8, 2023 12:15 1d 3h 38m 21s master
August 8, 2023 12:15 1d 3h 38m 21s
Allow custom attributes in DotGraph.
Incremental MAF tests on action #300: Commit 0276b28 pushed by jevdplas
August 8, 2023 12:15 20m 59s master
August 8, 2023 12:15 20m 59s
WIP
Incremental MAF tests on action #299: Commit 008558f pushed by jevdplas
August 8, 2023 07:19 18m 39s master
August 8, 2023 07:19 18m 39s
WIP
MAF tests on action #1098: Commit 008558f pushed by jevdplas
August 8, 2023 07:19 1d 8h 34m 0s master
August 8, 2023 07:19 1d 8h 34m 0s
Make LitAddr part of SCAs but don't refine them.
Incremental MAF tests on action #298: Commit 32b26eb pushed by jevdplas
August 3, 2023 06:47 45m 7s master
August 3, 2023 06:47 45m 7s
Make LitAddr part of SCAs but don't refine them.
MAF tests on action #1097: Commit 32b26eb pushed by jevdplas
August 3, 2023 06:47 1d 11h 45m 56s master
August 3, 2023 06:47 1d 11h 45m 56s