Skip to content

Actions: immunant/c2rust

Actions

c2rust-testsuite

Actions

Loading...

Show workflow options

Create status badge

internal-testsuite.yml
599 workflow runs
599 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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
Fix noop deref warning c2rust-testsuite #2228: Pull request #1082 opened by LegNeato
April 19, 2024 23:15 11m 53s LegNeato:patch-1
LegNeato:patch-1
April 19, 2024 23:15 11m 53s
analyze: add --rewrite-mode pointwise (#1073) c2rust-testsuite #2227: Commit 6264fae pushed by spernsteiner
April 15, 2024 17:39 11m 32s master
master
April 15, 2024 17:39 11m 32s
analyze: track reasons why functions are not rewritten (#1072) c2rust-testsuite #2226: Commit ff1fa02 pushed by spernsteiner
April 15, 2024 16:00 12m 35s master
master
April 15, 2024 16:00 12m 35s
analyze: track reasons why functions are not rewritten c2rust-testsuite #2225: Pull request #1072 synchronize by spernsteiner
April 12, 2024 22:02 12m 9s analyze-dont-rewrite-reasons
analyze-dont-rewrite-reasons
April 12, 2024 22:02 12m 9s
analyze: initial implementation of NON_NULL static analysis c2rust-testsuite #2224: Pull request #1081 synchronize by spernsteiner
April 12, 2024 21:36 11m 54s analyze-non-null
analyze-non-null
April 12, 2024 21:36 11m 54s
analyze: initial implementation of NON_NULL static analysis c2rust-testsuite #2223: Pull request #1081 opened by spernsteiner
April 12, 2024 20:24 11m 20s analyze-non-null
analyze-non-null
April 12, 2024 20:24 11m 20s
analyze: track reasons why functions are not rewritten c2rust-testsuite #2222: Pull request #1072 synchronize by spernsteiner
April 11, 2024 23:42 11m 16s analyze-dont-rewrite-reasons
analyze-dont-rewrite-reasons
April 11, 2024 23:42 11m 16s
analyze: emit inline annotations for debugging (#1071) c2rust-testsuite #2221: Commit caf3e22 pushed by spernsteiner
April 11, 2024 23:38 11m 3s master
master
April 11, 2024 23:38 11m 3s
analyze: emit inline annotations for debugging c2rust-testsuite #2220: Pull request #1071 synchronize by spernsteiner
April 11, 2024 22:46 12m 24s analyze-inline-annotations
analyze-inline-annotations
April 11, 2024 22:46 12m 24s