Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Migrate function, block and statement modules to StableMIR #2947

Merged
merged 7 commits into from
Dec 18, 2023

Conversation

celinval
Copy link
Contributor

Migrate these modules to use StableMIR except for calls that depend on the function signature and ABI. Note that we shouldn't really be using function signature as captured here: #1365. So I suggest that we move to using the FnAbi as soon as we add that to StableMIR.

Call-out

This change depends on the new nightly due to rust-lang/rust#118927 fix. Keeping it as a draft until it's released.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@github-actions github-actions bot added the Z-BenchCI Tag a PR to run benchmark CI label Dec 15, 2023
@celinval celinval marked this pull request as ready for review December 17, 2023 03:43
@celinval celinval requested a review from a team as a code owner December 17, 2023 03:43
celinval and others added 2 commits December 18, 2023 20:20
Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
@adpaco-aws adpaco-aws enabled auto-merge (squash) December 18, 2023 22:00
@adpaco-aws adpaco-aws merged commit 47c2155 into model-checking:main Dec 18, 2023
20 checks passed
zhassan-aws added a commit that referenced this pull request Jan 9, 2024
These are the auto-generated release notes for comparison purposes:

## What's Changed
* Automate cargo update without dependabot by @tautschnig in
#2942
* Update nightly toolchain to toolchain-2023-12-15 by @celinval in
#2948
* Automatic cargo update to 2023-12-18 by @github-actions in
#2951
* Migrate function, block and statement modules to StableMIR by
@celinval in #2947
* Update Rust toolchain to `nightly-2023-12-18` by @adpaco-aws in
#2953
* Update the rust toolchain to 2023-12-20 by @celinval in
#2961
* Migrate foreign function, compiler-interface and kani-middle modules
to use StableMIR by @celinval in
#2959
* Build CBMC with `cmake` in all "CBMC latest" jobs by @adpaco-aws in
#2965
* Automatic cargo update to 2024-01-01 by @github-actions in
#2964
* Automatic cargo update to 2024-01-08 by @github-actions in
#2968
* Upgrade to 2024-01-08 rust toolchain by @zhassan-aws in
#2969


**Full Changelog**:
kani-0.43.0...kani-0.44.0

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

---------

Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Z-BenchCI Tag a PR to run benchmark CI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants