Skip to content
Release Bundle

[Boogie Backend] Codegen the arguments to Kani intrinsics inside the functions that handle the intrinsics #316

Sign in to view logs

[Boogie Backend] Codegen the arguments to Kani intrinsics inside the functions that handle the intrinsics

[Boogie Backend] Codegen the arguments to Kani intrinsics inside the functions that handle the intrinsics #316

Triggered via pull request December 8, 2023 00:48
@zhassan-awszhassan-aws
opened #2924
zhassan-aws:intrinsic-args
Status Success
Total duration 18m 52s
Artifacts 4

release.yml

on: pull_request
BuildBundle-Linux
15m 35s
BuildBundle-Linux
BuildBundle-MacOs
8m 13s
BuildBundle-MacOs
TestAlternativePlatforms
2m 4s
TestAlternativePlatforms
Matrix: TestBundle
Release
0s
Release
Package Docker
0s
Package Docker
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
kani-latest-x86_64-apple-darwin.tar.gz Expired
89.5 MB
kani-latest-x86_64-unknown-linux-gnu.tar.gz Expired
111 MB
linux-kani-verifier.crate Expired
18.8 KB
macos-12-kani-verifier.crate Expired
18.8 KB