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

provide statics with hypothetical origins c2rust-testsuite #2019: Pull request #975 synchronize by aneksteind
July 17, 2023 22:15 12m 32s feat.static.origins
feat.static.origins
July 17, 2023 22:15 12m 32s
provide statics with hypothetical origins c2rust-testsuite #2018: Pull request #975 synchronize by aneksteind
July 17, 2023 18:50 12m 20s feat.static.origins
feat.static.origins
July 17, 2023 18:50 12m 20s
provide statics with hypothetical origins c2rust-testsuite #2017: Pull request #975 synchronize by aneksteind
July 17, 2023 18:46 12m 6s feat.static.origins
feat.static.origins
July 17, 2023 18:46 12m 6s
scripts/pdg.sh: also run analysis c2rust-testsuite #2016: Pull request #974 synchronize by fw-immunant
July 13, 2023 20:23 13m 50s fw/pdg.sh-analyze
fw/pdg.sh-analyze
July 13, 2023 20:23 13m 50s
instrument: README: brown-paper-bag fix c2rust-testsuite #2015: Commit 0021ec9 pushed by fw-immunant
July 13, 2023 20:14 11m 20s master
master
July 13, 2023 20:14 11m 20s
instrument: README: brown-paper-bag fix c2rust-testsuite #2014: Commit 5147259 pushed by fw-immunant
July 13, 2023 20:06 12m 30s master
master
July 13, 2023 20:06 12m 30s
provide statics with hypothetical origins c2rust-testsuite #2013: Pull request #975 synchronize by aneksteind
July 12, 2023 20:06 11m 5s feat.static.origins
feat.static.origins
July 12, 2023 20:06 11m 5s
instrument: README: fix invocation c2rust-testsuite #2012: Commit b4b10e3 pushed by fw-immunant
July 11, 2023 21:12 11m 52s master
master
July 11, 2023 21:12 11m 52s
provide statics with hypothetical origins c2rust-testsuite #2011: Pull request #975 synchronize by aneksteind
July 11, 2023 19:18 11m 49s feat.static.origins
feat.static.origins
July 11, 2023 19:18 11m 49s
(c2rust-analyze) Remove UNIQUE from initial ptr perms before asse… c2rust-testsuite #2010: Commit 9a2bd6e pushed by kkysen
July 11, 2023 03:20 11m 7s master
master
July 11, 2023 03:20 11m 7s
(c2rust-analyze) Remove UNIQUE from initial ptr perms before asserting it's empty c2rust-testsuite #2009: Pull request #981 opened by kkysen
July 10, 2023 23:05 10m 59s kkysen/analyze-known-fn-remove-initial-unique-before-assertion
kkysen/analyze-known-fn-remove-initial-unique-before-assertion
July 10, 2023 23:05 10m 59s
(c2rust-analyze) Allow calls to UnknownDef KnownFns with known … c2rust-testsuite #2008: Commit 3eb2d5f pushed by kkysen
July 10, 2023 20:03 15m 20s master
master
July 10, 2023 20:03 15m 20s
(c2rust-analyze) Allow calls to UnknownDef KnownFns with known ptr perms c2rust-testsuite #2007: Pull request #980 synchronize by kkysen
July 10, 2023 18:58 11m 9s kkysen/analyze-known-fns-integration
kkysen/analyze-known-fns-integration
July 10, 2023 18:58 11m 9s
Trivial clippy fixes. c2rust-testsuite #2006: Commit dea6b2b pushed by kkysen
July 10, 2023 08:37 11m 31s master
master
July 10, 2023 08:37 11m 31s
(c2rust-analyze) Allow calls to UnknownDef KnownFns with known ptr perms c2rust-testsuite #2005: Pull request #980 synchronize by kkysen
July 8, 2023 09:27 11m 42s kkysen/analyze-known-fns-integration
kkysen/analyze-known-fns-integration
July 8, 2023 09:27 11m 42s
(c2rust-analyze) Allow calls to UnknownDef KnownFns with known ptr perms c2rust-testsuite #2004: Pull request #980 synchronize by kkysen
July 8, 2023 09:24 11m 9s kkysen/analyze-known-fns-integration
kkysen/analyze-known-fns-integration
July 8, 2023 09:24 11m 9s
(c2rust-analyze) Allow calls to UnknownDef KnownFns with known ptr perms c2rust-testsuite #2003: Pull request #980 synchronize by kkysen
July 8, 2023 09:02 10m 48s kkysen/analyze-known-fns-integration
kkysen/analyze-known-fns-integration
July 8, 2023 09:02 10m 48s
(c2rust-analyze) Allow calls to UnknownDef KnownFns with known ptr perms c2rust-testsuite #2002: Pull request #980 synchronize by kkysen
July 8, 2023 08:45 10m 55s kkysen/analyze-known-fns-integration
kkysen/analyze-known-fns-integration
July 8, 2023 08:45 10m 55s
(c2rust-analyze) Allow calls to UnknownDef KnownFns with known ptr perms c2rust-testsuite #2001: Pull request #980 synchronize by kkysen
July 8, 2023 00:15 13m 20s kkysen/analyze-known-fns-integration
kkysen/analyze-known-fns-integration
July 8, 2023 00:15 13m 20s
provide statics with hypothetical origins c2rust-testsuite #2000: Pull request #975 synchronize by aneksteind
July 7, 2023 19:47 13m 8s feat.static.origins
feat.static.origins
July 7, 2023 19:47 13m 8s
(c2rust-analyze) Allow calls to UnknownDef KnownFns with known ptr perms c2rust-testsuite #1999: Pull request #980 synchronize by kkysen
July 7, 2023 19:43 14m 29s kkysen/analyze-known-fns-integration
kkysen/analyze-known-fns-integration
July 7, 2023 19:43 14m 29s
(c2rust-analyze) Allow calls to UnknownDef KnownFns with known ptr perms c2rust-testsuite #1998: Pull request #980 synchronize by kkysen
July 7, 2023 18:46 10m 57s kkysen/analyze-known-fns-integration
kkysen/analyze-known-fns-integration
July 7, 2023 18:46 10m 57s
(c2rust-analyze) Allow calls to UnknownDef KnownFns with known ptr perms c2rust-testsuite #1997: Pull request #980 opened by kkysen
July 7, 2023 11:17 10m 59s kkysen/analyze-known-fns-integration
kkysen/analyze-known-fns-integration
July 7, 2023 11:17 10m 59s
(c2rust-analyze) Add known_fns! for declaring the permissions on … c2rust-testsuite #1996: Commit c02f2c2 pushed by kkysen
July 7, 2023 10:52 14m 29s master
master
July 7, 2023 10:52 14m 29s
(c2rust-analyze) Add known_fns! for declaring the permissions on ptrs in known (i.e. libc) UnknownDef fns c2rust-testsuite #1995: Pull request #978 synchronize by kkysen
July 7, 2023 10:20 14m 26s kkysen/analyze-known-fns-decl
kkysen/analyze-known-fns-decl
July 7, 2023 10:20 14m 26s
ProTip! You can narrow down the results and go further in time using created:<2023-07-07 or the other filters available.