Skip to content

Actions: immunant/c2rust

Actions

c2rust-testsuite

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
internal-testsuite.yml
305 workflow runs
305 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

support c2rust <path/to/*.c> in lieu of compile_commands.json c2rust-testsuite #2131: Pull request #1037 synchronize by aneksteind
November 1, 2023 14:55 21m 49s feat.transpile.source
feat.transpile.source
November 1, 2023 14:55 21m 49s
support c2rust <path/to/*.c> in lieu of compile_commands.json c2rust-testsuite #2130: Pull request #1037 opened by aneksteind
November 1, 2023 14:49 25m 59s feat.transpile.source
feat.transpile.source
November 1, 2023 14:49 25m 59s
c2rust-analyze: Move all of main.rs to analyze.rs except for fn main c2rust-testsuite #2129: Pull request #1035 synchronize by kkysen
October 30, 2023 22:59 21m 7s kkysen/analyze-separate-main-mod
kkysen/analyze-separate-main-mod
October 30, 2023 22:59 21m 7s
c2rust-analyze: Move all of main.rs to analyze.rs except for fn main c2rust-testsuite #2128: Pull request #1035 opened by kkysen
October 30, 2023 22:51 24m 30s kkysen/analyze-separate-main-mod
kkysen/analyze-separate-main-mod
October 30, 2023 22:51 24m 30s
fix typos (#1016) c2rust-testsuite #2127: Commit c603b25 pushed by kkysen
October 20, 2023 21:27 17m 23s master
master
October 20, 2023 21:27 17m 23s
build(deps): bump rustix from 0.37.19 to 0.37.25 (#1032) c2rust-testsuite #2126: Commit 8365d55 pushed by kkysen
October 20, 2023 21:26 18m 6s master
master
October 20, 2023 21:26 18m 6s
build(deps): bump rustix from 0.37.19 to 0.37.25 c2rust-testsuite #2125: Pull request #1032 opened by dependabot bot
October 18, 2023 18:50 21m 17s dependabot/cargo/rustix-0.37.25
dependabot/cargo/rustix-0.37.25
October 18, 2023 18:50 21m 17s
dataflow: avoid propagating offset permissions upward from field acce… c2rust-testsuite #2124: Commit d21c267 pushed by aneksteind
October 15, 2023 22:31 11m 23s master
master
October 15, 2023 22:31 11m 23s
dataflow: avoid propagating offset permissions upward from field access c2rust-testsuite #2123: Pull request #1031 synchronize by aneksteind
October 15, 2023 22:01 14m 0s feat.field.perms
feat.field.perms
October 15, 2023 22:01 14m 0s
dataflow: avoid propagating offset permissions upward from field access c2rust-testsuite #2122: Pull request #1031 synchronize by aneksteind
October 15, 2023 21:14 3m 4s feat.field.perms
feat.field.perms
October 15, 2023 21:14 3m 4s
analyze: add pointee_type analysis (#1029) c2rust-testsuite #2121: Commit 2262835 pushed by spernsteiner
October 13, 2023 22:17 13m 46s master
master
October 13, 2023 22:17 13m 46s
dataflow: avoid propagating offset permissions upward from field access c2rust-testsuite #2120: Pull request #1031 synchronize by aneksteind
October 11, 2023 19:50 3m 28s feat.field.perms
feat.field.perms
October 11, 2023 19:50 3m 28s
dataflow: avoid propagating offset permissions upward from field access c2rust-testsuite #2119: Pull request #1031 synchronize by aneksteind
October 11, 2023 19:45 2m 53s feat.field.perms
feat.field.perms
October 11, 2023 19:45 2m 53s
dataflow: avoid propagating offset permissions upward from field access c2rust-testsuite #2118: Pull request #1031 synchronize by aneksteind
October 11, 2023 18:28 9m 14s feat.field.perms
feat.field.perms
October 11, 2023 18:28 9m 14s
dataflow: avoid propagating offset permissions upward from field access c2rust-testsuite #2117: Pull request #1031 synchronize by aneksteind
October 11, 2023 18:20 8m 54s feat.field.perms
feat.field.perms
October 11, 2023 18:20 8m 54s
analyze: assign fresh PointerIds to Ref and AddressOf rvalues (#1028) c2rust-testsuite #2116: Commit b8c4a4c pushed by spernsteiner
October 11, 2023 18:17 20m 17s master
master
October 11, 2023 18:17 20m 17s
analyze: assign fresh PointerIds to Ref and AddressOf rvalues c2rust-testsuite #2115: Pull request #1028 synchronize by spernsteiner
October 9, 2023 23:55 13m 16s analyze-projection-pointerid
analyze-projection-pointerid
October 9, 2023 23:55 13m 16s
analyze: assign fresh PointerIds to Ref and AddressOf rvalues c2rust-testsuite #2114: Pull request #1028 synchronize by spernsteiner
October 9, 2023 23:45 11m 17s analyze-projection-pointerid
analyze-projection-pointerid
October 9, 2023 23:45 11m 17s
analyze: assign fresh PointerIds to Ref and AddressOf rvalues c2rust-testsuite #2113: Pull request #1028 synchronize by spernsteiner
October 9, 2023 22:47 16m 48s analyze-projection-pointerid
analyze-projection-pointerid
October 9, 2023 22:47 16m 48s
analyze: assign fresh PointerIds to Ref and AddressOf rvalues c2rust-testsuite #2112: Pull request #1028 synchronize by spernsteiner
October 9, 2023 22:42 20m 43s analyze-projection-pointerid
analyze-projection-pointerid
October 9, 2023 22:42 20m 43s
analyze: assign fresh PointerIds to Ref and AddressOf rvalues c2rust-testsuite #2111: Pull request #1028 synchronize by spernsteiner
October 9, 2023 22:39 24m 11s analyze-projection-pointerid
analyze-projection-pointerid
October 9, 2023 22:39 24m 11s
dataflow: avoid propagating offset permissions upward from field access c2rust-testsuite #2110: Pull request #1031 opened by aneksteind
October 4, 2023 01:27 26m 23s feat.field.perms
feat.field.perms
October 4, 2023 01:27 26m 23s
analyze: assign fresh PointerIds to Ref and AddressOf rvalues c2rust-testsuite #2107: Pull request #1028 opened by spernsteiner
September 25, 2023 23:55 11m 52s analyze-projection-pointerid
analyze-projection-pointerid
September 25, 2023 23:55 11m 52s
Support intermediate casts in calls. (#1022) c2rust-testsuite #2106: Commit 0ba4903 pushed by aneksteind
September 18, 2023 23:32 18m 31s master
master
September 18, 2023 23:32 18m 31s
Support intermediate casts in calls. c2rust-testsuite #2105: Pull request #1022 synchronize by aneksteind
September 18, 2023 23:04 17m 54s lighttpd.cast.intermediate
lighttpd.cast.intermediate
September 18, 2023 23:04 17m 54s
ProTip! You can narrow down the results and go further in time using created:<2023-09-18 or the other filters available.