REMVSCode

REM VSCode is a powerful extension that integrates the REM toolchain and Rust Analyzer with Visual Studio Code to enhance Rust code refactoring capabilities. This extension aims to provide comprehensive refactoring tools tailored for Rust, streamlining the development process.

Currently it is in the Development Phase, as part of a Research Project being conducted at the Australian National University by:

• Matthew Britton (matt.britton@anu.edu.au)
• Alex Potanin

https://marketplace.visualstudio.com/items?itemName=MatthewBritton.remvscode&ssr=false#overview

IMPORTANT NOTE

For now, this extension is a placeholder for the eventual extension that will be developed. The extension has limited actual refactoring capabilities, and is mostly a proof of concept. It requires a substantial number of programs to be installed on your system for it to function. It will attempt to install them, however, may fail if not on Linux. Hence, it is recommended to run the extension on a Linux system. The programs required are:

• openssl-dev
• git
• make
• cargo (and by extension, the nightly-2025-02-08 toolchain)
• rust-src rust-std rustc-dev llvm-tools-preview rust-analyzer-preview rustfmt
• pkg-config
• opam
• dune
• coq (8.18.0 minimum)
• CHARON (https://github.com/AeneasVerif/charon)
• AENEAS (https://github.com/AeneasVerif/aeneas)

It may also be possible to manually install each of these components prior to running the extension, however, this is not recommended.

Current Features

• Easy Selection of Code: Use familiar VSCode Shortcuts and menus to begin the refactoring process
• Code Preview: Preview the refactored code before changes are made to the codebase

Pre Preview Screenshot

Post Preview Screenshot

Eventual Features

• Refactor Rust Code: Easily refactor Rust code with advanced tools from the REM toolchain and Rust Analyzer.
• Context Menu Integration: Access refactoring options directly from the editor's context menu.
• Keyboard Shortcuts: Trigger refactoring with a customizable keyboard shortcut (Ctrl+Alt+F).

Refactoring Capabilities

• NONE (I'm working on it)

Requirements

• Visual Studio Code: Version ^1.92.0 or higher.
• Rust Analyzer: Ensure Rust Analyzer is installed and configured in your VSCode setup.

Extension Settings

This extension does not currently add any VS Code settings through the contributes.configuration extension point.

Known Issues

• Currently, there are no known issues. Please report any bugs or feature requests on the GitHub repository.

Release Notes

0.1.0

• Initial release of REM VSCode.
• Test of the build process, has NO REFACTORING CAPABILITIES.

Enjoy using REM VSCode!