Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
68 commits
Select commit Hold shift + click to select a range
fcfb713
1.91: Update toolchain name to nightly-2025-09-14
qsctr Nov 14, 2025
9fa9d1d
1.91: rustc_ast::ptr::P -> Box::new
qsctr Nov 14, 2025
6118f22
1.91: new fields in TerminatorKind::Drop
qsctr Nov 14, 2025
10a368d
src/analyz/mod.rs: Name nightly version in comment
qsctr Nov 14, 2025
97bf021
1.91: TyCtxt::get_attrs_unchecked -> get_all_attrs
qsctr Nov 14, 2025
5cc4113
1.91: Remove ExternAbi::RustIntrinsic
qsctr Nov 15, 2025
4b1c62e
1.91: Hash64 moved to rustc_hashes
qsctr Nov 15, 2025
a332ba7
1.91: erase_regions -> erase_and_anonymize_regions
qsctr Nov 15, 2025
5ee40bd
1.91: Remove dyn*
qsctr Nov 15, 2025
57292d7
1.91: {GenericArg,Term}::unpack() -> kind()
qsctr Nov 15, 2025
e9fa8e5
1.91: Machine methods params MPlaceTy -> PlaceTy
qsctr Nov 16, 2025
5a0a071
1.91: init_alloc_extra -> init_local_allocation
qsctr Nov 16, 2025
050fb63
1.91: Pointer::into_parts -> into_raw_parts
qsctr Nov 16, 2025
06a93b5
1.91: new method Machine::get_default_alloc_params
qsctr Nov 16, 2025
1f80c4b
1.91: Remove lifetime param for mir::ConstValue
qsctr Nov 16, 2025
5cab983
1.91: ConstValue::Slice field data -> alloc_id
qsctr Nov 16, 2025
df0745a
1.91: icx.project_field param usize -> FieldIdx
qsctr Nov 16, 2025
dc65914
1.91: new ty::InstanceKind variants for async drop
qsctr Nov 16, 2025
a876ff8
1.91: fields added to ty::AssocKind::Type
qsctr Nov 16, 2025
9baf2de
1.91: new mir::syntax::AssertKind variants
qsctr Nov 16, 2025
812224b
1.91: new hir Attribute representation
qsctr Nov 16, 2025
95fc5fe
1.91: ExternAbi::CCmse* -> Cmse*
qsctr Nov 16, 2025
d50cd8d
1.91: Add ExternAbi::RustInvalid
qsctr Nov 16, 2025
f98fa6e
1.91: Add ExternAbi::Custom
qsctr Nov 16, 2025
34762dd
1.91: find_crate_name -> get_crate_name
qsctr Nov 16, 2025
94ceb95
1.91: Emit raw_ptr for TypeId constants
qsctr Dec 1, 2025
620c62a
mir-json-translate-libs: Formatting
qsctr Nov 16, 2025
4d5467f
deps: Update cargo to 0.91 and toml to 0.9
qsctr Nov 17, 2025
e083671
deps: Update tempfile to 3.20
qsctr Nov 17, 2025
56b0223
translate-libs: Remove .github during copy-sources
qsctr Nov 17, 2025
5c816c8
translate-libs: Copy compiler-builtins/libm
qsctr Nov 18, 2025
cb57d43
translate-libs: Pass --cap-lints warn to mir-json
qsctr Nov 18, 2025
e8243aa
libs: Update to Rust 1.91 versions
qsctr Nov 17, 2025
30223bc
libs: Add reference to `core::crucible` module
qsctr Nov 18, 2025
ebb5843
libs: Use `crucible::ptr::compare_usize` for pointer-integer comparisons
qsctr Nov 17, 2025
bbe36ef
libs: Disable `IsRawEqComparable`-based `SpecArrayEq` instances
qsctr Nov 17, 2025
9e4d5fb
libs: Disable bytewise equality comparisons for `[T]`
qsctr Nov 19, 2025
888e491
libs: Use `crucible_array_from_slice_hook` in `<[T]>::as_slice`
qsctr Nov 17, 2025
9f186d6
libs: Avoid `transmute` in `Layout` and `Alignment`
qsctr Nov 17, 2025
9dd0b58
libs: Use crucible's allocator in `Box` constructors
qsctr Nov 17, 2025
dd7e560
libs: Don't deallocate in `Box::drop`
qsctr Nov 17, 2025
8a77764
libs: Don't deallocate in `Arc::drop` and related functions
qsctr Nov 17, 2025
f2b8498
libs: Always use `crucible::TypedAllocator` in `RawVecInner`
qsctr Nov 19, 2025
f73d743
libs: Add a hook in `NonZero::new`
qsctr Nov 19, 2025
7bcc2c2
libs: Remove the use of `ptr::from_raw_parts` from `ptr::null`
qsctr Nov 20, 2025
a27272b
libs: Use `Box::new` instead of `box_new` in `vec!` macro
qsctr Nov 20, 2025
8afa1c5
libs: Skip `addr_eq` debug asserts in `Arc::drop`
qsctr Nov 20, 2025
7ed24d8
libs: Implement `HashMap` in terms of `Vec`
qsctr Nov 24, 2025
259f7b4
libs: Replace `sys::time` with Crux-specific implementation
qsctr Nov 25, 2025
e2944c1
libs: Avoid use of `const { MaybeUninit::uninit() }`
qsctr Nov 25, 2025
fc87d5b
libs: Use `crucible_array_from_ref_hook` in `core::array::from_ref`
qsctr Nov 25, 2025
420f056
libs: Use `crucible_slice_from_mut_hook` in `core::slice::from_mut`
qsctr Nov 25, 2025
77d2384
libs: Use `crucible_slice_from_ref_hook` in `core::slice::from_ref`
qsctr Nov 25, 2025
41e7e8b
libs: Use `no_threads` version of `condvar`, `mutex`, and `rwlock`
qsctr Nov 27, 2025
c0f5e3b
libs: Replace `{*mut,NonNull}::cast` with `transmute` in `RawVec` ini…
qsctr Nov 30, 2025
67ffc40
libs: Avoid `transmute` in `impl PartialEq for TypeId`
qsctr Dec 1, 2025
7b67f3e
libs: Use `crucible_cell_swap_is_nonoverlapping_hook` in `Cell::swap`
qsctr Dec 1, 2025
2d2adff
libs: Replace end pointer with length in slice iterator
qsctr Dec 1, 2025
d7603bc
libs: Remove `*T` to `*[T; N]` cast in `[T; N]::try_from(Vec<T, A>)`
qsctr Dec 1, 2025
0ad3f48
libs: Remove calls to `three_way_compare` intrinsic
qsctr Dec 1, 2025
76667d7
libs/Patches.md: Remove obsolete patch
qsctr Dec 1, 2025
3d0c155
Remove synthetic DefId rustc bug workaround
qsctr Dec 1, 2025
51fd373
translate-libs: Revert to using package ids
qsctr Dec 1, 2025
8be2501
libs: Add dlmalloc
qsctr Dec 1, 2025
f6f09c3
Merge branch 'master' into rust-1.91
qsctr Dec 1, 2025
8a78a0a
Bump schema version for 1.91 toolchain
qsctr Dec 1, 2025
e7df2fe
try_render_ref_opty: Factor out raw_ptr case
qsctr Dec 1, 2025
c85c03d
libs: Always use regular `sleep` in `std::sys::thread::unix::sleep_un…
qsctr Dec 1, 2025
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
2 changes: 1 addition & 1 deletion .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ env:
# sometimes happen when (for example) the OS version is changed but older .so
# files are cached, which can have various unintended effects.
CACHE_VERSION: 1
RUST_TOOLCHAIN: "nightly-2025-02-16"
RUST_TOOLCHAIN: "nightly-2025-09-14"

jobs:
lint:
Expand Down
Loading