Skip to content

Actions: phate/jlm

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Build.yml
2,181 workflow runs
2,181 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
RawareModRefSummarizer: Add environment variables for disabling omega folding and implicit flags Build #3109: Pull request #1950 synchronize by haved
10m 48s modref-disable-envs-omega-flags
modref-disable-envs-omega-flags
10m 48s
RawareModRefSummarizer: Add environment variables for disabling omega folding and implicit flags Build #3108: Pull request #1950 opened by haved
8m 25s modref-disable-envs-omega-flags
modref-disable-envs-omega-flags
8m 25s
LLVM: add MemoryStateDistribution statistics to summarizers Build #3107: Pull request #1949 synchronize by phate
9m 45s AgnosticModRefSummarizer-MemoryStateDistribution
AgnosticModRefSummarizer-MemoryStateDistribution
9m 45s
LLVM: add MemoryStateDistribution statistics to summarizers Build #3106: Pull request #1949 synchronize by phate
9m 32s AgnosticModRefSummarizer-MemoryStateDistribution
AgnosticModRefSummarizer-MemoryStateDistribution
9m 32s
LLVM: add MemoryStateDistribution statistics to summarizers Build #3105: Pull request #1949 opened by phate
8m 13s AgnosticModRefSummarizer-MemoryStateDistribution
AgnosticModRefSummarizer-MemoryStateDistribution
8m 13s
LLVM: remove spaces from ArrayType debug string Build #3104: Pull request #1948 opened by phate
9m 1s ArrayType-DebugString
ArrayType-DebugString
9m 1s
Modref remove call graph creation Build #3103: Pull request #1947 opened by haved
10m 34s modref-remove-callgraphscc
modref-remove-callgraphscc
10m 34s
MSE: add node statistics Build #3102: Pull request #1946 synchronize by phate
10m 44s MSE-statistics
MSE-statistics
10m 44s
MSE: add node statistics Build #3101: Pull request #1946 opened by phate
10m 12s MSE-statistics
MSE-statistics
10m 12s
MSE: perform pruning as part of encoding Build #3100: Pull request #1945 opened by phate
10m 34s MSE-pruning
MSE-pruning
10m 34s
MSE: separate inter- and intra-procedural encoding methods Build #3099: Pull request #1944 opened by phate
11m 5s MSE-InterProceduralEncoding
MSE-InterProceduralEncoding
11m 5s
MSE: remove usage of MemoryNodeStatePair in StateMap Build #3098: Pull request #1939 synchronize by phate
10m 58s MSE-CleanUp-RawPointers
MSE-CleanUp-RawPointers
10m 58s
MSE: remove usage of MemoryNodeStatePair in StateMap Build #3097: Pull request #1939 synchronize by phate
9m 5s MSE-CleanUp-RawPointers
MSE-CleanUp-RawPointers
9m 5s
MSE: remove usage of MemoryNodeStatePair in StateMap Build #3096: Pull request #1939 synchronize by phate
10m 52s MSE-CleanUp-RawPointers
MSE-CleanUp-RawPointers
10m 52s
MSE: remove usage of MemoryNodeStatePair in StateMap Build #3095: Pull request #1939 synchronize by phate
11m 43s MSE-CleanUp-RawPointers
MSE-CleanUp-RawPointers
11m 43s
MSE: remove usage of MemoryNodeStatePair in StateMap Build #3094: Pull request #1939 synchronize by phate
11m 10s MSE-CleanUp-RawPointers
MSE-CleanUp-RawPointers
11m 10s
MSE: remove usage of MemoryNodeStatePair in StateMap Build #3093: Pull request #1939 synchronize by phate
9m 35s MSE-CleanUp-RawPointers
MSE-CleanUp-RawPointers
9m 35s
MSE: remove usage of MemoryNodeStatePair in StateMap Build #3092: Pull request #1939 synchronize by phate
9m 1s MSE-CleanUp-RawPointers
MSE-CleanUp-RawPointers
9m 1s
MSE: remove usage of MemoryNodeStatePair in StateMap Build #3091: Pull request #1939 synchronize by phate
9m 26s MSE-CleanUp-RawPointers
MSE-CleanUp-RawPointers
9m 26s
MSE: remove usage of MemoryNodeStatePair in StateMap Build #3090: Pull request #1939 synchronize by phate
10m 45s MSE-CleanUp-RawPointers
MSE-CleanUp-RawPointers
10m 45s
Allow consecutive loops Build #3089: Pull request #1943 opened by caleridas
11m 1s local-hls-fix
local-hls-fix
11m 1s
MSE: redirect states instead of replacing nodes Build #3088: Pull request #1940 synchronize by phate
9m 39s MSE-CleanUp-Rerouting
MSE-CleanUp-Rerouting
9m 39s
MSE: redirect states instead of replacing nodes Build #3087: Pull request #1940 synchronize by phate
11m 8s MSE-CleanUp-Rerouting
MSE-CleanUp-Rerouting
11m 8s
Create missing state output in MSE for allocas Build #3086: Pull request #1942 synchronize by haved
11m 18s mse-undef-fix
mse-undef-fix
11m 18s
Create missing state output in MSE for allocas Build #3085: Pull request #1942 synchronize by haved
11m 21s mse-undef-fix
mse-undef-fix
11m 21s