Skip to content

Actions: verifast/verifast

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
537 workflow runs
537 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
ArcU32 CI #933: Pull request #494 synchronize by Nima-Rahimi-Foroushaani
August 16, 2024 07:36 11m 21s Nima-Rahimi-Foroushaani:rust
Nima-Rahimi-Foroushaani:rust
August 16, 2024 07:36 11m 21s
ArcU32 CI #932: Pull request #494 synchronize by Nima-Rahimi-Foroushaani
August 16, 2024 00:59 12m 16s Nima-Rahimi-Foroushaani:rust
Nima-Rahimi-Foroushaani:rust
August 16, 2024 00:59 12m 16s
Bump actions/checkout, upload-artifact, download-artifact to v4 (#545) CI #931: Commit f6c7be4 pushed by btj
August 12, 2024 13:39 11m 36s master
master
August 12, 2024 13:39 11m 36s
Bump actions/checkout, upload-artifact, download-artifact to v4 CI #930: Pull request #545 opened by btj
August 12, 2024 12:27 28m 59s bump-actions-checkout
bump-actions-checkout
August 12, 2024 12:27 28m 59s
Bump actions/checkout, upload-artifact, download-artifact to v4 CI #929: Commit eadb3be pushed by btj
August 12, 2024 12:27 31m 50s bump-actions-checkout
bump-actions-checkout
August 12, 2024 12:27 31m 50s
[Rust] Fix unsound treatment of alloc/dealloc CI #928: Commit c301a4b pushed by btj
August 12, 2024 12:12 15m 23s master
master
August 12, 2024 12:12 15m 23s
[Rust] Fix unsound treatment of alloc/dealloc CI #927: Pull request #544 opened by btj
August 12, 2024 10:45 25m 26s btj:alloc-layout
btj:alloc-layout
August 12, 2024 10:45 25m 26s
Stop conflating pointer type typeids CI #926: Commit 0771935 pushed by btj
August 2, 2024 09:59 8m 10s master
master
August 2, 2024 09:59 8m 10s
Stop conflating pointer type typeids CI #925: Pull request #543 opened by btj
August 2, 2024 09:10 12m 28s btj:ptr-typeid
btj:ptr-typeid
August 2, 2024 09:10 12m 28s
close_struct: Check effective type CI #924: Commit c2554e6 pushed by btj
August 1, 2024 08:22 12m 18s master
master
August 1, 2024 08:22 12m 18s
close_struct: Check effective type CI #923: Pull request #541 opened by btj
August 1, 2024 07:08 11m 52s btj:close-struct-has-type
btj:close-struct-has-type
August 1, 2024 07:08 11m 52s
Enforce effective types for (u)intN_t accesses CI #922: Commit 5c2987a pushed by btj
July 31, 2024 09:45 12m 26s master
master
July 31, 2024 09:45 12m 26s
Enforce effective types for (u)intN_t accesses CI #921: Pull request #539 opened by btj
July 31, 2024 09:32 11m 15s btj:issue504
btj:issue504
July 31, 2024 09:32 11m 15s
ArcU32 CI #920: Pull request #494 synchronize by Nima-Rahimi-Foroushaani
July 30, 2024 13:55 10m 19s Nima-Rahimi-Foroushaani:rust
Nima-Rahimi-Foroushaani:rust
July 30, 2024 13:55 10m 19s
ArcU32 CI #919: Pull request #494 synchronize by Nima-Rahimi-Foroushaani
July 29, 2024 08:36 11m 0s Nima-Rahimi-Foroushaani:rust
Nima-Rahimi-Foroushaani:rust
July 29, 2024 08:36 11m 0s
Fix unsoundness in field_ptr_provenance_injective CI #918: Commit ee7547b pushed by btj
July 28, 2024 08:01 12m 36s master
master
July 28, 2024 08:01 12m 36s
Fix unsoundness in field_ptr_provenance_injective CI #917: Pull request #538 opened by btj
July 28, 2024 07:23 12m 56s btj:field-ptr-prov-parent
btj:field-ptr-prov-parent
July 28, 2024 07:23 12m 56s
ArcU32 CI #916: Pull request #494 synchronize by Nima-Rahimi-Foroushaani
July 22, 2024 19:19 11m 42s Nima-Rahimi-Foroushaani:rust
Nima-Rahimi-Foroushaani:rust
July 22, 2024 19:19 11m 42s
Produce shift left fact only outside fixpoint (#537) CI #915: Commit 3831aab pushed by btj
July 21, 2024 11:44 12m 56s master
master
July 21, 2024 11:44 12m 56s
Produce shift left fact only outside fixpoint CI #914: Pull request #537 synchronize by btj
July 21, 2024 10:47 10m 52s btj:issue-536
btj:issue-536
July 21, 2024 10:47 10m 52s
Produce shift left fact only outside fixpoint CI #913: Pull request #537 opened by btj
July 21, 2024 08:06 13m 24s btj:issue-536
btj:issue-536
July 21, 2024 08:06 13m 24s
ArcU32 CI #912: Pull request #494 synchronize by Nima-Rahimi-Foroushaani
July 18, 2024 17:32 10m 32s Nima-Rahimi-Foroushaani:rust
Nima-Rahimi-Foroushaani:rust
July 18, 2024 17:32 10m 32s
ArcU32 CI #911: Pull request #494 synchronize by Nima-Rahimi-Foroushaani
July 16, 2024 16:55 11m 5s Nima-Rahimi-Foroushaani:rust
Nima-Rahimi-Foroushaani:rust
July 16, 2024 16:55 11m 5s
ArcU32 CI #910: Pull request #494 synchronize by Nima-Rahimi-Foroushaani
July 15, 2024 22:14 10m 42s Nima-Rahimi-Foroushaani:rust
Nima-Rahimi-Foroushaani:rust
July 15, 2024 22:14 10m 42s
ArcU32 CI #909: Pull request #494 synchronize by Nima-Rahimi-Foroushaani
July 15, 2024 19:09 10m 53s Nima-Rahimi-Foroushaani:rust
Nima-Rahimi-Foroushaani:rust
July 15, 2024 19:09 10m 53s