Skip to content

Actions: immunant/c2rust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
304 workflow runs
304 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

analyze: add NON_NULL rewrites c2rust-testsuite #2254: Pull request #1095 synchronize by spernsteiner
May 16, 2024 00:05 16m 9s analyze-rewrite-non-null
analyze-rewrite-non-null
May 16, 2024 00:05 16m 9s
analyze: add NON_NULL rewrites c2rust-testsuite #2253: Pull request #1095 opened by spernsteiner
May 16, 2024 00:02 16m 9s analyze-rewrite-non-null
analyze-rewrite-non-null
May 16, 2024 00:02 16m 9s
Add a set of comments and question on PDG construction c2rust-testsuite #2251: Pull request #1092 synchronize by ahomescu
May 11, 2024 05:24 15m 25s ahomescu/pdg_comments
ahomescu/pdg_comments
May 11, 2024 05:24 15m 25s
Add a set of comments and question on PDG construction c2rust-testsuite #2250: Pull request #1092 opened by ahomescu
May 10, 2024 08:07 15m 50s ahomescu/pdg_comments
ahomescu/pdg_comments
May 10, 2024 08:07 15m 50s
Switch to crossbeam-queue for events c2rust-testsuite #2249: Pull request #1091 synchronize by ahomescu
May 9, 2024 04:59 11m 53s ahomescu/lock_free_event_queue
ahomescu/lock_free_event_queue
May 9, 2024 04:59 11m 53s
Switch to crossbeam-queue for events c2rust-testsuite #2248: Pull request #1091 opened by ahomescu
May 6, 2024 05:32 12m 1s ahomescu/lock_free_event_queue
ahomescu/lock_free_event_queue
May 6, 2024 05:32 12m 1s
analyze: allow overriding dataflow for specific permissions (#1088) c2rust-testsuite #2247: Commit 9511a4f pushed by spernsteiner
May 2, 2024 20:04 15m 39s master
master
May 2, 2024 20:04 15m 39s
analyze: allow overriding dataflow for specific permissions c2rust-testsuite #2246: Pull request #1088 synchronize by spernsteiner
May 2, 2024 17:05 14m 3s analyze-dataflow-readonly
analyze-dataflow-readonly
May 2, 2024 17:05 14m 3s
analyze: allow overriding dataflow for specific permissions c2rust-testsuite #2245: Pull request #1088 synchronize by spernsteiner
May 2, 2024 16:46 14m 37s analyze-dataflow-readonly
analyze-dataflow-readonly
May 2, 2024 16:46 14m 37s
CI: Fix Azure pipelines Darwin build c2rust-testsuite #2244: Commit 90ca19a pushed by thedataking
May 2, 2024 07:58 14m 7s master
master
May 2, 2024 07:58 14m 7s
CI: Fix Azure pipelines Darwin build c2rust-testsuite #2243: Commit aa99816 pushed by thedataking
May 2, 2024 07:57 13m 31s feature/ci-dev
feature/ci-dev
May 2, 2024 07:57 13m 31s
analyze: uncomment line in scripts/run_pointwise_metrics.sh (#1087) c2rust-testsuite #2242: Commit e226aff pushed by thedataking
May 2, 2024 07:50 14m 26s feature/ci-dev
feature/ci-dev
May 2, 2024 07:50 14m 26s
analyze: allow overriding dataflow for specific permissions c2rust-testsuite #2241: Pull request #1088 opened by spernsteiner
April 30, 2024 00:01 14m 19s analyze-dataflow-readonly
analyze-dataflow-readonly
April 30, 2024 00:01 14m 19s
analyze: uncomment line in scripts/run_pointwise_metrics.sh (#1087) c2rust-testsuite #2240: Commit e226aff pushed by spernsteiner
April 29, 2024 20:28 13m 30s master
master
April 29, 2024 20:28 13m 30s
c2rust-transpile: only delete compile_commands.json if it was a tempo… c2rust-testsuite #2239: Commit 03facd3 pushed by fw-immunant
April 29, 2024 20:22 13m 21s master
master
April 29, 2024 20:22 13m 21s
analyze: uncomment line in scripts/run_pointwise_metrics.sh c2rust-testsuite #2238: Pull request #1087 opened by spernsteiner
April 29, 2024 18:51 13m 10s analyze-metrics-scripts-fix
analyze-metrics-scripts-fix
April 29, 2024 18:51 13m 10s
analyze: add scripts for computing pointwise metrics (#1074) c2rust-testsuite #2237: Commit 3d85abc pushed by spernsteiner
April 29, 2024 18:42 13m 42s master
master
April 29, 2024 18:42 13m 42s
analyze: add scripts for computing pointwise metrics c2rust-testsuite #2236: Pull request #1074 synchronize by spernsteiner
April 29, 2024 18:18 13m 27s analyze-metrics-scripts
analyze-metrics-scripts
April 29, 2024 18:18 13m 27s
Import null pointer information from PDG into static analysis c2rust-testsuite #2235: Pull request #1086 synchronize by ahomescu
April 26, 2024 23:05 13m 15s ahomescu/non_null
ahomescu/non_null
April 26, 2024 23:05 13m 15s
CI: attempt to fix Azure pipelines Darwin build c2rust-testsuite #2234: Commit 774abc7 pushed by thedataking
April 26, 2024 07:22 12m 56s feature/ci-dev
feature/ci-dev
April 26, 2024 07:22 12m 56s
Import null pointer information from PDG into static analysis c2rust-testsuite #2233: Pull request #1086 synchronize by ahomescu
April 25, 2024 05:21 12m 59s ahomescu/non_null
ahomescu/non_null
April 25, 2024 05:21 12m 59s
Import null pointer information from PDG into static analysis c2rust-testsuite #2232: Pull request #1086 opened by ahomescu
April 25, 2024 05:19 14m 28s ahomescu/non_null
ahomescu/non_null
April 25, 2024 05:19 14m 28s
analyze: initial implementation of NON_NULL static analysis (#1081) c2rust-testsuite #2231: Commit d85b4d0 pushed by spernsteiner
April 22, 2024 18:55 12m 16s master
master
April 22, 2024 18:55 12m 16s
analyze: initial implementation of NON_NULL static analysis c2rust-testsuite #2230: Pull request #1081 synchronize by spernsteiner
April 22, 2024 18:05 12m 58s analyze-non-null
analyze-non-null
April 22, 2024 18:05 12m 58s
Fix noop deref warning (#1082) c2rust-testsuite #2229: Commit 2a6b735 pushed by kkysen
April 20, 2024 23:27 12m 26s master
master
April 20, 2024 23:27 12m 26s