8000 History for src/tools/miri/etc - dqminh/rust · GitHub

Repository navigation

Commits

History for

Commits on Jan 4, 2026
- add check_only feature for faster check builds
  RalfJung
  committed
  0557c75
Commits on Dec 3, 2025
- rust-analyzer settings: use --compile-time-deps
  RalfJung
  committed
  f04ad99
Commits on Sep 2, 2025
- add zed editor config
  nia-e
  committed
  4daea27
Commits on Jul 27, 2025
- Add support for building and linking against genmc
  
  Patrick-6
  authored and
  RalfJung
  committed
  4125905
Commits on Jul 18, 2025
- RA config: disable default features for faster build script build
  RalfJung
  committed
  cc6bc7a
Commits on Jun 28, 2025
- Synced rust-analyzer configs
  YohDeadfall
  committed
  6e05d61
Commits on Jan 11, 2025
- adjust the way we build miri-script in RA, to fix proc-macros
  RalfJung
  committed
  ce5c691
Commits on Oct 5, 2024
- Added rust-analyzer instructions for Helix
  YohDeadfall
  committed
  35eb2da
Loading

0