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

Upgrade Rust toolchain to nightly-2024-03-29 #3116

Merged
Merged
Changes from 1 commit
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
c89426c
Upgrade Rust toolchain to nightly-2024-03-29
feliperodri Mar 29, 2024
6e33108
Correctly use NullOp::UbChecks
feliperodri Mar 29, 2024
7d69cab
Update calls to ty::RawPtr
feliperodri Mar 29, 2024
0e52fed
Remove use of pretty_ty
feliperodri Mar 29, 2024
fdf28f6
Add #[allow(dead_code)] to avoid spurious warnings
feliperodri Mar 29, 2024
cd134a8
Remove dead code
feliperodri Mar 29, 2024
851362e
Update kani-compiler/src/kani_middle/transform/body.rs
tautschnig Apr 4, 2024
f93193c
fixup! Update kani-compiler/src/kani_middle/transform/body.rs
tautschnig Apr 4, 2024
31c549d
Implement typed_swap intrinsic
tautschnig Apr 4, 2024
20e1e17
Merge remote-tracking branch 'origin/main' into toolchain-upgrade-202…
tautschnig Apr 4, 2024
c270426
fixup! Remove use of pretty_ty
tautschnig Apr 4, 2024
1b4a535
Add #[allow(dead_code)] to keep clippy happy
tautschnig Apr 4, 2024
3077014
fixup! fixup! Update kani-compiler/src/kani_middle/transform/body.rs
tautschnig Apr 4, 2024
85f0818
Merge branch 'main' into toolchain-upgrade-2024-03-29
tautschnig Apr 4, 2024
d4abc03
Add test for typed_swap
tautschnig Apr 5, 2024
fc083d6
Add typed_swap to documentation
tautschnig Apr 5, 2024
7344be8
fixup! Add test for typed_swap
tautschnig Apr 5, 2024
518fd07
typed_swap: use x, y
tautschnig Apr 5, 2024
4dc6be4
Check types
tautschnig Apr 5, 2024
50d34e6
Restore start/end column fields
tautschnig Apr 5, 2024
1573607
Merge remote-tracking branch 'origin/main' into toolchain-upgrade-202…
tautschnig Apr 5, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Add #[allow(dead_code)] to keep clippy happy
  • Loading branch information
tautschnig committed Apr 4, 2024
commit 1b4a535248c095dfc0805bd4c60d51afa87ea91d
7 changes: 7 additions & 0 deletions tools/bookrunner/src/litani.rs
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,7 @@ use std::process::{Child, Command};
/// attributes in such files, but it may require you to
/// extend it if advanced features are used (e.g., pools)
#[derive(Debug, Deserialize)]
#[allow(dead_code)]
pub struct LitaniRun {
pub aux: Option<HashMap<String, String>>,
pub project: String,
Expand All @@ -39,13 +40,15 @@ impl LitaniRun {
}

#[derive(Debug, Deserialize)]
#[allow(dead_code)]
pub struct LitaniParalellism {
pub trace: Vec<LitaniTrace>,
pub max_paralellism: Option<u32>,
pub n_proc: u32,
}

#[derive(Debug, Deserialize)]
#[allow(dead_code)]
pub struct LitaniTrace {
pub running: u32,
pub finished: u32,
Expand All @@ -54,6 +57,7 @@ pub struct LitaniTrace {
}

#[derive(Debug, Deserialize)]
#[allow(dead_code)]
pub struct LitaniPipeline {
pub name: String,
pub ci_stages: Vec<LitaniStage>,
Expand All @@ -76,6 +80,7 @@ impl LitaniPipeline {
}

#[derive(Debug, Deserialize)]
#[allow(dead_code)]
pub struct LitaniStage {
pub jobs: Vec<LitaniJob>,
pub progress: u32,
Expand All @@ -88,6 +93,7 @@ pub struct LitaniStage {
// Some attributes in litani's `jobs` are not always included
// or they are null, so we use `Option<...>` to deserialize them
#[derive(Debug, Deserialize)]
#[allow(dead_code)]
pub struct LitaniJob {
pub wrapper_arguments: LitaniWrapperArguments,
pub complete: bool,
Expand All @@ -108,6 +114,7 @@ pub struct LitaniJob {
// Some attributes in litani's `wrapper_arguments` are not always included
// or they are null, so we use `Option<...>` to deserialize them
#[derive(Debug, Deserialize)]
#[allow(dead_code)]
pub struct LitaniWrapperArguments {
pub subcommand: String,
pub verbose: bool,
Expand Down