Skip to content

Actions: immunant/c2rust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
363 workflow runs
363 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Import null pointer information from PDG into static analysis
c2rust-testsuite #2308: Pull request #1086 synchronize by ahomescu
July 26, 2024 01:48 8m 5s ahomescu/non_null
July 26, 2024 01:48 8m 5s
Construct PDG exclusively on provenance information
c2rust-testsuite #2307: Pull request #1107 synchronize by ahomescu
July 25, 2024 06:41 8m 0s ahomescu/provenance_only_pdg
July 25, 2024 06:41 8m 0s
Construct PDG exclusively on provenance information
c2rust-testsuite #2306: Pull request #1107 synchronize by ahomescu
July 25, 2024 06:37 8m 11s ahomescu/provenance_only_pdg
July 25, 2024 06:37 8m 11s
Construct PDG exclusively on provenance information
c2rust-testsuite #2305: Pull request #1107 synchronize by ahomescu
July 25, 2024 06:09 8m 41s ahomescu/provenance_only_pdg
July 25, 2024 06:09 8m 41s
Construct PDG exclusively on provenance information
c2rust-testsuite #2304: Pull request #1107 synchronize by ahomescu
July 25, 2024 02:40 8m 0s ahomescu/provenance_only_pdg
July 25, 2024 02:40 8m 0s
Construct PDG exclusively on provenance information
c2rust-testsuite #2303: Pull request #1107 synchronize by ahomescu
July 24, 2024 06:48 8m 8s ahomescu/provenance_only_pdg
July 24, 2024 06:48 8m 8s
Construct PDG exclusively on provenance information
c2rust-testsuite #2302: Pull request #1107 synchronize by ahomescu
July 24, 2024 06:48 8m 30s ahomescu/provenance_only_pdg
July 24, 2024 06:48 8m 30s
Construct PDG exclusively on provenance information
c2rust-testsuite #2301: Pull request #1107 synchronize by ahomescu
July 24, 2024 06:41 11m 27s ahomescu/provenance_only_pdg
July 24, 2024 06:41 11m 27s
Construct PDG exclusively on provenance information
c2rust-testsuite #2300: Pull request #1107 opened by ahomescu
July 24, 2024 06:36 14m 19s ahomescu/provenance_only_pdg
July 24, 2024 06:36 14m 19s
Import null pointer information from PDG into static analysis
c2rust-testsuite #2299: Pull request #1086 synchronize by ahomescu
July 24, 2024 06:34 14m 15s ahomescu/non_null
July 24, 2024 06:34 14m 15s
Fix c2rust-analyze panic for variadic functions
c2rust-testsuite #2298: Commit b3aecb0 pushed by ahomescu
July 23, 2024 07:36 8m 8s master
July 23, 2024 07:36 8m 8s
Fix c2rust-analyze panic for variadic functions
c2rust-testsuite #2297: Pull request #1105 synchronize by ahomescu
July 23, 2024 07:17 8m 22s ahomescu/fix_analyze_variadic
July 23, 2024 07:17 8m 22s
Import null pointer information from PDG into static analysis
c2rust-testsuite #2296: Pull request #1086 synchronize by ahomescu
July 23, 2024 06:52 8m 29s ahomescu/non_null
July 23, 2024 06:52 8m 29s
analyze: support rewriting field projections on nullable pointers (#1…
c2rust-testsuite #2295: Commit 7bf22e0 pushed by spernsteiner
July 22, 2024 18:51 20m 34s master
July 22, 2024 18:51 20m 34s
Import null pointer information from PDG into static analysis
c2rust-testsuite #2293: Pull request #1086 synchronize by ahomescu
July 20, 2024 07:07 8m 23s ahomescu/non_null
July 20, 2024 07:07 8m 23s
Import null pointer information from PDG into static analysis
c2rust-testsuite #2292: Pull request #1086 synchronize by ahomescu
July 20, 2024 06:00 8m 13s ahomescu/non_null
July 20, 2024 06:00 8m 13s
Import null pointer information from PDG into static analysis
c2rust-testsuite #2291: Pull request #1086 synchronize by ahomescu
July 20, 2024 04:07 7m 57s ahomescu/non_null
July 20, 2024 04:07 7m 57s
Import null pointer information from PDG into static analysis
c2rust-testsuite #2290: Pull request #1086 synchronize by ahomescu
July 19, 2024 23:58 8m 38s ahomescu/non_null
July 19, 2024 23:58 8m 38s
Import null pointer information from PDG into static analysis
c2rust-testsuite #2289: Pull request #1086 synchronize by ahomescu
July 18, 2024 05:45 20m 50s ahomescu/non_null
July 18, 2024 05:45 20m 50s
Fix c2rust-analyze panic for variadic functions
c2rust-testsuite #2288: Pull request #1105 synchronize by ahomescu
July 12, 2024 23:50 14m 40s ahomescu/fix_analyze_variadic
July 12, 2024 23:50 14m 40s
Fix c2rust-analyze panic for variadic functions
c2rust-testsuite #2287: Pull request #1105 opened by ahomescu
July 12, 2024 23:49 17m 19s ahomescu/fix_analyze_variadic
July 12, 2024 23:49 17m 19s
Fix ordering of clang libs for static linking
c2rust-testsuite #2285: Commit d59dbd3 pushed by thedataking
June 28, 2024 02:52 8m 15s master
June 28, 2024 02:52 8m 15s